2. FME 1994: Barcelona, Spain

Invited Lectures

• Ralph-Johan Back, Kaisa Sere:
  From Action Systems to Modular Systems. 1-25
  
• Babak Dehbonei, Fernando Mejia:
  Formal Methods in the Railways Signalling Industry. 26-34
  

Industrial Usage Reports

• 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. 35-44
  
• Trevor King:
  Formalising British Rail's Signalling Rules. 45-54
  
• Joshua D. Guttman, Dale M. Johnson:
  Three Applications of Formal Methods at MITRE. 55-65
  
• Omar Cherkaoui:
  Specification and Analysis of a Security Management System. 66-82
  
• Ursula Martin, M. Thomas:
  Verification Techniques for LOTOS. 83-92
  
• Brian Ritchie, Juan Bicarregui, Howard P. Haughton:
  Experiences in Using the Abstract Machine Notation in a GKS Case Study. 93-104
  
• Jonathan P. Bowen, Michael G. Hinchey:
  Seven More Myths of Formal Methods. 105-117
  

Papers

• Tim Clement:
  Comparing Approaches to Data Reification. 118-133
  
• Ian Maung, John Howse, Richard J. Mitchell:
  Towards a Formalization of Programming-by-Difference. 134-153
  
• Barbara Paech, Bernhard Rumpe:
  A new Concept of Refinement used for Behaviour Modelling with Automata. 154-174
  
• Morten Elvang-Gøransson, Robert E. Fields:
  An Extended VDM Refinement Relation. 175-189
  
• Peter A. Lindsay:
  On transferring VDM verification techniques to Z. 190-213
  
• Yves Ledru:
  Proof-Based Development of Specifications with KIDS/VDM. 214-232
  
• Peter Gorm Larsen:
  Evaluation of Underdetermined Explicit Definitions. 233-250
  
• Kelvin J. Ross, Peter A. Lindsay:
  A Precise Examination of the Behaviour of Process Models. 251-270
  
• David J. Duke, Michael D. Harrison:
  A Theory of Presentations. 271-290
  
• J. A. Keane, Jin Sa, Brian Warboys:
  Applying a Concurrent Formal Framework to Process Modelling. 291-305
  
• Virgínia A. O. Cordeiro, Augusto Sampaio, Silvio Romero de Lemos Meira:
  From MooZ to Eiffel - A Rigorous Approach to System Development. 306-325
  
• Tom Mens, Kim Mens, Patrick Steyaert:
  OPUS: a Formal Approach to Object-Orientation. 326-345
  
• Andrew Storey, Howard P. Haughton:
  A Strategy for the Production of Verifiable Code Using the B Method. 346-365
  
• Andy Evans:
  Specifying & Verifying Concurrent Systems Using Z. 366-380
  
• Rodger Collinson:
  A Critical Look at Functional Specifications. 381-400
  
• Maurice Naftalin:
  Informal Strategies in Design by Refinement. 401-420
  
• Matthias Anlauff, Stefan Jähnichen, Martin Simons:
  An experimental support system for formal mathematical reasoning. 421-440
  
• Matthias Weber:
  Literate Mathematical Development of a Revision Management System. 441-460
  
• Peter D. Mosses, Martín Musicante:
  An Action Semantics for ML Concurrency Primitives. 461-479
  
• Paul Mukherjee:
  A Semantics for NewSpeak in VDM-SL. 480-501
  
• Colin O'Halloran:
  Evaluation Semantics in Z. 502-518
  
• Daniel Jackson:
  Abstract Model Checking of Infinite Specifications. 519-531
  
• Karen Seidel:
  Case Study: Specification and Refinement of the PI-Bus. 532-546
  
• François Erasmy, Emil Sekerinski:
  Stepwise Refinement of Control Software - A Case Study Using RAISE. 547-566
  
• Jesper Gørtz:
  Specifying Safety and Progress Properties with RSL. 567-581
  
• Kirsten Mark Hansen:
  Validation of a Railway Interlocking Model. 582-601
  
• Andrew Simpson:
  A Formal Specification of an Automatic Train Protection System. 602-617
  
• Colin J. Fidge:
  Adding Real Time to Formal Program Development. 618-638
  
• Jorge Cuéllar, Isolde Wildgruber, Dieter Barnard:
  Combining the Design of Industrial Systems with Effective Verification Techniques. 639-658
  
• Farn Wang, Aloysius K. Mok:
  RTL and Refutation by Positive Cycles. 659-680
  
• P. C. Fencott, A. J. Galloway, M. A. Lockyer, S. J. O'Brien, S. Pearson:
  Formalising the Semantics of Ward/Mellor SA/RT Essential Models using a Process Algebra. 681-702
  
• Roberto Souto Maior de Barros:
  Deriving Relational Database Programs from Formal Specifications. 703-723