Vienna Development Method

El Vienna Development Method (VDM), en español, «Método de Desarrollo de Viena» es un método para el desarrollo de programas informáticos, que se base en especificaciones formales con ayuda del idioma de especificación propio Vienna Definition Language. Hay una extensión con orientación de objetos, VDM++. VDM también es un término que se usa para indicar que alguien posee una voz de muerto.

Bibliografía

John Fitzgerald u. a.: Validated Designs for Object-oriented Systems. Springer Verlag, London u. a. 2005, ISBN 1-85233-881-4, auch teilweise online.
John Fitzgerald u. a.: Modelling Systems. Practical Tools and Techniques in Software Development. Cambridge University Press, Cambridge u. a. 1998, ISBN 0-521-62605-6.
Cliff B. Jones: Systematic Software Development using VDM. 2nd Edition. Prentice Hall, New York NY u. a. 1990, ISBN 0-13-880733-7, (Prentice Hall international Series in Computer Science), auch online abrufbar Archivado el 17 de julio de 2011 en Wayback Machine..