Search results for "FME"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Tim Clement	Comparing Approaches to Data Reification.	FME	1994	DBLP DOI BibTeX RDF
1	Maurice Naftalin	Informal Strategies in Design by Refinement.	FME	1994	DBLP DOI BibTeX RDF
1	Omar Cherkaoui	Specification and Analysis of a Security Management System.	FME	1994	DBLP DOI BibTeX RDF	Key-words Security management, Model-checking, Verification, Formal methods, Synthesis, Process algebra, Modal logic, CCS
1	Ursula Martin, Muffy Thomas	Verification Techniques for LOTOS.	FME	1994	DBLP DOI BibTeX RDF
1	Colin O'Halloran	Evaluation Semantics in Z.	FME	1994	DBLP DOI BibTeX RDF
1	Trevor King	Formalising British Rail's Signalling Rules.	FME	1994	DBLP DOI BibTeX RDF
1	Roberto Souto Maior de Barros	Deriving Relational Database Programs from Formal Specifications.	FME	1994	DBLP DOI BibTeX RDF
1	Matthias Anlauff, Stefan Jähnichen, Martin Simons 0001	An experimental support system for formal mathematical reasoning.	FME	1994	DBLP DOI BibTeX RDF	tool support, proofs, logical frameworks, formal reasoning
1	Barbara Paech, Bernhard Rumpe	A new Concept of Refinement used for Behaviour Modelling with Automata.	FME	1994	DBLP DOI BibTeX RDF
1	John A. Keane, Jin Sa, Brian Warboys	Applying a Concurrent Formal Framework to Process Modelling.	FME	1994	DBLP DOI BibTeX RDF
1	Peter D. Mosses, Martin A. Musicante	An Action Semantics for ML Concurrency Primitives.	FME	1994	DBLP DOI BibTeX RDF
1	Paul Mukherjee	A Semantics for NewSpeak in VDM-SL.	FME	1994	DBLP DOI BibTeX RDF
1	Babak Dehbonei, Fernando Mejia	Formal Methods in the Railways Signalling Industry.	FME	1994	DBLP DOI BibTeX RDF
1	Joshua D. Guttman, Dale M. Johnson	Three Applications of Formal Methods at MITRE.	FME	1994	DBLP DOI BibTeX RDF
1	Yves Ledru	Proof-Based Development of Specifications with KIDS/VDM.	FME	1994	DBLP DOI BibTeX RDF
1	Colin J. Fidge	Adding Real Time to Formal Program Development.	FME	1994	DBLP DOI BibTeX RDF
1	Karen Seidel 0002	Case Study: Specification and Refinement of the PI-Bus.	FME	1994	DBLP DOI BibTeX RDF
1	Rodger Collinson	A Critical Look at Functional Specifications.	FME	1994	DBLP DOI BibTeX RDF
1	Virgínia A. O. Cordeiro, Augusto Sampaio, Silvio Romero de Lemos Meira	From MooZ to Eiffel - A Rigorous Approach to System Development.	FME	1994	DBLP DOI BibTeX RDF
1	Brian Ritchie, Juan Bicarregui, Howard P. Haughton	Experiences in Using the Abstract Machine Notation in a GKS Case Study.	FME	1994	DBLP DOI BibTeX RDF
1	Kelvin J. Ross, Peter A. Lindsay	A Precise Examination of the Behaviour of Process Models.	FME	1994	DBLP DOI BibTeX RDF	formal methods, process modelling, configuration management, VDM
1	Farn Wang, Aloysius K. Mok	RTL and Refutation by Positive Cycles.	FME	1994	DBLP DOI BibTeX RDF
1	Jorge Cuéllar, Isolde Wildgruber, Dieter Barnard	Combining the Design of Industrial Systems with Effective Verification Techniques.	FME	1994	DBLP DOI BibTeX RDF
1	John S. Fitzgerald, T. M. Brookes, M. A. Green, Peter Gorm Larsen	Formal and Informal Specifications of a Secure System Component: first results in a comparative study.	FME	1994	DBLP DOI BibTeX RDF
1	Andrew Simpson	A Formal Specification of an Automatic Train Protection System.	FME	1994	DBLP DOI BibTeX RDF
1	Tom Mens, Kim Mens, Patrick Steyaert	OPUS: a Formal Approach to Object-Orientation.	FME	1994	DBLP DOI BibTeX RDF
1	Jesper Gørtz	Specifying Safety and Progress Properties with RSL.	FME	1994	DBLP DOI BibTeX RDF
1	Andy Evans	Specifying & Verifying Concurrent Systems Using Z.	FME	1994	DBLP DOI BibTeX RDF
1	Ralph-Johan Back, Kaisa Sere	From Action Systems to Modular Systems.	FME	1994	DBLP DOI BibTeX RDF
1	Daniel Jackson 0001	Abstract Model Checking of Infinite Specifications.	FME	1994	DBLP DOI BibTeX RDF
1	Matthias Weber	Literate Mathematical Development of a Revision Management System.	FME	1994	DBLP DOI BibTeX RDF
1	Ian Maung, John Howse, Richard J. Mitchell	Towards a Formalization of Programming-by-Difference.	FME	1994	DBLP DOI BibTeX RDF	contravariance, inheritance, subtype, design-by-contract, incremental programming
1	François Erasmy, Emil Sekerinski	Stepwise Refinement of Control Software - A Case Study Using RAISE.	FME	1994	DBLP DOI BibTeX RDF
1	Maurice Naftalin, B. Tim Denvir, Miquel Bertran (eds.)	FME '94: Industrial Benefit of Formal Methods, Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-18, 1994, Proceedings	FME	1994	DBLP DOI BibTeX RDF
1	Morten Elvang-Gøransson, Robert E. Fields	An Extended VDM Refinement Relation.	FME	1994	DBLP DOI BibTeX RDF
1	Peter Gorm Larsen	Evaluation of Underdetermined Explicit Definitions.	FME	1994	DBLP DOI BibTeX RDF
1	Peter A. Lindsay	On transferring VDM verification techniques to Z.	FME	1994	DBLP DOI BibTeX RDF
1	Jonathan P. Bowen, Michael G. Hinchey	Seven More Myths of Formal Methods.	FME	1994	DBLP DOI BibTeX RDF
1	Geoff Barrett	Model Checking in Practice - The T9000 Virtual Channel Processor.	FME	1993	DBLP DOI BibTeX RDF
1	Guillaume Doumenc, Jean-François Monin	The Parallel Abstract Machine: A Common Execution Model for FDTs.	FME	1993	DBLP DOI BibTeX RDF
1	Jeremy Dick, Alain Faivre	Automating the Generation and Sequencing of Test Cases from Model-Based Specifications.	FME	1993	DBLP DOI BibTeX RDF
1	Eugène Dürr, Liesbeth M. Dusink	Role of VDM(++) in the Development of a Real-Time Tracking and Tracing System.	FME	1993	DBLP DOI BibTeX RDF
1	Gonzalo León, Juan C. Yelmo, Carlos Sánchez 0002, F. Javier Carrasco, Juan J. Gil	An Industrial Experience on LOTOS-Based Prototyping for Switching Systems Design.	FME	1993	DBLP DOI BibTeX RDF
1	Thony van der Vloedt, Kees Bogaards	Integrating SA/RT with LOTOS.	FME	1993	DBLP DOI BibTeX RDF
1	H. B. M. Jonkers	An Overview of the SPRINT Method.	FME	1993	DBLP DOI BibTeX RDF
1	Andrew Butterfield	A VDM Study of Fault-Tolerant Stable Storage - Towards a Computer Engineering Mathematics.	FME	1993	DBLP DOI BibTeX RDF
1	Joachim Fischer, Andreas Prinz 0001, Andreas Vogel 0003	Different FDT's Confronted with Different ODP-Viewpoints of the Trader.	FME	1993	DBLP DOI BibTeX RDF
1	Antti Valmari, Jukka Kemppainen, Matthew Clegg, Mikko Levanto	Putting Advanced Reachability Analysis Techniques Together: the "ARA" Tool.	FME	1993	DBLP DOI BibTeX RDF
1	Debora Weber-Wulff	Selling Formal Methods to Industry.	FME	1993	DBLP DOI BibTeX RDF
1	Jim Woodcock 0001, Peter Gorm Larsen (eds.)	FME '93: Industrial-Strength Formal Methods, First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993, Proceedings	FME	1993	DBLP DOI BibTeX RDF
1	Dan Craigen, Susan L. Gerhart, Ted Ralston	Formal Methods Reality Check: Industrial Usage.	FME	1993	DBLP DOI BibTeX RDF
1	Kelvin J. Ross, Peter A. Lindsay	Maintaining Consistency Under Changes to Formal Specifications.	FME	1993	DBLP DOI BibTeX RDF	verification, formal methods, configuration management, VDM, change control
1	Anthony Boswell	Specification and Validation of a Security Policy Model.	FME	1993	DBLP DOI BibTeX RDF
1	Juan Bicarregui, Brian Ritchie	Invariants, Frames and Postconditions: a Comparison of the VDM and B Notations.	FME	1993	DBLP DOI BibTeX RDF
1	Liang Chen, Alistair Munro	Applications of Modal Logic for the Specification of Real-Time Systems.	FME	1993	DBLP DOI BibTeX RDF
1	Andrew P. Martin	Encoding W: A Logic for Z in 2OBJ.	FME	1993	DBLP DOI BibTeX RDF
1	Egidio Astesiano, Gianna Reggio	A Metalanguage for the Formal Requirement Specification of Reactive Systems.	FME	1993	DBLP DOI BibTeX RDF
1	M. R. K. Krishna Rao, Paritosh K. Pandya, R. K. Shyamasundar	Verification Tools in the Development of Provably Correct Compilers.	FME	1993	DBLP DOI BibTeX RDF
1	Leonid A. Kalinichenko, Nikolaj S. Nikitchenko, Vladimir Zadorozhny	Application of Composition Development Method for definition of SYNTHESIS information resource query language semantics.	FME	1993	DBLP DOI BibTeX RDF
1	Simon Pickin 0001, Yan Yang, Wiet Bouma, Sylvie Simon, Tanja de Groot	Process Instances in LOTOS Simulation.	FME	1993	DBLP DOI BibTeX RDF
1	Graeme I. P. Parkin, Brian A. Wichmann	Conformity Clause for VDM-SL.	FME	1993	DBLP DOI BibTeX RDF
1	Mark Saaltink, Sentot Kromodimoeljo, Bill Pase, Dan Craigen, Irwin Meisels	An EVES Data Abstraction Example.	FME	1993	DBLP DOI BibTeX RDF
1	Cliff B. Jones	Reasoning about Interference in an Object-Based Design Method.	FME	1993	DBLP DOI BibTeX RDF
1	Bent Dandanell, Jesper Gørtz, Jan Storbank Pedersen, Eld Zierau 0001	Experience from Applications of RAISE.	FME	1993	DBLP DOI BibTeX RDF
1	Mikael Hedlund	The Integration of LOTOS with an Object Oriented Development Method.	FME	1993	DBLP DOI BibTeX RDF
1	Naima Brown, Dominique Méry	A Proof Environment for Concurrent Programs.	FME	1993	DBLP DOI BibTeX RDF	formal specifications, concurrency, program verification, Automated theorem proving, B, Unity
1	Jonathan Jacky	Specifying a Safety-Critical Control System in Z.	FME	1993	DBLP DOI BibTeX RDF
1	Juan Bicarregui	Algorithm Refinement with Read and Write Frames.	FME	1993	DBLP DOI BibTeX RDF
1	Anne E. Haxthausen, Chris George	A Concurrency Case Study Using RAISE.	FME	1993	DBLP DOI BibTeX RDF
1	Fiona Polack, Mark Whiston, Keith Mander	The SAZ Project: Integrating SSADM and Z..	FME	1993	DBLP DOI BibTeX RDF
1	Antonio Cau, Willem P. de Roever	Using Relative Refinement for Fault Tolerance.	FME	1993	DBLP DOI BibTeX RDF
1	Jonathan P. Bowen, Victoria Stavridou	The Industrial Take-up of Formal Methods in Safety-Critical and Other Areas: A Perspective.	FME	1993	DBLP DOI BibTeX RDF
1	Ing Widya, Gert-Jan van der Heijden	Towards an Implementation-oriented Specification of TP Protocol in LOTOS.	FME	1993	DBLP DOI BibTeX RDF
1	Colin J. Fidge	Real-Time Refinement.	FME	1993	DBLP DOI BibTeX RDF
1	Sam Owre, John M. Rushby, Natarajan Shankar, Friedrich W. von Henke	Formal Verification for Fault-Tolerant Architectures: Some Lessons Learned.	FME	1993	DBLP DOI BibTeX RDF
1	Nigel Ward	Adding Specification Constructors to the Refinement Calculus.	FME	1993	DBLP DOI BibTeX RDF
1	Kai Engelhardt, Willem P. de Roever	Generalizing Abadi & Lamport's Method to Solve a Problem Posed by A. Pnueli.	FME	1993	DBLP DOI BibTeX RDF
1	Thomas Günther, Klaus-Dieter Schewe, Ingrid Wetzel	On the Derivation of Executable Database Programs from Formal Specifications.	FME	1993	DBLP DOI BibTeX RDF
1	Farn Wang, Aloysius K. Mok, E. Allen Emerson	Symbolic Model Checking for Distributed Real-Time Systems.	FME	1993	DBLP DOI BibTeX RDF

Publications at "FME"( http://dblp.L3S.de/Venues/FME )