Standard Article

Vienna Development Method

  1. John S. Fitzgerald1,
  2. Peter Gorm Larsen2,
  3. Marcel Verhoef3

Published Online: 15 SEP 2008

DOI: 10.1002/9780470050118.ecse447

Wiley Encyclopedia of Computer Science and Engineering

Wiley Encyclopedia of Computer Science and Engineering

How to Cite

Fitzgerald, J. S., Larsen, P. G. and Verhoef, M. 2008. Vienna Development Method. Wiley Encyclopedia of Computer Science and Engineering. 1–11.

Author Information

  1. 1

    Newcastle University, Newcastle upon Tyne, United Kingdom

  2. 2

    Engineering College of Aarhus, Aarhus, Denmark

  3. 3

    CHESS, Haarlem, The Netherlands

Publication History

  1. Published Online: 15 SEP 2008

Abstract

The Vienna Development Method (VDM) is one of the longest established model-oriented formal methods for the development of computer-based systems and software. It consists of a group of mathematically well-founded languages and tools for expressing and analyzing system models during early design stages, before expensive implementation commitments are made. The construction and analysis of the model help to identify areas of incompleteness or ambiguity in informal system specifications, and to provide some level of confidence that a valid implementation will have key properties, especially those of safety or security. VDM has a strong record of industrial application, in many cases by practitioners who are not specialists in the underlying formalism or logic. Experience with the method suggests that the effort expended on formal modeling and analysis can be recovered in reduced rework costs that develop from design errors.

Keywords:

  • vienna development method;
  • VDM-SL;
  • system modeling;
  • model validation;
  • proof obligations;
  • validation conjectures;
  • tool support