The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Formalization with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1954-1972 (16) 1973-1976 (15) 1977-1979 (19) 1980-1981 (38) 1982-1984 (16) 1985-1986 (17) 1987-1988 (22) 1989 (15) 1990 (19) 1991 (24) 1992 (22) 1993 (34) 1994 (41) 1995 (35) 1996 (38) 1997 (52) 1998 (49) 1999 (79) 2000 (94) 2001 (80) 2002 (100) 2003 (105) 2004 (138) 2005 (156) 2006 (184) 2007 (216) 2008 (201) 2009 (165) 2010 (76) 2011 (75) 2012 (60) 2013 (80) 2014 (84) 2015 (89) 2016 (96) 2017 (76) 2018 (98) 2019 (82) 2020 (83) 2021 (75) 2022 (98) 2023 (84) 2024 (12)
Publication types (Num. hits)
article(878) book(7) incollection(33) inproceedings(2172) phdthesis(67) proceedings(1)
Venues (Conferences, Journals, ...)
CoRR(159) TPHOLs(48) J. Autom. Reason.(39) Arch. Formal Proofs(33) ICFPC(31) ITP(26) SAC(25) POPL(19) CPP(17) TYPES(17) Data Sci.(16) IEEE Trans. Software Eng.(15) CICM(14) CADE(13) HICSS(13) JELIA(13) More (+10 of total 1406)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 1787 occurrences of 1141 keywords

Results
Found 3158 publication records. Showing 3158 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
44Nikos I. Karacapilidis, Manolis Tzagarakis Supporting Incremental Formalization in Collaborative Learning Environments. Search on Bibsonomy EC-TEL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Collaborative Knowledge Building and Sharing, Services for Technology Enhanced Learning, Problem Solving Support, Learning Communities and Distributed Teams, Incremental Formalization
44Wilbert H. F. J. Körver A universal formalization of the effects of threshold voltages for discrete switch-level circuit models. Search on Bibsonomy Great Lakes Symposium on VLSI The full citation details ... 1995 DBLP  DOI  BibTeX  RDF field effect transistor switches, threshold voltage effects, discrete switch-level circuit models, universal formalization, switch imperfection, CMOS design, demolition degree, CMOS digital integrated circuits, state transitions, integrated circuit modelling, switching circuits
40Yucong Duan A dualism based semantics formalization mechanism for model driven engineering. Search on Bibsonomy IEEE ICCI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
40Harald F. O. von Kortzfleisch, Andreas Al-Laham Structurization and Formalization of Knowledge Management in Virtual Organizations: The Case of a Medium-Sized Consulting Company. Search on Bibsonomy HICSS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
40Jia-Huai You, Li-Yan Yuan Three-Valued Formalization of Logic Programming: Is It Needed? Search on Bibsonomy PODS The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
37Baris Özkan, Onur Demirörs Formalization Studies in Functional Size Measurement: How Do They Help? Search on Bibsonomy IWSM/Mensura The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Software Functional Size Measurement, Functional Size Measurement Methods, Formalization, Software Models
37Fidel Aznar Gregori, Maria Del Mar Pujol López, Ramón Rizo Aldeguer, Pablo Suau Pérez A New Artificial Life Formalization Model: A Worm with a Bayesian Brain. Search on Bibsonomy KELSI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Life Formalization Model, Artificial Life, Bayesian Programming
33Angelo Chiappini, Alessandro Cimatti, Luca Macchi, Oscar Rebollo, Marco Roveri, Angelo Susi, Stefano Tonetta, Berardino Vittorini Formalization and validation of a subset of the European Train Control System. Search on Bibsonomy ICSE (2) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF formal methods, methodology, requirements validation
33John Howse, Gem Stapleton Visual Mathematics: Diagrammatic Formalization and Proof. Search on Bibsonomy AISC/MKM/Calculemus The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
33Lin Yan 0002, Qing Liu 0011 A Logical Method of Formalization for Granular Computing. Search on Bibsonomy GrC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
33Ming-Hsien Tsai 0001, Bow-Yaw Wang Formalization of CTL* in Calculus of Inductive Constructions. Search on Bibsonomy ASIAN The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
33Behzad Akbarpour, Sofiène Tahar, Abdelkader Dekdouk Formalization of Fixed-Point Arithmetic in HOL. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF theorem-proving, floating-point arithmetic, fixed-point arithmetic, HOL
33Jorge E. López de Vergara, Víctor A. Villagrá, Julio Berrocal On the Formalization of the Common Information Model Metaschema. Search on Bibsonomy DSOM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
33Hiroshi Nakajima, Kazuto Kojitani, Masaki Arao, Shigeyasu Kawaji Problem Formalization and Problem Solving Approach based on Fusion Model. Search on Bibsonomy WSTST The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
33Nikolaj Oldager Intensional Formalization of Conceptual Structures. Search on Bibsonomy ICCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
33Luís Cruz-Filipe A Constructive Formalization of the Fundamental Theorem of Calculus. Search on Bibsonomy TYPES The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
33Behzad Akbarpour, Abdelkader Dekdouk, Sofiène Tahar Formalization of Cadence SPW Fixed-Point Arithmetic in HOL. Search on Bibsonomy IFM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF SPW, Theorem-Proving, Signal Processing, Floating-point, Fixed-point, HOL
33John R. Landry Culture and the formalization of organizational decision support systems. Search on Bibsonomy HICSS (4) The full citation details ... 1995 DBLP  DOI  BibTeX  RDF cultural phenomenon, codification, software engineering, decision support systems, decision support systems, culture, information sharing, diffusion, business data processing, group decision support systems, organizational decision support systems
33John C. Thompson, Reza Sanati-Mehrizy Formalization of operations and function definitions in a functional programming language for data structures. Search on Bibsonomy ACM Conference on Computer Science The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
31Jinghua Wen, Mei Zhang, Xiang Li The study on the application of BAN logic in formal analysis of authentication protocols. Search on Bibsonomy ICEC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF formalization analysis, authentication protocols, BAN logic
30Raihana Ferdous, Vallipuram Muthukkumarasamy, Abdul Sattar 0001 Trust Formalization in Mobile Ad-Hoc Networks. Search on Bibsonomy AINA Workshops The full citation details ... 2010 DBLP  DOI  BibTeX  RDF trust-formalization, security, routing, mobile ad hoc networks, trust
30Sabnam Sengupta, Swapan Bhattacharya Formalization of UML diagrams and their consistency verification: A Z notation based approach. Search on Bibsonomy ISEC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF UML, traceability, formalization, class diagram, sequence diagram, Z notation, automated verification, use case diagram, ER diagram
30Charlotte Tang, Sheelagh Carpendale Support for Informal Information Use and its Formalization in Medical Work. Search on Bibsonomy CBMS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF informal information, formalization, work practices, medical, common information space, personal information space
30Ahmed M. Mostafa, Manal Ahmed Ismail, Hatem El-Bolok, E. M. Saad Toward a Formalization of UML2.0 Metamodel using Z Specifications. Search on Bibsonomy SNPD (1) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Use Case Diagram, State Machine Diagram, Unified Modeling Language (UML), Formalization, Class Diagram, Z specification language
30Kai A. Olsen Computer Intelligence and Formalization. Search on Bibsonomy Computer The full citation details ... 2006 DBLP  DOI  BibTeX  RDF computing profession, formalization, computer intelligence
30Chia-Chu Chiang, Joseph E. Urban Incremental Elicitation and Formalization of User Requirements through Rapid Prototyping via Software Transformations. Search on Bibsonomy COMPSAC The full citation details ... 1996 DBLP  DOI  BibTeX  RDF incremental elicitation, user specifications, TUG formal specification language, abstract execution, change request scripts, specification changes, timely updates, telegram analysis problem, formal specification, specification languages, rapid prototyping, formalization, software prototyping, user requirements, software transformations
30Frank M. Shipman III, Raymond McCall Supporting knowledge-base evolution with incremental formalization. Search on Bibsonomy CHI The full citation details ... 1994 DBLP  DOI  BibTeX  RDF knowledge representation, knowledge-based systems, knowledge acquisition, hypermedia, structure, formalization
30Sarita V. Adve, Mark D. Hill A Unified Formalization of Four Shared-Memory Models. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF data-race-free-1, data-race-free-0, hazards and raceconditions, multiprocessors, shared memory systems, formalization, sequential consistency, weak ordering, shared-memory models, release consistency
27Amit K. Chopra, Munindar P. Singh Multiagent commitment alignment. Search on Bibsonomy AAMAS (2) The full citation details ... 2009 DBLP  BibTeX  RDF alignment, commitments, autonomy, asynchrony
27Stefan Mandl, Bernd Ludwig Coping with Unconsidered Context of Formalized Knowledge. Search on Bibsonomy CONTEXT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
27Behzad Akbarpour, Sofiène Tahar Modeling System C Fixed-Point Arithmetic in HOL. Search on Bibsonomy ICFEM The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
27Matthias Weber 0003 Deriving Transivity of VDM-Reification in DEVA. Search on Bibsonomy VDM Europe (1) The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
27Huang Weiqiao Industrializing software production. Search on Bibsonomy ACM Conference on Computer Science The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
27Susan L. Gerhart Correctness-Preserving Program Transformations. Search on Bibsonomy POPL The full citation details ... 1975 DBLP  DOI  BibTeX  RDF
26Jinhong Cui, Wang Xu Formalization and Verification of Inter-organizational Workflow Modeling for E-Commerce. Search on Bibsonomy ISECS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
26Guido Zuccon, Leif Azzopardi, C. J. van Rijsbergen A Formalization of Logical Imaging for Information Retrieval Using Quantum Theory. Search on Bibsonomy DEXA Workshops The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Logical Imaging, Information Retrieval, kinematics, Quantum Theory
26Michael A. Shifrin, Olga B. Belousova, Eva I. Kasparova Diagnostic Games, a Tool for Clinical Experience Formalization in Interactive "Physician--IT-specialist" Framework. Search on Bibsonomy CBMS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
26Osman Hasan, Sofiène Tahar Formalization of Continuous Probability Distributions. Search on Bibsonomy CADE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
26Radu Serban, Anna Puig-Centelles, Annette ten Teije Incremental guideline formalization with tool support. Search on Bibsonomy AIAI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
26Alessandro Daidone, Felicita Di Giandomenico, Andrea Bondavalli, Silvano Chiaradonna Hidden Markov Models as a Support for Diagnosis: Formalization of the Problem and Synthesis of the Solution. Search on Bibsonomy SRDS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
26Jianwen Chen, Yan Zhang 0003 An extended logic programming based multi-agent system formalization in mobile environments. Search on Bibsonomy CIKM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF extended logic programming, multi-agent system, mobile environments
26Dachuan Yu, Andrew Kennedy, Don Syme Formalization of generics for the .NET common language runtime. Search on Bibsonomy POPL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF CLR, run-time types, generics, polymorphism, NET
26Rodrigo E. Caballero, Steven A. Demurjian Towards the Formalization of a Reusability Framework for Refactoring. Search on Bibsonomy ICSR The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
26Thomas Bittner A Qualitative Formalization of Built Environments. Search on Bibsonomy DEXA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
26Takahisa Mohri On Formalization of Bicategory Theory. Search on Bibsonomy TPHOLs The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
26Malcolm Shroff, Robert B. France Towards a formalization of UML class structures in Z. Search on Bibsonomy COMPSAC The full citation details ... 1997 DBLP  DOI  BibTeX  RDF UML class structures, semantic base, OO model, Unified Modeling Language, formal specification, specification, object-oriented modeling, modeling language, Z language
26Ian Maung, John Howse, Richard J. Mitchell Towards a Formalization of Programming-by-Difference. Search on Bibsonomy FME The full citation details ... 1994 DBLP  DOI  BibTeX  RDF contravariance, inheritance, subtype, design-by-contract, incremental programming
26Guillaume Le Blanc BMWk Revisited - Generalization and Formalization of an Algorithm for Detecting Recursive Relations in Term Sequences. Search on Bibsonomy ECML The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
25Reynald Affeldt, Jacques Garrigue, Takafumi Saikawa Formalization of Reed-Solomon codes and progress report on formalization of LDPC codes. Search on Bibsonomy ISITA The full citation details ... 2016 DBLP  BibTeX  RDF
25Gabriel Vatin Formalisation d'un environnement d'aide à l'analyse géovisuelle : Application à la sécurité et sûreté de la maritimisation de l'énergie. (Formalization of a Geovisual Analytics Support Environment / Formalization of a Geovisual Analytics Support Environment : Application to Maritime Oriented Energy Safety and Security). Search on Bibsonomy 2014   RDF
25German Montejano, Robert Uzal, Daniel Riesco, Aristides Dasso, Ana Funes, Mario Peralta, Carlos Salgado, Narayan C. Debnath Integrating balanced scorecard domain formalization with underlying project plan formalization. Search on Bibsonomy AICCSA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
24Tuan Minh Pham Similar triangles and orientation in plane elementary geometry for Coq-based proofs. Search on Bibsonomy SAC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF similar triangles, orientation, formalization, Coq, geometric theorem proving
24Wendy Verbruggen, Edsko de Vries, Arthur Hughes Polytypic programming in COQ. Search on Bibsonomy ICFP-WGP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF kind-indexed types, theorem proving, generic programming, formalization, coq, polytypic programming
24Juan M. Vara, Belén Vela, José María Cavero, Esperanza Marcos Model transformation for object-relational database development. Search on Bibsonomy SAC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF model transformation, graph transformation, formalization, object-relational databases
24Daniela Feldkamp, Knut Hinkelmann, Barbara Thönssen KISS - Knowledge-Intensive Service Support: An Approach for Agile Process Management. Search on Bibsonomy RuleML The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Agile Business Process, Business Rules Formalization, Variable Process, Process Modelling, Business Rules
24Victor V. Kuliamin, Nick V. Pakoulin, Alexander K. Petrenko Practical Approach to Specification and Conformance Testing of Distributed Network Applications. Search on Bibsonomy ISAS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF asynchronous events specification, distributed system specification, formalization of standards, automated test construction, specification extension of programming language, test oracle generation, UniTesK, model based testing, conformance testing, Design by Contract
24Fidel Aznar Gregori, Mar Pujol López, Ramón Rizo Aldeguer Specifying Complex Systems with Bayesian Programming. An Alife Application. Search on Bibsonomy International Conference on Computational Science (1) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Complex Systems Modeling, Artificial Life Formalization Model, Bayesian Programming
24Jie Yuan, Huaikou Miao, Liang Cai A Design Pattern Verifier in Two-Tier Programming Environment. Search on Bibsonomy CIT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Automatic verification of program, Two-tier Programming, Design pattern, Formalization
24Bernhard Schätz, Christian Salzmann Service-Based Systems Engineering: Consistent Combination of Services. Search on Bibsonomy ICFEM The full citation details ... 2003 DBLP  DOI  BibTeX  RDF model checking, interaction, specification, component, application, consistency, implementation, Service, completeness, tool- support, behavior, formalization, partiality
24Xiaojuan Zheng, Tao Xu, Ying Jin 0002 Formalizing Active Networks Security with Seal-Calculus. Search on Bibsonomy ISPA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF ANs, active codes, Seal-calculus, security, formalization
24Iliano Cervesato, Massimo Franceschet, Angelo Montanari Modal Event Calculi with Preconditions. Search on Bibsonomy TIME The full citation details ... 1997 DBLP  DOI  BibTeX  RDF modal event calculi, event occurrences, maximal validity intervals, semantic formalization, MVI validation, complexity, temporal logic, temporal logic, preconditions, event calculus
24Jun Han Designing for Increased Software Maintainability. Search on Bibsonomy ICSM The full citation details ... 1997 DBLP  DOI  BibTeX  RDF software maintenance, traceability, formalization, change management, Design rationales, design decisions, software comprehension, design specifications
24Bénédicte Dano, Henri Briand, Franck Barbier Progressing Towards Object-Oriented Requirements Specifications by using the USE CASE Concept. Search on Bibsonomy ECBS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF dynamic specifications, verification, requirements engineering, formalization, object-oriented analysis
24Jan Madsen, Bjarne Hald An approach to interface synthesis. Search on Bibsonomy ISSS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF channel optimization, client-side interface description, client/server module synthesis, communication events formalization, existing module reuse, multiple client/server environment, one-sided interface description, server interface description, software reusability, application program interfaces, client-server systems, subroutines, interface synthesis, point-to-point communication
24José Oncina, Pedro García 0001, Enrique Vidal 0001 Learning Subsequential Transducers for Pattern Recognition Interpretation Tasks. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF subsequential transducers, pattern recognition, pattern recognition, learning, learning (artificial intelligence), inference, inference mechanisms, formalization, inductive learning
24Geoff Barrett Formal Methods Applied to a Floating-Point Number System. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF floating-point number system, binary floating-point arithmetic, ANSI/IEEE Std. 754-1985, set-theoretic specification language, sequential components, unpack, operands, proven rules, mathematically rigorous method, Inmos IMS T800 transputer, formal specification, formal methods, specification languages, digital arithmetic, Z, formalization, round, pack, program development, IEEE standard, floating-point unit, internal representations
20Bernadette Charron-Bost, Antoine Gaillard, Jennifer L. Welch, Josef Widder Routing without ordering. Search on Bibsonomy SPAA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF link reversal, routing, work complexity
20Liliana Favre A Formal Foundation for Metamodeling. Search on Bibsonomy Ada-Europe The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Meta Object Facility (MOF), Formal specification, Model Driven Architecture (MDA), Transformation (QVT), Metamodeling, Query, View
20Travis D. Breaux, Annie I. Antón, Jon Doyle Semantic parameterization: A process for modeling domain descriptions. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF formal specification, Natural language, description logic, domain knowledge
20Christopher Dartnell, Eric Martin 0002, Jean Sallantin Learning from Each Other. Search on Bibsonomy Discovery Science The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Interaction for Knowledge Discovery, Machine learning, Logic
20Noriaki Yoshiura Formal Definition of Relevant Logical Symbol Occurrence. Search on Bibsonomy KES (2) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
20Adrian Rutle, Uwe Wolter, Yngve Lamo A diagrammatic approach to model transformations. Search on Bibsonomy EATIS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF diagrammatic specifications, eclipse modeling framework, meta object facility, modeling, unified modeling language, model driven architecture, model transformations
20Michelle Chabrol, Michel Gourgand, Sophie Rodier A modeling methodology and its application to the design of decision-making aid tools dedicated to the hospital systems. Search on Bibsonomy RCIS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
20Mustafa Jarrar Towards Automated Reasoning on ORM Schemes. Search on Bibsonomy ER The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
20Gerardo Padilla, Farokh B. Bastani, Carlos Montes de Oca, Miguel A. Serrano Instantiation Semantics for Message Sequence Charts. Search on Bibsonomy ENC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
20Wing Lok Yeung, Karl R. P. H. Leung, Ji Wang 0001, Wei Dong 0006 Improvements Towards Formalizing UML State Diagrams in CSP. Search on Bibsonomy APSEC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
20Gueorgui I. Jojgov Translating a Fragment of Weak Type Theory into Type Theory with Open Terms. Search on Bibsonomy MKM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
20Robin Adams 0001 Formalized Metatheory with Terms Represented by an Indexed Family of Types. Search on Bibsonomy TYPES The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
20Frederick Butler, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov A Formal Analysis of Some Properties of Kerberos 5 Using MSR. Search on Bibsonomy CSFW The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
20Jorge A. Baier On Procedure Recognition in the Situation Calculus. Search on Bibsonomy SCCC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
20Inmaculada Medina-Bulo, Francisco Palomo-Lozano, José A. Alonso-Jiménez A Certified Polynomial-Based Decision Procedure for Propositional Logic. Search on Bibsonomy TPHOLs The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
20Victor L. Winter, Dejan Desovski, Bojan Cukic Virtual Environment Modeling for Requirements Validation of High Consequence Systems. Search on Bibsonomy RE The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
20Xiaoshan Li, Zhiming Liu 0001, Jifeng He 0001 Formal and Use-Case Driven Requirement Analysis in UML. Search on Bibsonomy COMPSAC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Incremental Model Building, UML, Object-Orientation, Conceptual Model, Use Cases
20Olivier Danvy Formalizing Implementation Strategies for First-Class Continuations. Search on Bibsonomy ESOP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
20Ulrike Lechner, Beat F. Schmid Communities and Media - Towards a Reconstruction of Communities on Media. Search on Bibsonomy HICSS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
20Bernd Grobauer, Olaf Müller From I/O Automata to Timed I/O Automata. Search on Bibsonomy TPHOLs The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
20Franz Huber, Bernhard Schätz, Geralf Einert Consistent Graphical Specification of Distributed Systems. Search on Bibsonomy FME The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
19Hai Wan, Gang Chen 0004, Xiaoyu Song, Ming Gu 0001 Formalization and Verification of PLC Timers in Coq. Search on Bibsonomy COMPSAC (1) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
19Chao Ma 0008, Yanxiang He, Naixue Xiong, Laurence Tianruo Yang VFT: An Ontology-Based Tool for Visualization and Formalization of Web Service Composition. Search on Bibsonomy CSE (1) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
19Peifung E. Lam, John C. Mitchell, Sharada Sundaram A Formalization of HIPAA for a Medical Messaging System. Search on Bibsonomy TrustBus The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
19Phan Cong Vinh, Jonathan P. Bowen Formalization of Data Flow Computing and a Coinductive Approach to Verifying Flowware Synthesis. Search on Bibsonomy Trans. Comput. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Dynamically Programmable Field Array (DPGA), Flowware, Configware, Configware engineering, Embedded systems, Formal methods, Reconfigurable computing, Dynamic reconfiguration
19Francisco Durán 0001, Francisco Gutiérrez, Pablo López, Ernesto Pimentel 0001 A formalization of the SMEPP model in Maude. Search on Bibsonomy MobiQuitous The full citation details ... 2008 DBLP  DOI  BibTeX  RDF peer-to-peer systems, formal semantics, automated verification, service-oriented models
19Sergiy A. Vilkomir, Jonathan P. Bowen From MC/DC to RC/DC: Formalization and Analysis of Control-Flow Testing Criteria. Search on Bibsonomy Formal Methods and Testing The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
19Andrea Asperti, Wilmer Ricciotti About the Formalization of Some Results by Chebyshev in Number Theory. Search on Bibsonomy TYPES The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
19Emiliano Lorini, Robert Demolombe Trust and Norms in the Context of Computer Security: A Logical Formalization. Search on Bibsonomy DEON The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
19Shaoying Liu Utilizing Formalization to Test Programs without Available Source Code (Short Paper). Search on Bibsonomy QSIC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Testing, Specification-based testing, Software Quality Assurance
19Toshihiro Matsui, Hiroshi Matsuo A Formalization for Distributed Cooperative Sensor Resource Allocation. Search on Bibsonomy KES-AMSTA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
19Philip H. P. Nguyen, Ken Kaneiwa, Dan Corbett, Minh-Quang Nguyen An Ontology Formalization of Relation Type Hierarchy in Conceptual Structure Theory. Search on Bibsonomy Australasian Conference on Artificial Intelligence The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
19Luca Bellotti Formalization, Syntax and the Standard Model of Arithmetic. Search on Bibsonomy Synth. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF MSC 2000 00A30, 03A05, 03B10, 03E30
19Yasuhiro Ogawa, Shintaro Inagaki, Katsuhiko Toyama Automatic Consolidation of Japanese Statutes Based on Formalization of Amendment Sentences. Search on Bibsonomy JSAI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF automatic consolidation, statute document, amendment sentence
Displaying result #1 - #100 of 3158 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license