Abstract
Although VDM — the Vienna Development Method — has probably been the most widespread and popular so-called formal method for software development in use so far, it is clear that VDM suffers from a number of deficiencies. In this paper, the transition from VDM to a new, “second generation” formal method — RAISE — is discussed. Problems with VDM are discussed, and their solutions within RAISE are outlined. The reader is assumed to be familiar with VDM.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
D. Bjørner & C.B. Jones: “Formal Specification and Software Development”, Prentice/Hall, 1982.
D. Bjørner, S. Prehn: “Software Engineering Aspects of VDM”, in: D. Ferrari et al: “Theory and Practice of Software Technology”, North-Holland, 1983.
D. Bjørner et al: “The RAISE Project — Fundamental Issues and Requirements”, RAISE/DDC/EM/1, Dansk Datamatik Center, 1985.
A. Blikle: “A Metalanguage for Naive Denotational Semantics”, Progretto Finalizzato Informatica, C.N.R. Progretto P1, CNET 104, Pisa, 1984.
F.L. Bauer et al: “The Munich Project CIP”, Volume I: The Wide Spectrum Language CIP-L, Springer Verlag LNCS 183, 1985.
J. Guttag et al: “Larch in Five Easy Pieces”, Report #5, DEC Systems Research Center, Palo Alto, 1985.
P. Haff, D. Bjørner (eds.): “A Formal Definition of CHILL. A Supplement to the CCITT Recommendation Z.200”, Dansk Datamatik Center, 1980.
C.A.R. Hoare: “Communicating Sequential Processes”, Prentice/Hall, 1985.
C.B. Jones: “Software Development: A Rigorous Approach”, Prentice/Hall, 1980.
C.B. Jones: “Systematic Software Development Using VDM”, Prentice/Hall, 1986.
E. Meiling, C.W. George: “The RAISE Language and Method”, RAISE/DDC/EM/21, Dansk Datamatik Center, 1986.
B. Monahan: “A Semantic Definition of the STC Reference Language”, STC Technology Ltd., 1985.
“A Basis for a Portable Common Tool Environment”, Fourth Edition, Volumes I+II, Bull S.A., 1986.
S. Prehn et al: “A Critical Examination of VDM”, ESPRIT Formal Methods Appraisal Study Final Report, Dansk Datamatik Center, 1983.
G. Reggio, P. Inverardi, E. Astesiano, A. Giovini, F. Mazzanti, E. Zucca: “The Draft Formal Definition of Ada, The User Manual of the Meta-Language”, CRAI/IEI/University of Genoa, September 1986.
D. Sanella, M. Wirsing: “A Kernel Language for Algebraic Specification and Implementation”, University of Edinburgh, CSR-131-83, 1983.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1987 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Prehn, S. (1987). From VDM to RAISE. In: Bjørner, D., Jones, C.B., Mac an Airchinnigh, M., Neuhold, E.J. (eds) VDM '87 VDM — A Formal Method at Work. VDM 1987. Lecture Notes in Computer Science, vol 252. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-17654-3_11
Download citation
DOI: https://doi.org/10.1007/3-540-17654-3_11
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-17654-1
Online ISBN: 978-3-540-47740-2
eBook Packages: Springer Book Archive