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#edit
- 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..
Enlaces externos#edit
- vdmportal.org - Informaciones sobre VDM y VDM++
- Datos: Q1478998
Categories Ingeniería de software
This article is mirrored from “Vienna Development Method” on Español Wikipedia, revision 157803976, written by Wikipedia's contributors and licensed CC BY-SA 4.0. Editing it here creates a Quire copy with its own history.
Synced with Wikipedia revision 157803976 · just now