From Action Systems to Modular Systems/
R.J.R. Back & K. Sere
Formal Methods in the Railways Signalling Industry/
Babak Dehbonei & Fernando Mejia
Formal and Informal Specifications of a Secure System Component: First Results in a Comparative Study/
J.S. Fitzgerald, T.M. Brookes, M.A. Green & P~Larsen
Formalising British Rail's Signalling Rules/
Trevor King
Three Applications of Formal Methods at M I T R E /
Joshua D. Guttman & Dale M. Johnson
Specification and Analysis of a Security Management System/
()mar Cherkaoui, Nathalie Rico & Alan Bernardi
Verification Techniques for L O T O S /
U. Martin & M. Thomas
Experiences in Using the Abstract Machine Notation in a GKS Case Study/
Brian Ritchie, Juan Bicarregui & Howard Ilaughton
Seven More Mylhs of Formal Methods: Dispelling Industrial Prejudices/
Jonathan P. Bowen & Michael G. Hinchey
Comparing Approaches to Data Reification/
T. Clement
Towards a Formalization of Programming-by-Difference/
I. Maung, J.R. Howse & R.J. Mitchell
A New Concept of Refinement used for Behaviour Modelling with Automata /
Barbara Paech & Bernhard Rumpe
An Extended VDM Refinement Relation /
Morten Elvang-Gcransson &: Robert E. Fields
On Transferring V D M Verificalion Techniques to Z/
Peter A. Lindsay
Proof-Based Development of Specifications with K I D S / V D M. /
Yves Ledru
Evaluation of Underdetermined Explicit Definitions/
Peter Gorm Larsen
A Precise Examination of the Behaviour of Process Models /
Kelvin J. Ross & Peter A. Lindsay
A Theory of Presentations /
D.J. Duke & M.D. Harrison
Applying a Concurrent Formal Framework to Process Modelling/
J.A. Keane, J. Sa & B.C. Warboys
From MooZ to Eiffel - A Rigorous Approach to System Development/
Virginia A.O. Cordeiro, Augusto Sampaio ~ Silvio L. Meira
OP~ f,5: a Formal Approach to Object-Orientation/
Tom Mens, Kim Mens & Patrick Steyaert/
A Strategy for the Production of Verifiable Code Using the B Method /
Andrew C. Storey ~ Howard P. Haughton
Specifying and Verifying Concurrent Systems Using Z /
Andy S. Evans
A Critical Look at Functional Specifications/
Rodger Collinson
Informal Strategies in Design by Refinement/
Maurice Naftalin
An Experimental Support System for Formal Mathematical Reasoning/
Matthias Anlauff, Stan Js : Martin Simons
Literate Mathematical Development of a Revision Management System/
Matthias Weber
An Action Semantics for ML Concurrency Primitives/
Peter D. Mosses & Martin Musicante
A Semantics for NewSpeak in VDM-SL /
Paul Mukherjee
Evaluation Semantics in Z /
C. O'Halloran
Abstract Model Checking of Infinite Specifications /
Daniel Jackson
Case Study: ,Especification and Refinement of the PI-Bus/
Karen Seidel
Stepwise Refinement of Control Software - A Case Study Using R A I S E/
Francois Erasmy & Emil Sekerinski
,Specifying Safety and Progress Properties with RSL/
Jesper Gcrtz
Validation of a Railway Interlocking Model/
Kirsten Mark Hansen
A Formal ,Tpecificalion of an Automatic Train Protection System/
Andrew Simpson
Adding Real Time to Formal Program Development /
Colin Fidge
Combining the Design of Industrial Systems with Effective: Verification Techniques /
Jorge Cu~llar, Isolde Wildgruber &, Dieter Barnard
R T L and Refutation by Positive Cycles/
Farn Wang & Aloysius K. Mok
Formalising the Semantics of Ward/Mellor S A / R T Essential: Models Using a Process Algebra/
P.C. Fencott, A.J. Galloway, M.A. Loekyer, S.J. O'Brien ~: S. Pearson
Deriving Relational Database Programs from Formal ,Epecifications/
Roberto S.M. de Barros
