1. VDM Europe 1987: Brussels, Belgium

• Peter Lucas:
  VDM: Origins, Hopes, and Achievements. 1-18
  

VDM Experience

• R. J. Crispin:
  Experience Using VDM in STC. 19-32
  
• Jan Storbank Pedersen:
  VDM in Three Generations of Ada* Formal Descriptions. 33-48
  
• Uwe Schmidt, Reinhard Völler:
  Experience with VDM in Norsk Data. 49-62
  

Use

• Chris Chedgey, Seamus Kearney, Hans-Jürgen Kugler:
  Using VDM in an Object-Oriented Development Method for Ada Software. 63-76
  

Development Methods

• Dines Bjørner:
  The Stepwise Development of Software Development Graphs: Meta-Programming VDM Developments. 77-96
  
• Chris George:
  Heap Storage Specification and Development. 97-105
  
• Thomas Letschert:
  VDM as a Specification Method for Telecommunications Software. 106-109
  

VDM Environments

• Kevin D. Jones:
  Support Environments for VDM. 110-117
  
• Manfred Haß:
  Development and Application of a Meta IV Compiler. 118-140
  
• Søren Prehn:
  From VDM to RAISE. 141-150
  

Foundations I

• Andrzej Blikle:
  Denotational Engineering or from Denotations to Syntax. 151-209
  
• Brian Q. Monahan:
  A Type Model for VDM. 210-236
  

Specifications

• Cydney Minkowitz, Peter B. Henderson:
  A Formal Description of Object-Oriented Programming Using VDM. 237-259
  

Foundations II

• Cliff B. Jones:
  VDM Proof Obligations and their Justification. 260-286
  
• Mícheál Mac an Airchinnigh:
  Mathematical Structures and their Morphisms in Meta-IV. 287-320
  

Standardisation Issues

• D. Sen:
  Objectives of the British Standardisation of a Language to support the Vienna Development Method - The BSI VDM Specification Language Standardisation Panel - United Kingdom. 321-323
  
• Peter Haff, Anders Olsen:
  Use of VDM within CCITT. 324-330
  

A Case Study

• Kevin D. Jones:
  A Formal Semantics for a DataFlow Machine - Using VDM. 331-355
  

Tutorial Papers

• Mícheál Mac an Airchinnigh:
  Introduction to the VDM Tutorial. 356-361
  
• Mícheál Mac an Airchinnigh:
  Specification by Data Types. 362-388
  
• Derek Andrews:
  Data Reification and Program Decomposition. 389-422