Proceedings of the First European Symposium on Vienna Development Method: A Formal Method at Work
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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.

FM
DBLP
Scholar
Full names Links ISxN
@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)

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.