default search action
1st FME 1993: Odense, Denmark
- Jim Woodcock
, Peter Gorm Larsen
FME '93: Industrial-Strength Formal Methods, First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993, Proceedings. Lecture Notes in Computer Science 670, Springer 1993, ISBN 3-540-56662-7
Invited Lectures
- Cliff B. Jones
Reasoning about Interference in an Object-Based Design Method. 1-18 - Antonio Cau, Willem P. de Roever:
Using Relative Refinement for Fault Tolerance. 19-41
Industrial Usage Reports
- Anthony Boswell:
Specification and Validation of a Security Policy Model. 42-51 - Bent Dandanell, Jesper Gørtz, Jan Storbank Pedersen, Eld Zierau:
Experience from Applications of RAISE. 52-63 - Eugène Dürr, Liesbeth M. Dusink:
Role of VDM(++) in the Development of a Real-Time Tracking and Tracing System. 64-72 - Mikael Hedlund:
The Integration of LOTOS with an Object Oriented Development Method. 73-82 - Gonzalo León, Juan C. Yelmo
An Industrial Experience on LOTOS-Based Prototyping for Switching Systems Design. 83-92 - Ing Widya, Gert-Jan van der Heijden:
Towards an Implementation-oriented Specification of TP Protocol in LOTOS. 93-109
Papers
- Egidio Astesiano, Gianna Reggio:
A Metalanguage for the Formal Requirement Specification of Reactive Systems. 110-128 - Geoff Barrett:
Model Checking in Practice - The T9000 Virtual Channel Processor. 129-147 - Juan Bicarregui
Algorithm Refinement with Read and Write Frames. 148-161 - Juan Bicarregui
Invariants, Frames and Postconditions: a Comparison of the VDM and B Notations. 162-182 - Jonathan P. Bowen
The Industrial Take-up of Formal Methods in Safety-Critical and Other Areas: A Perspective. 183-195 - Naima Brown, Dominique Méry:
A Proof Environment for Concurrent Programs. 196-215 - Andrew Butterfield
A VDM Study of Fault-Tolerant Stable Storage - Towards a Computer Engineering Mathematics. 216-234 - Liang Chen, Alistair Munro:
Applications of Modal Logic for the Specification of Real-Time Systems. 235-249 - Dan Craigen, Susan L. Gerhart, Ted Ralston:
Formal Methods Reality Check: Industrial Usage. 250-267 - Jeremy Dick, Alain Faivre:
Automating the Generation and Sequencing of Test Cases from Model-Based Specifications. 268-284 - Guillaume Doumenc, Jean-François Monin:
The Parallel Abstract Machine: A Common Execution Model for FDTs. 285-293 - Kai Engelhardt, Willem P. de Roever:
Generalizing Abadi & Lamport's Method to Solve a Problem Posed by A. Pnueli. 294-313 - Colin J. Fidge
Real-Time Refinement. 314-331 - Joachim Fischer, Andreas Prinz, Andreas Vogel:
Different FDT's Confronted with Different ODP-Viewpoints of the Trader. 332-350 - Thomas Günther, Klaus-Dieter Schewe, Ingrid Wetzel:
On the Derivation of Executable Database Programs from Formal Specifications. 351-366 - Anne E. Haxthausen, Chris George:
A Concurrency Case Study Using RAISE. 367-387 - Jonathan Jacky:
Specifying a Safety-Critical Control System in Z. 388-402 - H. B. M. Jonkers:
An Overview of the SPRINT Method. 403-427 - Leonid A. Kalinichenko, Nikolaj S. Nikitchenko, Vladimir Zadorozhny:
Application of Composition Development Method for definition of SYNTHESIS information resource query language semantics. 428-441 - M. R. K. Krishna Rao, Paritosh K. Pandya, R. K. Shyamasundar:
Verification Tools in the Development of Provably Correct Compilers. 442-461 - Andrew P. Martin:
Encoding W: A Logic for Z in 2OBJ. 462-481 - Sam Owre, John M. Rushby, Natarajan Shankar, Friedrich W. von Henke:
Formal Verification for Fault-Tolerant Architectures: Some Lessons Learned. 482-500 - Graeme I. P. Parkin, Brian A. Wichmann:
Conformity Clause for VDM-SL. 501-520 - Simon Pickin
Process Instances in LOTOS Simulation. 521-540 - Fiona Polack, Mark Whiston, Keith Mander:
The SAZ Project: Integrating SSADM and Z.. 541-557 - Kelvin J. Ross, Peter A. Lindsay:
Maintaining Consistency Under Changes to Formal Specifications. 558-577 - Mark Saaltink, Sentot Kromodimoeljo, Bill Pase, Dan Craigen, Irwin Meisels:
An EVES Data Abstraction Example. 578-596 - Antti Valmari, Jukka Kemppainen, Matthew Clegg, Mikko Levanto:
Putting Advanced Reachability Analysis Techniques Together: the "ARA" Tool. 597-616 - Thony van der Vloedt, Kees Bogaards:
Integrating SA/RT with LOTOS. 617-631 - Farn Wang, Aloysius K. Mok, E. Allen Emerson:
Symbolic Model Checking for Distributed Real-Time Systems. 632-651 - Nigel Ward:
Adding Specification Constructors to the Refinement Calculus. 652-670 - Debora Weber-Wulff:
Selling Formal Methods to Industry. 671-678
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-15 01:15 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: