Search results for "formal"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
21	David Rine	A formal approach to perfective software maintenance: System integration using a basis of formal object-oriented components.	J. Syst. Integr.	1992	DBLP DOI BibTeX RDF	Perfective maintenance, integration of software components, software system assembly, object-oriented inheritance as an integration function, building common software systems, formal methods, management information systems, baseline, object-oriented development, basis, configuration control
21	Simona Bernardi 0001, Susanna Donatelli, Giovanna Dondossola	Towards a Methodological Approach to Specification and Analysis of Dependable Automation Systems.	FORMATS/FTRTFT	2004	DBLP DOI BibTeX RDF
21	Paul Feautrier	From Software to Hardware and Back.	FORMATS/FTRTFT	2004	DBLP DOI BibTeX RDF
21	Miguel Alexandre Ferreira, José Nuno Oliveira	An Integrated Formal Methods Tool-Chain and Its Application to Verifying a File System Model.	SBMF	2009	DBLP DOI BibTeX RDF
21	Kazuhiro Ogata 0001, Kokichi Futatsugi	Formal Analysis of the Bakery Protocol with Consideration of Nonatomic Reads and Writes.	ICFEM	2008	DBLP DOI BibTeX RDF	observational transition system (OTS), verification, mutual exclusion, invariant property, CafeOBJ
21	Lijun Shan, Hong Zhu 0002	A Formal Descriptive Semantics of UML.	ICFEM	2008	DBLP DOI BibTeX RDF
21	Florin Craciun, Shengchao Qin, Wei-Ngan Chin	A Formal Soundness Proof of Region-Based Memory Management for Object-Oriented Paradigm.	ICFEM	2008	DBLP DOI BibTeX RDF
21	Taro Kurita, Miki Chiba, Yasumasa Nakatsugawa	Application of a Formal Specification Language in the Development of the "Mobile FeliCa" IC Chip Firmware for Embedding in Mobile Phone.	FM	2008	DBLP DOI BibTeX RDF
21	François Fages, Sylvain Soliman	Formal Cell Biology in Biocham.	SFM	2008	DBLP DOI BibTeX RDF
21	Nicolas Marti, Reynald Affeldt, Akinori Yonezawa	Formal Verification of the Heap Manager of an Operating System Using Separation Logic.	ICFEM	2006	DBLP DOI BibTeX RDF
21	John A. McDermid, Andy Galloway	Three Perspectives in Formal Engineering.	ICFEM	2006	DBLP DOI BibTeX RDF
21	Sandrine Blazy, Zaynah Dargaye, Xavier Leroy	Formal Verification of a C Compiler Front-End.	FM	2006	DBLP DOI BibTeX RDF
21	Ingo Brückner, Heike Wehrheim	Slicing an Integrated Formal Method for Verification.	ICFEM	2005	DBLP DOI BibTeX RDF
21	Ismail Assayad, Valérie Bertin, F.-X. Defaut, Philippe Gerner, O. Quévreux, Sergio Yovine	Jahuel: A Formal Framework for Software Synthesis.	ICFEM	2005	DBLP DOI BibTeX RDF
21	Guy H. Broadfoot	ASD Case Notes: Costs and Benefits of Applying Formal Methods to Industrial Control Software.	FM	2005	DBLP DOI BibTeX RDF
21	Christopher W. Johnson 0001	The Natural History of Bugs: Using Formal Methods to Analyse Software Related Failures in Space Missions.	FM	2005	DBLP DOI BibTeX RDF
21	Pamela Zave	A Formal Model of Addressing for Interoperating Networks.	FM	2005	DBLP DOI BibTeX RDF	network requirements, networks, network design, Alloy
21	Andrea Acquaviva, Alessandro Aldini, Marco Bernardo 0001, Alessandro Bogliolo, Edoardo Bontà, Emanuele Lattanzi	A Methodology Based on Formal Methods for Predicting the Impact of Dynamic Power Management.	SFM	2005	DBLP DOI BibTeX RDF
21	Peter G. Neumann	When Can Formal Methods Make a Real Difference?	ICFEM	2004	DBLP DOI BibTeX RDF
21	Bernhard Schätz	Model-Based Development: Combining Engineering Approaches and Formal Techniques.	ICFEM	2004	DBLP DOI BibTeX RDF
21	David Garlan	Formal Modeling and Analysis of Software Architecture: Components, Connectors, and Events.	SFM	2003	DBLP DOI BibTeX RDF
21	Hassan B. Diab, Marc Frappier, Richard St-Denis	A Formal Definition of Function Points for Automated Measurement of B Specifications.	ICFEM	2002	DBLP DOI BibTeX RDF
21	Huiqun Yu, Xudong He, Yi Deng 0001, Lian Mo	Formal Analysis of Real-Time Systems with SAM.	ICFEM	2002	DBLP DOI BibTeX RDF	model, Real-time system, Petri net, temporal logic, analysis, SAM
21	Luke Wildman	A Formal Basis for a Program Compilation Proof Tool.	FME	2002	DBLP DOI BibTeX RDF
21	Neil Henderson, Stephen Paynter	The Formal Classification and Verification of Simpson's 4-Slot Asynchronous Communication Mechanism.	FME	2002	DBLP DOI BibTeX RDF	retrieve relation, refinement, asynchronous communication, reification
21	Andres Flores, Richard Moore 0001, Luis Reynoso	A Formal Model of Object-Oriented Design and GoF Design Patterns.	FME	2001	DBLP DOI BibTeX RDF
21	Dieter Hutter, Heiko Mantel, Georg Rock, Werner Stephan 0001, Andreas Wolpers, Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel	VSE: Controlling the Complexity in Formal Software Developments.	FM-Trends	1998	DBLP DOI BibTeX RDF
21	François Puitg, Jean-François Dufourd	Formal Program Development in Geometric Modeling.	FM-Trends	1998	DBLP DOI BibTeX RDF
21	Frank Koob, Markus Ullmann, Stefan Wittmann	The New Topicality of Using Formal Models of Security Policy within the Security Engineering Process.	FM-Trends	1998	DBLP DOI BibTeX RDF
21	Bernd Krieg-Brückner	UniForM Perspectives for Formal Methods.	FM-Trends	1998	DBLP DOI BibTeX RDF
21	Gianna Reggio, Mauro Larosa	A Graphic Notation for Formal Specifications of Dynamic Systems.	FME	1997	DBLP DOI BibTeX RDF
21	Terje Sivertsen	A Case Study on the Formal Development of a Reactor Safety System.	FME	1996	DBLP DOI BibTeX RDF
21	André Arnold, Didier Bégay, Jean-Pierre Radoux	An Example of Use of Formal Methods to Debug an Embedded Software.	FME	1996	DBLP DOI BibTeX RDF
21	T. M. Brookes, John S. Fitzgerald, Peter Gorm Larsen	Formal and Informal Specifications of a Secure System Component: Final Results in a Comparative Study.	FME	1996	DBLP DOI BibTeX RDF
21	Andrew Simpson	A Formal Specification of an Automatic Train Protection System.	FME	1994	DBLP DOI BibTeX RDF
21	Thomas Günther, Klaus-Dieter Schewe, Ingrid Wetzel	On the Derivation of Executable Database Programs from Formal Specifications.	FME	1993	DBLP DOI BibTeX RDF
21	Wolfgang Reif	Formale Methoden für sicherheitskritische Software - Der KIV-Ansatz.	Inform. Forsch. Entwickl.	1999	DBLP DOI BibTeX RDF	Softwaretechnik, Qualitätssicherung, Sichere und korrekte Systeme, Formale Methoden, Spezifikation, Verifikation, Maschinelles Beweisen
20	Gautier Loyauté, Rémi Forax, Gilles Roussel 0001	A Java toolkit for the design and the automatic checking of server architectures.	PPPJ	2007	DBLP DOI BibTeX RDF	Java toolkit, software engineering, formal model, automatic generation, internet server
20	Pao-Ann Hsiung, Shang-Wei Lin 0001	Automatic Synthesis and Verification of Real-Time Embedded Software.	EUC	2004	DBLP DOI BibTeX RDF	scheduling, formal verification, code generation, software components, Application framework, UML modeling, real-time embedded software
20	Judith Crow, Ben L. Di Vito	Formalizing Space Shuttle Software Requirements: Four Case Studies.	ACM Trans. Softw. Eng. Methodol.	1998	DBLP DOI BibTeX RDF	flight software, space shuttle, state exploration, formal methods, theorem proving, requirements analysis
20	Junbeom Yoo, Eunkyoung Jee, Sung Deok Cha	Formal Modeling and Verification of Safety-Critical Software.	IEEE Softw.	2009	DBLP DOI BibTeX RDF
20	Jian Liu, Dianfu Ma, Zhuqing Li, Dou Sun	A Formal Description of Web Services Container Architecture.	ICIW	2009	DBLP DOI BibTeX RDF
20	Pierre Kelsen, Qin Ma 0002	A Lightweight Approach for Defining the Formal Semantics of a Modeling Language.	MoDELS	2008	DBLP DOI BibTeX RDF
20	AnnMarie Ericsson, Paul Pettersson, Mikael Berndtsson, Marco Seiriö	Seamless formal verification of complex event processing applications.	DEBS	2007	DBLP DOI BibTeX RDF	design, verification, timed automata, CASE, CEP
20	Praveen Tiwari, Raj S. Mitra, Manu Chopra, Alok Jain	Tutorial T4B: Formal Assertion-Based Verification in Industrial Setting.	VLSI Design	2007	DBLP DOI BibTeX RDF
20	Bruce H. Krogh	From Analysis to Design.	FORMATS	2007	DBLP DOI BibTeX RDF
20	Hui Liang, Jin Song Dong, Jing Sun 0002, Roger Duke, Rudolph E. Seviora	Formal Specification-based Online Monitoring.	ICECCS	2006	DBLP DOI BibTeX RDF
20	Yaohua Chen, Yiyu Yao	Formal concept analysis based on hierarchical class analysis.	IEEE ICCI	2005	DBLP DOI BibTeX RDF
20	Giovanna Di Marzo Serugendo	On the Use of Formal Specifications as Part of Running Programs.	SELMAS (LNCS)	2005	DBLP DOI BibTeX RDF
20	Peeter Laud, Ricardo Corin	Sound Computational Interpretation of Formal Encryption with Composed Keys.	ICISC	2003	DBLP DOI BibTeX RDF
20	Andreas Prinz 0001, Martin von Löwis	Generating a Compiler for SDL from the Formal Language Definition.	SDL Forum	2003	DBLP DOI BibTeX RDF
20	David L. Dill, Nate James, Shishpal Rawat, Gérard Berry, Limor Fix, Harry Foster, Rajeev K. Ranjan 0001, Gunnar Stålmarck, Curt Widdoes	Formal verification methods: getting around the brick wall.	DAC	2002	DBLP DOI BibTeX RDF
20	Thierry Scheurer	Formal Methods: The Problem Is Education.	SAFECOMP	2000	DBLP DOI BibTeX RDF
20	Thomas Bittner, Andrew U. Frank	On the design of formal theories of geographic space.	J. Geogr. Syst.	1999	DBLP DOI BibTeX RDF
20	Milica Barjaktarovic, Shiu-Kai Chin, Kamal Jabbour	Formal Specification and Verification of the Kernel Functional Unit of the OSI Session Layer Protocol and Service Using CCS.	ISSTA	1996	DBLP DOI BibTeX RDF
20	Thomas C. Hartrum, Paul D. Bailor	Teaching Formal Extensions of Informal-Based Object-Oriented Analysis Methodologies.	CSEE	1994	DBLP DOI BibTeX RDF
20	Sergiy A. Vilkomir, Jonathan P. Bowen	From MC/DC to RC/DC: formalization and analysis of control-flow testing criteria.	Formal Aspects Comput.	2006	DBLP DOI BibTeX RDF	Software testing criteria, RC/DC, Formal methods, Z notation, MC/DC
20	Carsten Sühl	An Overview of the Integrated Formalism RT-Z.	Formal Aspects Comput.	2002	DBLP DOI BibTeX RDF	Embedded systems, Real-time, Formal methods, Z, Timed CSP
20	Jürgen Dingel	A Refinement Calculus for Shared-Variable Parallel and Distributed Programming.	Formal Aspects Comput.	2002	DBLP DOI BibTeX RDF	Assumption-commitment reasoning, Formal program development, Parallel programming, Program transformation, Refinement, Refinement calculus, Trace semantics, Systematic programming
20	Gavin J. Doherty, José Creissac Campos, Michael D. Harrison	Representational Reasoning and Verification.	Formal Aspects Comput.	2000	DBLP DOI BibTeX RDF	Human-computer interaction, Verification, Formal specification, Representation, Distributed cognition
20	Marian Gheorghe 0001	Generalised Stream X-Machines and Cooperating Distributed Grammar Systems.	Formal Aspects Comput.	2000	DBLP DOI BibTeX RDF	Cooperating distributed grammar systems, Generalised stream X-machines, Computational models, Turing machines, Formal grammars
20	Giorgio P. Faconti, Mieke Massink	Modelling and Verification of PREMO Synchronisable Objects.	Formal Aspects Comput.	1998	DBLP DOI BibTeX RDF	Media synchronisation, Model checking, Refinement, Formal modelling, Multimedia presentation, Process Calculi
20	Mohamed Wassim Trojet, Claudia S. Frydman, Maâmar El-Amine Hamri	Practical application of "lightweight" Z in DEVS framework.	SpringSim	2009	DBLP BibTeX RDF	formal verification, DEVS, lightweight formal methods, Z specification
20	Yuxia Lei, Yan Wang, Baoxiang Cao, Jiguo Yu	Concept Interconnection Based on Many-Valued Context Analysis.	PAKDD	2007	DBLP DOI BibTeX RDF	Extended Many-Valued Context, Semantic Interconnection, Structure Interconnection, Formal Concept Analysis, Formal Description
20	Jozef Hooman, Mark van der Zwaag	A semantics of communicating reactive objects with timing.	Int. J. Softw. Tools Technol. Transf.	2006	DBLP DOI BibTeX RDF	UML, Real-time, Formal methods, Theorem proving, Formal semantics
20	David Navarre, Pierre Dragicevic, Philippe A. Palanque, Rémi Bastide, Amélie Schyn	Very-High-Fidelity Prototyping for Both Presentation and Dialogue Parts of Multimodal Interactive Systems.	EHCI/DS-VIS	2004	DBLP DOI BibTeX RDF	Interactive Systems Engineering, Post-WIMP, Formal methods, Prototyping, Multimodal interaction, CASE tools, formal description techniques
20	Richard J. Anderson, Paul Beame, William Chan 0001, David Notkin	Experiences with the Application of Symbolic Model Checking to the Analysis of Software Specifications.	Ershov Memorial Conference	1999	DBLP DOI BibTeX RDF	finite state representations, Formal methods, formal verification, binary decision diagrams, symbolic model checking, software specification
20	Xiaoqing Frank Liu, John Yen	An Analytic Framework for Specifying and Analyzing Imprecise Requirements.	ICSE	1996	DBLP BibTeX RDF	conflicting requirements, cooperative requirements, formal specification methods, implicit conflicts, imprecise requirements specification, informal requirements, irrelevant requirements, mutually exclusive requirements, relative priorities, formal specification, fuzzy logic, systems analysis, requirements analysis, conflict resolution, trade-off analysis, requirement change
20	Peter Gorm Larsen, John S. Fitzgerald, Steve Riddle	Practice-oriented courses in formal methods using VDM++.	Formal Aspects Comput.	2009	DBLP DOI BibTeX RDF
20	Keith Devlin	Modeling Real Reasoning.	Formal Theories of Information	2009	DBLP DOI BibTeX RDF
20	Sergiy A. Vilkomir, Jonathan P. Bowen	From MC/DC to RC/DC: Formalization and Analysis of Control-Flow Testing Criteria.	Formal Methods and Testing	2008	DBLP DOI BibTeX RDF
20	Rob Verhoeven, Francien Dechesne	Verifying Multi-party Authentication Using Rank Functions and PVS.	Formal Aspects in Security and Trust	2008	DBLP DOI BibTeX RDF
20	Akram Idani, Yves Ledru	Object oriented concepts identification from formal B specifications.	Formal Methods Syst. Des.	2007	DBLP DOI BibTeX RDF	UML, B, Integrated methods
20	Bram De Wachter, Alexandre Genon, Thierry Massart, Cédric Meuter	The formal design of distributed controllers with dSL and Spin.	Formal Aspects Comput.	2005	DBLP DOI BibTeX RDF	Transparent code distribution, Verification, Spin, Industrial process control
20	Björn Vormbrock, Rudolf Wille	Semiconcept and Protoconcept Algebras: The Basic Theorems.	Formal Concept Analysis	2005	DBLP DOI BibTeX RDF
20	Michael Löwe, Harald König, Christoph Schulz 0002	Algebraic Properties of Interfaces.	Formal Methods in Software and Systems Modeling	2005	DBLP DOI BibTeX RDF
20	Don Syme	Proving Java Type Soundness.	Formal Syntax and Semantics of Java	1999	DBLP DOI BibTeX RDF
20	Enrique Amigó, Julio Gonzalo, Javier Artiles, Felisa Verdejo	A comparison of extrinsic clustering evaluation metrics based on formal constraints.	Inf. Retr.	2009	DBLP DOI BibTeX RDF	Formal constraints, Clustering, Evaluation metrics
20	Jim Woodcock 0001, Peter Gorm Larsen, Juan Bicarregui, John S. Fitzgerald	Formal methods: Practice and experience.	ACM Comput. Surv.	2009	DBLP DOI BibTeX RDF	formal methods surveys, verified software initiative, grand challenges, Experimental software engineering, verified software repository
20	Tong-Jun Li	Knowledge Reduction in Formal Contexts Based on Covering Rough Sets.	RSKT	2009	DBLP DOI BibTeX RDF	Covering rough sets, Concept lattices, Attribute reduction, Formal contexts
20	Jozef Hooman, Hillel Kugler, Iulian Ober, Anjelika Votintseva, Yuri Yushtein	Supporting UML-based development of embedded systems by formal techniques.	Softw. Syst. Model.	2008	DBLP DOI BibTeX RDF	UML, Embedded systems, Real-time, Formal methods
20	Leon Horsten, Igor Douven	Formal Methods in the Philosophy of Science.	Stud Logica	2008	DBLP DOI BibTeX RDF	applied logic, formal method, formalization
20	Mehdi Kaytoue-Uberall, Sébastien Duplessis, Amedeo Napoli	Using Formal Concept Analysis for the Extraction of Groups of Co-expressed Genes.	MCO	2008	DBLP DOI BibTeX RDF	scaling, formal concept analysis, Gene expression
20	Steven P. Miller	Will This Be Formal?	TPHOLs	2008	DBLP DOI BibTeX RDF	model checking, Formal methods, theorem proving, avionics
20	Luis Reynoso, José A. Cruz-Lemus, Marcela Genero, Mario Piattini	Formal definition of measures for UML statechart diagrams using OCL.	SAC	2008	DBLP DOI BibTeX RDF	UML, measures, metamodeling, OCL, understandability, structural properties, formal definition, statechart diagrams
20	Ramesh Bharadwaj, Supratik Mukhopadhyay	A Formal Approach to Developing Reliable Event-Driven Service-Oriented Systems.	COMPSAC	2008	DBLP DOI BibTeX RDF	Formal Methods, Service-Oriented Computing
20	Daniel Aranda, Jordi Sánchez-Navarro	Understanding the use of video games in non-formal education in Barcelona.	Advances in Computer Entertainment Technology	2008	DBLP DOI BibTeX RDF	children and young people, cultural consumption, cultural use, non-formal education, video games, play, leisure
20	Philippe A. Palanque, Sandra Basnyat, David Navarre	Improving Interactive Systems Usability Using Formal Description Techniques: Application to HealthCare.	USAB	2007	DBLP DOI BibTeX RDF	Incident and Accident Investigation, Human-Computer Interaction, Medical Informatics, Formal Description Techniques, Patient Monitoring
20	Bruno Dutertre	Formal Modeling and Analysis of the Modbus Protocol.	Critical Infrastructure Protection	2007	DBLP DOI BibTeX RDF	Modbus, modeling, formal methods, test-case generation
20	Libor Behounek, Petr Cintula	Features of Mathematical Theories in Formal Fuzzy Logic.	IFSA (1)	2007	DBLP DOI BibTeX RDF	Formal fuzzy logic, axiomatic theories, the law of contraction, graded properties, fuzzy mathematics
20	Gemma Bel Enguix, María Dolores Jiménez-López	Agent-environment interaction in a multi-agent system: a formal model.	GECCO (Companion)	2007	DBLP DOI BibTeX RDF	eco-grammar systems, formal languages, artificial life, environment
20	Hong Wang, Wei-Zhi Wu 0001	Knowledge Reduction in Generalized Consistent Decision Formal Contexts.	RSKT	2007	DBLP DOI BibTeX RDF	Rough sets, Concept lattices, Knowledge reduction, Formal contexts
20	Radim Belohlávek, Vilém Vychodil	Estimations of Similarity in Formal Concept Analysis of Data with Graded Attributes.	Advances in Web Intelligence and Data Mining	2006	DBLP DOI BibTeX RDF	fuzzy logic, similarity, formal concept analysis, concept lattice, hedge
20	Kevin Donnelly, J. J. Hallett, Assaf J. Kfoury	Formal semantics of weak references.	ISMM	2006	DBLP DOI BibTeX RDF	weak references, garbage collection, formal semantics
20	Feng Chen 0004, Hongji Yang, Bing Qiao, William Cheng-Chung Chu	A Formal Model Driven Approach to Dependable Software Evolution.	COMPSAC (1)	2006	DBLP DOI BibTeX RDF	Formal Method, Model Driven Architecture (MDA), Software Evolution, Model Transformation, Software Reengineering, Wide Spectrum Language (WSL)
20	Eloy J. Mata, Pedro Álvarez 0001, José A. Bañares, Julio Rubio 0001	Formal Modelling of a Coordination System: From Practice to Theory, and Back Again.	ESAW	2006	DBLP DOI BibTeX RDF	Web services, formal methods, coordination, Linda
20	Richard Bubel, Reiner Hähnle	Integration of informal and formal development of object-oriented safety-critical software.	Int. J. Softw. Tools Technol. Transf.	2005	DBLP DOI BibTeX RDF	UML, Formal specification, Design patterns, OCL, Safety-critical software
20	Michael G. Hinchey, James L. Rash, Christopher A. Rouff	A Formal Approach to Requirements-Based Programming.	ECBS	2005	DBLP DOI BibTeX RDF	requirements-based programming, verification, formal methods, Validation, automatic code generation
20	Guozhu Dong, Chunyu Jiang, Jian Pei, Jinyan Li 0001, Limsoon Wong	Mining Succinct Systems of Minimal Generators of Formal Concepts.	DASFAA	2005	DBLP DOI BibTeX RDF	formal concepts, closed itemsets, succinctness, Minimal generators
20	Erik Rosenthal	Formal Versus Rigorous Mathematics: How to Get Your Papers Published.	TABLEAUX	2005	DBLP DOI BibTeX RDF	nature of proof, rigor, formal mathematics