VDM '87. VDM - A Formal Method at Work

VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings

VDM: Origins, hopes, and achievements.
Experience using VDM in STC.
VDM in three generations of Ada formal descriptions.
Experience with VDM in NORSK DATA.
Using VDM in an Object-Oriented development method for Ada software.
The stepwise development of software development graphs — Meta-programming VDM developments.
Heap storage specification and development.
VDM as a specification method for telecommunications software.
Support environments for VDM.
Development and application of a META IV compiler.
From VDM to RAISE.
Denotational engineering or from denotations to syntax.
A type model for VDM.
A formal description of object-oriented programming using VDM.
VDM proof obligations and their justification.
Mathematical structures and their morphisms in Meta-IV.
Objectives of the British Standardisation of a language to support the Vienna development method.
Use of VDM within CCITT.
A formal semantics for a DataFlow Machine — Using VDM.
to the VDM tutorial.
Specification by data types.
Data reification and program decomposition.