Dines Bjørner, Cliff B. Jones, Mícheál Mac an Airchinnigh, Erich J. Neuhold
Proceedings of the First European Symposium on Vienna Development Method: A Formal Method at Work
VDM Europe, 1987.

@proceedings{VDME-1987,
	address       = "Brussels, Belgium",
	editor        = "Dines Bjørner and Cliff B. Jones and Mícheál Mac an Airchinnigh and Erich J. Neuhold",
	isbn          = "3-540-17654-3",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the First European Symposium on Vienna Development Method: A Formal Method at Work}",
	volume        = 252,
	year          = 1987,
}

Contents (21 items)

4 ×#development
4 ×#using
3 ×#specification
2 ×#experience
2 ×#object-oriented

VDME-1987-Lucas #named

VDM: Origins, Hopes, and Achievements (PL), pp. 1–18.

VDME-1987-Crispin #experience #using

Experience Using VDM in STC (RJC), pp. 19–32.

VDME-1987-Pedersen

VDM in Three Generations of Ada* Formal Descriptions (JSP), pp. 33–48.

VDME-1987-SchmidtV #experience

Experience with VDM in Norsk Data (US, RV), pp. 49–62.

VDME-1987-ChedgeyKK #ada #development #object-oriented #using

Using VDM in an Object-Oriented Development Method for Ada Software (CC, SK, HJK), pp. 63–76.

VDME-1987-Bjorner #development #graph #metaprogramming

The Stepwise Development of Software Development Graphs: Meta-Programming VDM Developments (DB), pp. 77–96.

VDME-1987-George #development #specification

Heap Storage Specification and Development (CG), pp. 97–105.

VDME-1987-Letschert #specification

VDM as a Specification Method for Telecommunications Software (TL), pp. 106–109.

VDME-1987-Jones

Support Environments for VDM (KDJ), pp. 110–117.

VDME-1987-Hass #compilation #development

Development and Application of a Meta IV Compiler (MH), pp. 118–140.

VDME-1987-Prehn

From VDM to RAISE (SP), pp. 141–150.

VDME-1987-Blikle #syntax

Denotational Engineering or from Denotations to Syntax (AB), pp. 151–209.

VDME-1987-Monahan

A Type Model for VDM (BQM), pp. 210–236.

VDME-1987-MinkowitzH #object-oriented #programming #using

A Formal Description of Object-Oriented Programming Using VDM (CM, PBH), pp. 237–259.

VDME-1987-Jones87a #proving

VDM Proof Obligations and their Justification (CBJ), pp. 260–286.

VDME-1987-Airchinnigh #morphism

Mathematical Structures and their Morphisms in Meta-IV (MMaA), pp. 287–320.

VDME-1987-HaffO #using

Use of VDM within CCITT (PH, AO), pp. 324–330.

VDME-1987-Jones87b #data flow #semantics #using

A Formal Semantics for a DataFlow Machine — Using VDM (KDJ), pp. 331–355.

VDME-1987-Airchinnigh87a #tutorial

Introduction to the VDM Tutorial (MMaA), pp. 356–361.

VDME-1987-Airchinnigh87b #data type #specification

Specification by Data Types (MMaA), pp. 362–388.

VDME-1987-Andrews #composition

Data Reification and Program Decomposition (DA), pp. 389–422.