• Søren Prehn
VDM Environments
Part of the Lecture Notes in Computer Science book series (LNCS, volume 252)


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.


Development Step Proof Obligation Structure Definition Proof Rule Domain Equation 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Bjørner 82]
    D. Bjørner & C.B. Jones: “Formal Specification and Software Development”, Prentice/Hall, 1982.Google Scholar
  2. [Bjørner 82a]
    D. Bjørner, S. Prehn: “Software Engineering Aspects of VDM”, in: D. Ferrari et al: “Theory and Practice of Software Technology”, North-Holland, 1983.Google Scholar
  3. [Bjørner 85]
    D. Bjørner et al: “The RAISE Project — Fundamental Issues and Requirements”, RAISE/DDC/EM/1, Dansk Datamatik Center, 1985.Google Scholar
  4. [Blikle 84]
    A. Blikle: “A Metalanguage for Naive Denotational Semantics”, Progretto Finalizzato Informatica, C.N.R. Progretto P1, CNET 104, Pisa, 1984.Google Scholar
  5. [CIP 85]
    F.L. Bauer et al: “The Munich Project CIP”, Volume I: The Wide Spectrum Language CIP-L, Springer Verlag LNCS 183, 1985.Google Scholar
  6. [Guttag et al 85]
    J. Guttag et al: “Larch in Five Easy Pieces”, Report #5, DEC Systems Research Center, Palo Alto, 1985.Google Scholar
  7. [Haff et al 80]
    P. Haff, D. Bjørner (eds.): “A Formal Definition of CHILL. A Supplement to the CCITT Recommendation Z.200”, Dansk Datamatik Center, 1980.Google Scholar
  8. [Hoare 85]
    C.A.R. Hoare: “Communicating Sequential Processes”, Prentice/Hall, 1985.Google Scholar
  9. [Jones 80]
    C.B. Jones: “Software Development: A Rigorous Approach”, Prentice/Hall, 1980.Google Scholar
  10. [Jones 86]
    C.B. Jones: “Systematic Software Development Using VDM”, Prentice/Hall, 1986.Google Scholar
  11. [Meiling et al 86]
    E. Meiling, C.W. George: “The RAISE Language and Method”, RAISE/DDC/EM/21, Dansk Datamatik Center, 1986.Google Scholar
  12. [Monahan 85]
    B. Monahan: “A Semantic Definition of the STC Reference Language”, STC Technology Ltd., 1985.Google Scholar
  13. [PCTE 86]
    “A Basis for a Portable Common Tool Environment”, Fourth Edition, Volumes I+II, Bull S.A., 1986.Google Scholar
  14. [Prehn et al 83]
    S. Prehn et al: “A Critical Examination of VDM”, ESPRIT Formal Methods Appraisal Study Final Report, Dansk Datamatik Center, 1983.Google Scholar
  15. [Reggio et al 86]
    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.Google Scholar
  16. [Sanella et al 83]
    D. Sanella, M. Wirsing: “A Kernel Language for Algebraic Specification and Implementation”, University of Edinburgh, CSR-131-83, 1983.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1987

Authors and Affiliations

  • Søren Prehn
    • 1
  1. 1.Dansk Datamatik CenterLyngbyDenmark

Personalised recommendations