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

researchr

You are not signed in
Sign in
Sign up

Søren Prehn, W. J. Toetenel, editors, VDM 91 - Formal Software Development, 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991, Proceedings, Volume 2: Tutorials. Volume 552 of Lecture Notes in Computer Science, Springer, 1991.

Conference: FM1991

Abstract is missing.

A Tutorial on LARCH and LCL, A LARCH/C Interface LanguageJohn V. Guttag, James J. Horning. 1-78

A Tutorial on the Refinement CalculusJim Woodcock. 79-140

The Refinement CalculusJim Woodcock. 80-95

An Introduction to Refinement in ZJim Woodcock. 96-117

Two Refinement Case StudiesJim Woodcock. 118-140

Tutorial on the Irish School of the VDMMícheál Mac an Airchinnigh. 141-237

The RAISE Specification Langiage: A TutorialChris George. 238-319

Formal Development with ABELOle-Johan Dahl, Olaf Owe. 320-362

The PROSPECTRA Methodology and System: Uniform Transformational (Meta-) DevelopmentBernd Krieg-Brückner, Einar W. Karlsen, Junbo Liu, Owen Traynor. 363-397

The B-MethodJean-Raymond Abrial, Matthew K. O. Lee, David Neilson, P. N. Scharbach, Ib Holm Sørensen. 398-405

Mathematical Methods for Digital Systems DevelopmentDonald I. Good, William D. Young. 406-430

runs on WebDSL