Search results for "formal"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
21	Xia Yong, Chris George	An Operational Semantics for Timed RAISE.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
21	Andrew P. Martin	Relating Z and First-Order Logic.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
21	Leonid Mikhajlov, Emil Sekerinski, Linas Laibinis	Developing Components in the Presence of Re-entrance.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
21	Pertti Kellomäki, Tommi Mikkonen	Archived Design Steps in Temporal Logic.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
21	Jifeng He 0001	A Behavioral Model for Co-design.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
21	Loe M. G. Feijs	Modelling Microsoft COM Using pi-Calculus.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
21	Olivier Hainque, Laurent Pautet, Yann Le Biannic, Eric Nassor	Cronos: A Separate Compilation Toolset for Modular Esterel Applications.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
21	Stephan Merz	A More Complete TLA.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
21	Gary T. Leavens, Albert L. Baker	Enhancing the Pre- and Postcondition Technique for More Expressive Specifications.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
21	Juliano Iyoda, Augusto Sampaio, Leila Silva	ParTS: A Partitioning Transformation System.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
21	Georg Droschl	Analyzing the Requirements of an Access Control Using VDMTools and PVS.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
21	Homayoon Akhiani, Damien Doligez, Paul Harter, Leslie Lamport, Joshua Scheid, Mark R. Tuttle, Yuan Yu	Cache Coherence Verification with TLA+.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
21	Fiona Polack, Susan Stepney	Systems Development Using Z Generics.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
21	Frédéric Lang, Pierre Lescanne, Luigi Liquori	A Framework for Defining Object-Calculi.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF	Design of functional and imperative object-oriented languages, memory management, operational semantics, implementation issues
21	Brendan P. Mahony, Jin Song Dong	Sensors and Actuators in TCOZ.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
21	Radu Ocica, Dan Ionescu	Algebraic Aspects of the Mapping between Abstract Syntax Notation One and CORBA IDL.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
21	Michel Levy, Laurent Trilling	A PVS-Based Approach for Teaching Constructing Correct Iterations.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
21	Robert Eschbach	A Termination Detection Algorithm: Specification and Verification.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
21	S. Dellacherie, Samuel Devulder, Jean-Luc Lambert	Software Verification Based on Linear Programming.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
21	Bernd Baumgarten	A Minimal Framework for Specification Theory.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
21	Markus Müller-Olm, Andreas Wolf 0004	On Excusable and Inexcusable Failures.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF	runtime-error, verification, compiler, refinement, correctness, divergence, predicate transformer
21	Richard Banach, Michael Poppleton	Retrenchment.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
21	Bettina Buth, Mike Schrönen	Model-Checking the Architectural Design of a Fail-Safe Communication System for Railway Interlocking Systems.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
21	John Derrick, Eerke A. Boiten	Non-atomic Refinement in Z.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
21	Akira Mori, Kokichi Futatsugi	Verifying Behavioural Specifications in CafeOBJ Environment.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
21	Ana Cavalcanti 0001, David A. Naumann	A Weakest Precondition Semantics for an Object-Oriented Language of Refinement.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
21	Perry Alexander, Murali Rangarajan, Phillip Baraona	A Brief Summary of VSPEC.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF	VHDL, languages, systems level design, notations, Larch
21	Joseph A. Goguen, Grigore Rosu	Hiding More of Hidden Algebra.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
21	Hervé Marchand, Mazen Samaan	Incremental Design of a Power Transformer Station Controller Using a Controller Synthesis Methodology.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
21	Alexandru Mateescu, Arto Salomaa	Formal Languages: an Introduction and a Synopsis.	Handbook of Formal Languages (1)	1997	DBLP DOI BibTeX RDF
21	Andrzej Ehrenfeucht, Gheorghe Paun, Grzegorz Rozenberg	Contextual Grammars and Formal Languages.	Handbook of Formal Languages (2)	1997	DBLP DOI BibTeX RDF
21	Karel Culík II, Jarkko Kari	Digital Images and Formal Languages.	Handbook of Formal Languages (3)	1997	DBLP DOI BibTeX RDF
21	Roberto Souto Maior de Barros	On the Formal Specification and Derivation of Relational Database Applications.	US-Brazil Joint Workshops on the Formal Foundations of Software Systems	1997	DBLP DOI BibTeX RDF
21	Murilo S. de Camargo, Roberto Milton Scheffel	Formal Specification, Verification and Simulation of Time-Dependent Systems: a Timed Process Algebra Approach.	US-Brazil Joint Workshops on the Formal Foundations of Software Systems	1997	DBLP DOI BibTeX RDF
21	Mandayam K. Srivas, Steven P. Miller	Applying Formal Verification to the AAMP5 Microprocessor: A Case Study in the Industrial Use of Formal Methods.	Formal Methods Syst. Des.	1996	DBLP DOI BibTeX RDF
21	Marie-Claude Gaudel, Pierre Dauchy, Carole Khoury	A Formal Specification of the Steam-Boiler Control Problem by Algebraic Specifications with Implicit State.	Formal Methods for Industrial Applications	1995	DBLP DOI BibTeX RDF
21	Jean-Raymond Abrial, Egon Börger, Hans Langmaack	The Stream Boiler Case Study: Competition of Formal Program Specification and Development Methods.	Formal Methods for Industrial Applications	1995	DBLP DOI BibTeX RDF
21	John S. Gero, Enn Tyugu (eds.)	Formal Design Methods for CAD, Proceedings of the IFIP TC5/WG5.2 Workshop on Formal Design Methods for CAD, Tallinn, Estonia, 16-19 June, 1994	Formal Design Methods for CAD	1994	DBLP BibTeX RDF
21	John S. Gero	Towards a model of exploration in computer-aided design.	Formal Design Methods for CAD	1994	DBLP BibTeX RDF
21	Ömer Akin	Discussion: Research issues.	Formal Design Methods for CAD	1994	DBLP BibTeX RDF
21	Tim Smithers, David Corne, Peter Ross	On computing exploration and solving design problems.	Formal Design Methods for CAD	1994	DBLP BibTeX RDF
21	Jonathan Cagan	Discussion: Research issues in the application of design grammars.	Formal Design Methods for CAD	1994	DBLP BibTeX RDF
21	Shen-Guan Shih, Gerhard Schmitt	The use of post interpretation for grammar-based generative systems.	Formal Design Methods for CAD	1994	DBLP BibTeX RDF
21	Mary Lou Maher, Sourav Kundu	Adaptive design using a genetic algorithm.	Formal Design Methods for CAD	1994	DBLP BibTeX RDF
21	Christopher N. Carlson	A tutorial introduction to grammatical programming.	Formal Design Methods for CAD	1994	DBLP BibTeX RDF
21	Jeff Heisserman, Robert F. Woodbury	Geometric design with boundary solid grammars.	Formal Design Methods for CAD	1994	DBLP BibTeX RDF
21	Enn Tyugu	Attribute models of design objects.	Formal Design Methods for CAD	1994	DBLP BibTeX RDF
21	James Bowen, Dennis R. Bahler	A constraint-based approach to supporting human negotiation in concurrent engineering.	Formal Design Methods for CAD	1994	DBLP BibTeX RDF
21	Kjell Andersson	A vocabulary for conceptual design.	Formal Design Methods for CAD	1994	DBLP BibTeX RDF
21	H. Takeda	Abduction for design.	Formal Design Methods for CAD	1994	DBLP BibTeX RDF
21	Christopher N. Carlson	Discussion: Design space description formalisms.	Formal Design Methods for CAD	1994	DBLP BibTeX RDF
21	Tim Smithers	Research issues.	Formal Design Methods for CAD	1994	DBLP BibTeX RDF
21	Jonathan Cagan, William J. Mitchell 0001	A grammatical approach to network flow synthesis.	Formal Design Methods for CAD	1994	DBLP BibTeX RDF
21	Vangalur S. Alagar, Laks V. S. Lakshmanan, Fereidoon Sadri (eds.)	Formal Methods in Databases and Software Engineering, Proceedings of the Workshop on Formal Methods in Databases and Software Engineering, Montreal, Canada, 15-16 May 1992	Formal Methods in Databases and Software Engineering	1993	DBLP BibTeX RDF
21	Geoffrey Livingston Burn, Simon J. Gay, Mark Ryan 0001 (eds.)	Theory and Formal Methods 1993, Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29-31 March 1993	Theory and Formal Methods	1993	DBLP DOI BibTeX RDF
21	Margaret Tierney	Formal Methods of Software Development : Painted into the Corner of High-Integrity Computing?	Formal Methods in Systems Engineering	1993	DBLP DOI BibTeX RDF
21	John Wordsworth	Formal methods and product documentation.	Formal Methods in Systems Engineering	1993	DBLP DOI BibTeX RDF
21	Helmuth Partsch	Formal Problem Specification on an Algebraic Basis.	Formal Program Development	1993	DBLP DOI BibTeX RDF
21	Juarez Muylaert Filho, Geoffrey Livingston Burn	Continuation Passing Transformation and Abstract Interpretation.	Theory and Formal Methods	1993	DBLP BibTeX RDF
21	Geoffrey Livingston Burn	The Abstract Interpretation of Functional Languages.	Theory and Formal Methods	1993	DBLP BibTeX RDF
21	Iain Phillips 0001	A Note on Expressiveness of Process Algebra.	Theory and Formal Methods	1993	DBLP BibTeX RDF
21	Marta Z. Kwiatkowska	Concurrency, Fairness and Logical Complexity.	Theory and Formal Methods	1993	DBLP BibTeX RDF
21	Chris Hankin	Graph Rewriting Systems and Abstract Interpretation.	Theory and Formal Methods	1993	DBLP BibTeX RDF
21	Simon J. Gay, Rajagopal Nagarajan	Modelling SIGNAL in Interaction Categories.	Theory and Formal Methods	1993	DBLP BibTeX RDF
21	Michael Huth 0001	On the Equivalence of State-Transition Systems.	Theory and Formal Methods	1993	DBLP BibTeX RDF
21	Abbas Edalat	Self-Duality, Minimal Invariant Objects and Karoubi Invariance in Information Categories.	Theory and Formal Methods	1993	DBLP BibTeX RDF
21	Mark Ryan 0001	Prioritising Preference Relations.	Theory and Formal Methods	1993	DBLP BibTeX RDF
21	José Luiz Fiadeiro, T. S. E. Maibaum	Generalising Interpretations between Theories in the context of (pi-) Institutions.	Theory and Formal Methods	1993	DBLP BibTeX RDF
21	Steven Vickers	Geometric Logic in Computer Science.	Theory and Formal Methods	1993	DBLP BibTeX RDF
21	David Sands	Laws of Parallel Synchronised Termination.	Theory and Formal Methods	1993	DBLP BibTeX RDF
21	Samson Abramsky	Interaction Categories.	Theory and Formal Methods	1993	DBLP BibTeX RDF
21	Stuart Kent 0001	Towards a Modal Logic of Durative Actions.	Theory and Formal Methods	1993	DBLP BibTeX RDF
21	Marta Z. Kwiatkowska, Iain Phillips 0001	Concurrency and Conflict in CSP.	Theory and Formal Methods	1993	DBLP BibTeX RDF
21	Irek Ulidowski	Congrurences for tau-Respecting Formats of Rules.	Theory and Formal Methods	1993	DBLP BibTeX RDF
21	Reinhold Heckmann	Product Operations in Strong Monads.	Theory and Formal Methods	1993	DBLP BibTeX RDF
21	Abbas Edalat	Dynamical Systems, Measures and Fractals Via Domain Theory.	Theory and Formal Methods	1993	DBLP BibTeX RDF
21	Lindsay Errington, Chris Hankin, Thomas P. Jensen	Reasoning About Gamma Programs.	Theory and Formal Methods	1993	DBLP BibTeX RDF
21	Ian Mackie, Leopoldo Román, Samson Abramsky	An Internal Language for Autonomous Categories.	Theory and Formal Methods	1993	DBLP BibTeX RDF
21	Sarah Liebert	A Complete Axiom System for CCS with a Stability Operator.	Theory and Formal Methods	1993	DBLP BibTeX RDF
21	Roy L. Crole	Deriving Category Theory from Type Theory.	Theory and Formal Methods	1993	DBLP BibTeX RDF
21	Mark Dawson 0001	Animating LU.	Theory and Formal Methods	1993	DBLP BibTeX RDF
21	Paul Taylor	An Exact Interpretation of While.	Theory and Formal Methods	1993	DBLP BibTeX RDF
21	Zvi Schreiber	Implementing Process Calculi in C.	Theory and Formal Methods	1993	DBLP BibTeX RDF
21	B. Tim Denvir, Ros Herman, Robin W. Whitty (eds.)	Formal Aspects of Measurement, Proceedings of the BCS-FACS Workshop on Formal Aspects of Measurement, South Bank University, London, UK, 5 May 1991	Formal Aspects of Measurement	1992	DBLP BibTeX RDF
21	Lynn S. Marshall, Linda Simon	Using VDM Within an Object-Oriented Framework.	Formal Methods in Databases and Software Engineering	1992	DBLP BibTeX RDF
21	Anthony J. Bonner, Michael Kifer	transaction Logic: An (Early) Exposé.	Formal Methods in Databases and Software Engineering	1992	DBLP BibTeX RDF
21	Fangqing Dong, Laks V. S. Lakshmanan	Intuitionistic Interpretation of Deductive Databases with Incomplete Information.	Formal Methods in Databases and Software Engineering	1992	DBLP BibTeX RDF
21	Pankaj Goyal	Software Engineering Environments - What Do We Want?	Formal Methods in Databases and Software Engineering	1992	DBLP BibTeX RDF
21	Rokia Missaoui, Robert Godin	An Incremental Concept Formation Approach for Learning from Databases.	Formal Methods in Databases and Software Engineering	1992	DBLP BibTeX RDF
21	Laks V. S. Lakshmanan, Daniel A. Nonen	On Querying Temporal Deductive Databases.	Formal Methods in Databases and Software Engineering	1992	DBLP BibTeX RDF
21	Vangalur S. Alagar	Modeling Time in Information Systems.	Formal Methods in Databases and Software Engineering	1992	DBLP BibTeX RDF
21	Jiawei Han 0001	Efficient Deduction and Induction: Key to the Success of Data-Intensive Knowledge-Base Systems.	Formal Methods in Databases and Software Engineering	1992	DBLP BibTeX RDF
21	Greetha Ramanathan	A Unified Framework for Database Specification: Functional Approach.	Formal Methods in Databases and Software Engineering	1992	DBLP BibTeX RDF
21	Fereidoon Sadri	Aggregate Operations in the Information Source Tracking Method.	Formal Methods in Databases and Software Engineering	1992	DBLP BibTeX RDF
21	Deepak Kapur, David R. Musser, Xumin Nie	The Tecton Proof System.	Formal Methods in Databases and Software Engineering	1992	DBLP BibTeX RDF
21	James M. Bieman, Norman E. Fenton, David A. Gustafson, Austin Melton, Robin W. Whitty	Moving from Philosophy to Practice in Software Measurement.	Formal Aspects of Measurement	1991	DBLP BibTeX RDF
21	Barbara A. Kitchenham	Never Mind the Metrics What About the Numbers.	Formal Aspects of Measurement	1991	DBLP BibTeX RDF
21	Horst Zuse, Peter Bollmann-Sdorra	Measurement Theory and Software Measures.	Formal Aspects of Measurement	1991	DBLP BibTeX RDF
21	David A. Gustafson, Baba Prasad	Properties of Software Measures.	Formal Aspects of Measurement	1991	DBLP BibTeX RDF
21	David A. Gustafson, Ramón A. Mata-Toledo, Richard E. Courtney, Naim Temsamani	A Critique of Validation/Verification Techniques for Software Development Measures.	Formal Aspects of Measurement	1991	DBLP BibTeX RDF