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

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

Last update Tue May 21 16:40:00 2013 CET by the DBLP Team —

This material is Open Data

Data released under the ODC-BY 1.0 license — See also our legal information page