1. VDM Europe 1987: Brussels, Belgium

Dines Bjørner, Cliff B. Jones, Mícheál Mac an Airchinnigh, Erich J. Neuhold (Eds.): VDM '87, VDM - A Formal Method at Work, VDM-Europe Symposium, Brussels, Belgium, March 23-26, 1987, Proceedings. Lecture Notes in Computer Science 252 Springer 1987, ISBN 3-540-17654-3 BibTeX

@proceedings{DBLP:conf/fm/1987,
  editor    = {Dines Bj{\o}rner and
               Cliff B. Jones and
               M\'{\i}che{\'a}l Mac an Airchinnigh and
               Erich J. Neuhold},
  title     = {VDM '87, VDM - A Formal Method at Work, VDM-Europe Symposium,
               Brussels, Belgium, March 23-26, 1987, Proceedings},
  booktitle = {VDM Europe},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {252},
  year      = {1987},
  isbn      = {3-540-17654-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

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

VDM Experience

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

Use

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

Development Methods

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

VDM Environments

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

Foundations I

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

Specifications

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

Foundations II

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

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 BibTeX
Peter Haff, Anders Olsen: Use of VDM within CCITT. 324-330 BibTeX

A Case Study

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

Tutorial Papers

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