Abstract is missing.
- From Action Systems to Modular SystemsRalph-Johan Back, Kaisa Sere. 1-25
- Formal Methods in the Railways Signalling IndustryBabak Dehbonei, Fernando Mejia. 26-34
- Formal and Informal Specifications of a Secure System Component: first results in a comparative studyJohn S. Fitzgerald, T. M. Brookes, M. A. Green, Peter Gorm Larsen. 35-44
- Formalising British Rail s Signalling RulesTrevor King. 45-54
- Three Applications of Formal Methods at MITREJoshua D. Guttman, Dale M. Johnson. 55-65
- Specification and Analysis of a Security Management SystemOmar Cherkaoui. 66-82
- Verification Techniques for LOTOSUrsula Martin, M. Thomas. 83-92
- Experiences in Using the Abstract Machine Notation in a GKS Case StudyBrian Ritchie, Juan Bicarregui, Howard P. Haughton. 93-104
- Seven More Myths of Formal MethodsJonathan P. Bowen, Michael G. Hinchey. 105-117
- Comparing Approaches to Data ReificationTim Clement. 118-133
- Towards a Formalization of Programming-by-DifferenceIan Maung, John Howse, Richard J. Mitchell. 134-153
- A new Concept of Refinement used for Behaviour Modelling with AutomataBarbara Paech, Bernhard Rumpe. 154-174
- An Extended VDM Refinement RelationMorten Elvang-Gøransson, Robert E. Fields. 175-189
- On transferring VDM verification techniques to ZPeter A. Lindsay. 190-213
- Proof-Based Development of Specifications with KIDS/VDMYves Ledru. 214-232
- Evaluation of Underdetermined Explicit DefinitionsPeter Gorm Larsen. 233-250
- A Precise Examination of the Behaviour of Process ModelsKelvin J. Ross, Peter A. Lindsay. 251-270
- A Theory of PresentationsDavid J. Duke, Michael D. Harrison. 271-290
- Applying a Concurrent Formal Framework to Process ModellingJ. A. Keane, Jin Sa, Brian Warboys. 291-305
- From MooZ to Eiffel - A Rigorous Approach to System DevelopmentVirgínia A. O. Cordeiro, Augusto Sampaio, Silvio Romero de Lemos Meira. 306-325
- OPUS: a Formal Approach to Object-OrientationTom Mens, Kim Mens, Patrick Steyaert. 326-345
- A Strategy for the Production of Verifiable Code Using the B MethodAndrew Storey, Howard P. Haughton. 346-365
- Specifying & Verifying Concurrent Systems Using ZAndy Evans. 366-380
- A Critical Look at Functional SpecificationsRodger Collinson. 381-400
- Informal Strategies in Design by RefinementMaurice Naftalin. 401-420
- An experimental support system for formal mathematical reasoningMatthias Anlauff, Stefan Jähnichen, Martin Simons. 421-440
- Literate Mathematical Development of a Revision Management SystemMatthias Weber. 441-460
- An Action Semantics for ML Concurrency PrimitivesPeter D. Mosses, Martín Musicante. 461-479
- A Semantics for NewSpeak in VDM-SLPaul Mukherjee. 480-501
- Evaluation Semantics in ZColin O Halloran. 502-518
- Abstract Model Checking of Infinite SpecificationsDaniel Jackson. 519-531
- Case Study: Specification and Refinement of the PI-BusKaren Seidel. 532-546
- Stepwise Refinement of Control Software - A Case Study Using RAISEFrançois Erasmy, Emil Sekerinski. 547-566
- Specifying Safety and Progress Properties with RSLJesper Gørtz. 567-581
- Validation of a Railway Interlocking ModelKirsten Mark Hansen. 582-601
- A Formal Specification of an Automatic Train Protection SystemAndrew Simpson. 602-617
- Adding Real Time to Formal Program DevelopmentColin J. Fidge. 618-638
- Combining the Design of Industrial Systems with Effective Verification TechniquesJorge Cuéllar, Isolde Wildgruber, Dieter Barnard. 639-658
- RTL and Refutation by Positive CyclesFarn Wang, Aloysius K. Mok. 659-680
- Formalising the Semantics of Ward/Mellor SA/RT Essential Models using a Process AlgebraP. C. Fencott, A. J. Galloway, M. A. Lockyer, S. J. O Brien, S. Pearson. 681-702
- Deriving Relational Database Programs from Formal SpecificationsRoberto Souto Maior de Barros. 703-723