Proceedings of the Fourth International Symposium on Vienna Development Method: Formal Software Development. Volume 2: Tutorials
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

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.

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

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.

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.