Robin E. Bloomfield, Lynn S. Marshall, Roger B. Jones
Proceedings of the Second European Symposium on Vienna Development Method: The Way Ahead
VDM Europe, 1988.

@proceedings{VDME-1988,
	address       = "Dublin, Ireland",
	editor        = "Robin E. Bloomfield and Lynn S. Marshall and Roger B. Jones",
	isbn          = "3-540-50214-9",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Second European Symposium on Vienna Development Method: The Way Ahead}",
	volume        = 328,
	year          = 1988,
}

Contents (28 items)

9 ×#specification
4 ×#standard
3 ×#named
3 ×#proving
3 ×#using
2 ×#correctness
2 ×#formal method
2 ×#validation

VDME-1988-Good #physics

Computing is a Physical Science (DIG), p. 1.

VDME-1988-Bear #specification

Structuring for the VDM Specification Language (SB), pp. 2–25.

VDME-1988-Naftalin #correctness

Correctness for Beginners (MN), pp. 26–47.

VDME-1988-BorzyszkowskiS #architecture #comprehension #documentation #standard

Understanding an informal Description: Office Documents Architecture, an ISO Standard (AMB, SS), pp. 48–63.

VDME-1988-Ruggles #standard #towards

Towards a Formal Definition of GKS and other Graphic Standards (CR), pp. 64–73.

VDME-1988-Ruggles88a #formal method #standard

Formal Methods in Standards — A Report from the BCS Working Group (CR), pp. 79–85.

VDME-1988-Abrial

The B Tool (JRA), pp. 86–87.

VDME-1988-Goldsack #kernel #operating system #specification

Specification of an Operating System Kernel FOREST and VDM compared (SJG), pp. 88–100.

VDME-1988-Arthan #compilation #ml #prototype #standard

Compiler Prototyping with VDM and Standard ML (RDA), pp. 101–115.

VDME-1988-ONeill #ada #development

VDM Development with ADA as the Target Language (DO), pp. 116–123.

VDME-1988-JiangX #abstraction #execution #named #specification

NUSL: An Executable Specification Language Based on Data Abstraction (XJ, YX), pp. 124–138.

VDME-1988-JonesL #reasoning #requirements

A Support System for Formal Reasoning: Requirements and Status (CBJ, PAL), pp. 139–152.

VDME-1988-Boddy #using

The Use of VDM within the Alvey Flagship Project (GB), pp. 153–166.

VDME-1988-AndrewsGLP #interpreter

The Formal Definition of Modula-2 and Its Associated Interpreter (DJA, AG, SPAL, JRP), pp. 167–177.

VDME-1988-Scullard #testing #using

Test Case Selection using VDM (GTS), pp. 178–186.

VDME-1988-Middelburg #specification

The VIP VDM Specification Language (KM), pp. 187–201.

VDME-1988-JagerGK #functional #named

SAMPLE — A Functional Language (MJ, MG, SK), pp. 202–217.

VDME-1988-KonikowskaTB #logic #specification #validation

A Three-Valued Logic for Software Specification and Validation (BK, AT, AB), pp. 218–242.

VDME-1988-Blikle #specification #validation

Three-Valued Predicates for Software Specification and Validation (AB), pp. 243–266.

VDME-1988-BorzyszkowskiKS #formal method #polymorphism #λ-calculus

A Set-Theoretic Model for a Typed Polymorphic λ Calculus — A Contribution to MetaSoft (AMB, RK, SS), pp. 267–298.

VDME-1988-Haxthausen #algebra #equation #recursion

Mutually Recursive Algebraic Domain Equations (AEH), pp. 299–317.

VDME-1988-Milne #proving

Proof Rules for VDM Statements (RM), pp. 318–336.

VDME-1988-JonesM #design #empirical #named #proving #theorem proving #user interface

MUFFIN: A User Interface Design Experiment for a Theorem Proving Assistant (CBJ, RCM), pp. 337–375.

VDME-1988-NielsenHWG #tool support

The RAISE Language, Method and Tools (MN, KH, KRW, CG), pp. 376–405.

VDME-1988-ButhB #code generation #correctness #proving #specification #term rewriting #using

Correctness Proofs for Meta IV Written Code Generator Specification using Term Rewriting (BB, KHB), pp. 406–433.

VDME-1988-WoodcockD #case study #experience #using

Using VDM with Rely and Guarantee-Conditions — Experiences from a Real Project (JW, BD), pp. 434–458.

VDME-1988-KilpatrickM #refinement #specification

Software Support for the Refinement of VDM Specifications (PK, PM), pp. 459–475.

VDME-1988-TeoA #specification #using

The Use of VDM in the Specification of Chinese Characters (GST, MMaA), pp. 476–499.