Søren Prehn, W. J. Toetenel
Proceedings of the Fourth International Symposium on Vienna Development Method: Formal Software Development. Volume 2: Tutorials
VDM Europe (2), 1991.

@proceedings{VDME-v2-1991,
	address       = "Noordwijkerhout, The Netherlands",
	editor        = "Søren Prehn and W. J. Toetenel",
	isbn          = "3-540-54868-8",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Fourth International Symposium on Vienna Development Method: Formal Software Development. Volume 2: Tutorials}",
	volume        = 552,
	year          = 1991,
}

Contents (11 items)

4 ×#refinement
4 ×#tutorial
3 ×#development
2 ×#calculus

VDME-1991-GuttagH #interface #tutorial

A Tutorial on LARCH and LCL, A LARCH/C Interface Language (JVG, JJH), pp. 1–78.

VDME-1991-Woodcock #calculus #refinement #tutorial

A Tutorial on the Refinement Calculus (JW), pp. 79–140.

VDME-1991-Woodcock91a #calculus #refinement

The Refinement Calculus (JW), pp. 80–95.

VDME-1991-Woodcock91b #refinement

An Introduction to Refinement in Z (JW), pp. 96–117.

VDME-1991-Woodcock91c #case study #refinement

Two Refinement Case Studies (JW), pp. 118–140.

VDME-1991-Airchinnigh #tutorial

Tutorial on the Irish School of the VDM (MMaA), pp. 141–237.

VDME-1991-George #specification #tutorial

The RAISE Specification Langiage: A Tutorial (CG), pp. 238–319.

VDME-1991-DahlO #development

Formal Development with ABEL (OJD, OO), pp. 320–362.

VDME-1991-Krieg-BrucknerKLT #development

The PROSPECTRA Methodology and System: Uniform Transformational (Meta-) Development (BKB, EWK, JL, OT), pp. 363–397.

VDME-1991-AbrialLNSS

The B-Method (JRA, MKOL, DN, PNS, IHS), pp. 398–405.

VDME-1991-GoodY #development

Mathematical Methods for Digital Systems Development (DIG, WDY), pp. 406–430.