2. FME 1994: Barcelona, Spain

@proceedings{DBLP:conf/fm/1994,
  editor    = {Maurice Naftalin and
               B. Tim Denvir and
               Miquel Bertran},
  title     = {FME '94: Industrial Benefit of Formal Methods, Second International
               Symposium of Formal Methods Europe, Barcelona, Spain, October
               24-18, 1994, Proceedings},
  booktitle = {FME},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {873},
  year      = {1994},
  isbn      = {3-540-58555-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Lectures

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

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

Papers

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