Abstract is missing.
- Reasoning about Interference in an Object-Based Design MethodCliff B. Jones. 1-18
- Using Relative Refinement for Fault ToleranceAntonio Cau, Willem P. de Roever. 19-41
- Specification and Validation of a Security Policy ModelAnthony Boswell. 42-51
- Experience from Applications of RAISEBent Dandanell, Jesper Gørtz, Jan Storbank Pedersen, Eld Zierau. 52-63
- Role of VDM(++) in the Development of a Real-Time Tracking and Tracing SystemEugène Dürr, E. M. Dusink. 64-72
- The Integration of LOTOS with an Object Oriented Development MethodMikael Hedlund. 73-82
- An Industrial Experience on LOTOS-Based Prototyping for Switching Systems DesignGonzalo León, Juan C. Yelmo, Carlos Sánchez, F. Javier Carrasco, Juan J. Gil. 83-92
- Towards an Implementation-oriented Specification of TP Protocol in LOTOSIng Widya, Gert-Jan van der Heijden. 93-109
- A Metalanguage for the Formal Requirement Specification of Reactive SystemsEgidio Astesiano, Gianna Reggio. 110-128
- Model Checking in Practice - The T9000 Virtual Channel ProcessorGeoff Barrett. 129-147
- Algorithm Refinement with Read and Write FramesJuan Bicarregui. 148-161
- Invariants, Frames and Postconditions: a Comparison of the VDM and B NotationsJuan Bicarregui, Brian Ritchie. 162-182
- The Industrial Take-up of Formal Methods in Safety-Critical and Other Areas: A PerspectiveJonathan P. Bowen, Victoria Stavridou. 183-195
- A Proof Environment for Concurrent ProgramsNaima Brown, Dominique Méry. 196-215
- A VDM Study of Fault-Tolerant Stable Storage - Towards a Computer Engineering MathematicsAndrew Butterfield. 216-234
- Applications of Modal Logic for the Specification of Real-Time SystemsLiang Chen, Alistair Munro. 235-249
- Formal Methods Reality Check: Industrial UsageDan Craigen, Susan L. Gerhart, Ted Ralston. 250-267
- Automating the Generation and Sequencing of Test Cases from Model-Based SpecificationsJeremy Dick, Alain Faivre. 268-284
- The Parallel Abstract Machine: A Common Execution Model for FDTsGuillaume Doumenc, Jean-François Monin. 285-293
- Generalizing Abadi & Lamport s Method to Solve a Problem Posed by A. PnueliKai Engelhardt, Willem P. de Roever. 294-313
- Real-Time RefinementColin J. Fidge. 314-331
- Different FDT s Confronted with Different ODP-Viewpoints of the TraderJoachim Fischer, Andreas Prinz, Andreas Vogel. 332-350
- On the Derivation of Executable Database Programs from Formal SpecificationsThomas Günther, Klaus-Dieter Schewe, Ingrid Wetzel. 351-366
- A Concurrency Case Study Using RAISEAnne Elisabeth Haxthausen, Chris George. 367-387
- Specifying a Safety-Critical Control System in ZJonathan Jacky. 388-402
- An Overview of the SPRINT MethodH. B. M. Jonkers. 403-427
- Application of Composition Development Method for definition of SYNTHESIS information resource query language semanticsLeonid A. Kalinichenko, Nikolaj S. Nikitchenko, Vladimir Zadorozhny. 428-441
- Verification Tools in the Development of Provably Correct CompilersM. R. K. Krishna Rao, Paritosh K. Pandya, R. K. Shyamasundar. 442-461
- Encoding W: A Logic for Z in 2OBJAndrew Martin. 462-481
- Formal Verification for Fault-Tolerant Architectures: Some Lessons LearnedSam Owre, John M. Rushby, Natarajan Shankar, Friedrich W. von Henke. 482-500
- Conformity Clause for VDM-SLGraeme I. Parkin, Brian A. Wichmann. 501-520
- Process Instances in LOTOS SimulationSimon Pickin, Yan Yang, Wiet Bouma, Sylvie Simon, Tanja de Groot. 521-540
- The SAZ Project: Integrating SSADM and Z.Fiona A. C. Polack, Mark Whiston, Keith Mander. 541-557
- Maintaining Consistency Under Changes to Formal SpecificationsKelvin J. Ross, Peter A. Lindsay. 558-577
- An EVES Data Abstraction ExampleMark Saaltink, Sentot Kromodimoeljo, Bill Pase, Dan Craigen, Irwin Meisels. 578-596
- Putting Advanced Reachability Analysis Techniques Together: the ARA ToolAntti Valmari, Jukka Kemppainen, Matthew Clegg, Mikko Levanto. 597-616
- Integrating SA/RT with LOTOSThony van der Vloedt, Kees Bogaards. 617-631
- Symbolic Model Checking for Distributed Real-Time SystemsFarn Wang, Aloysius K. Mok, E. Allen Emerson. 632-651
- Adding Specification Constructors to the Refinement CalculusNigel Ward. 652-670
- Selling Formal Methods to IndustryDebora Weber-Wulff. 671-678