1. FME 1993: Odense, Denmark

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, E. 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, Carlos Sánchez, F. Javier Carrasco, Juan J. Gil:
  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, Brian Ritchie:
  Invariants, Frames and Postconditions: a Comparison of the VDM and B Notations. 162-182
  
• Jonathan P. Bowen, Victoria Stavridou:
  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 Elisabeth 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 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. Parkin, Brian A. Wichmann:
  Conformity Clause for VDM-SL. 501-520
  
• Simon Pickin, Yan Yang, Wiet Bouma, Sylvie Simon, Tanja de Groot:
  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
  

Last update Mon May 20 14:41:27 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page