VDM Europe (2)

Keyphrases

Publications

1991

Jim Woodcock
The Refinement Calculus. VDM Europe (2) (1991)
John V. Guttag, James J. Horning
A Tutorial on LARCH and LCL, A LARCH/C Interface Language. VDM Europe (2) (1991)
Donald I. Good, William D. Young
Mathematical Methods for Digital Systems Development. VDM Europe (2) (1991)
Ole-Johan Dahl, Olaf Owe
Formal Development with ABEL. VDM Europe (2) (1991)
Chris George
The RAISE Specification Langiage: A Tutorial. VDM Europe (2) (1991)
Jean-Raymond Abrial, Matthew K. O. Lee, David Neilson, P. N. Scharbach, Ib Holm Sørensen
The B-Method. VDM Europe (2) (1991)
Jim Woodcock
An Introduction to Refinement in Z. VDM Europe (2) (1991)
Bernd Krieg-Brückner, Einar W. Karlsen, Junbo Liu, Owen Traynor
The PROSPECTRA Methodology and System: Uniform Transformational (Meta-) Development. VDM Europe (2) (1991)
Jim Woodcock
Two Refinement Case Studies. VDM Europe (2) (1991)
Jim Woodcock
A Tutorial on the Refinement Calculus. VDM Europe (2) (1991)
Mícheál Mac an Airchinnigh
Tutorial on the Irish School of the VDM. VDM Europe (2) (1991)

volume 552, 1991

VDM '91 - Formal Software Development, 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991, Proceedings, Volume 2: Tutorials VDM Europe (2) 552 (1991)