Vienna Development Method

from Wikipedia, the free encyclopedia

Vienna Development Method ( VDM ) is a method for developing computer programs based on formal specifications with the help of VDM's own specification language Vienna Definition Language . There is an object-oriented extension, VDM ++ .

literature

  • John Fitzgerald et al .: Validated Designs for Object-oriented Systems . Springer Verlag, London et al. 2005, ISBN 1-85233-881-4 , also partially online .
  • John Fitzgerald et al .: Modeling Systems. Practical Tools and Techniques in Software Development . Cambridge University Press, Cambridge et al. 1998, ISBN 0-521-62605-6 .
  • Cliff B. Jones: Systematic Software Development using VDM . 2nd edition. Prentice Hall, New York NY et al. 1990, ISBN 0-13-880733-7 , ( Prentice Hall international Series in Computer Science ), also available online ( ZIP ; 1.1 MB).

Web links