Vienna Development Method

De Wikipedia, la enciclopedia libre
Saltar a: navegación, búsqueda

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++.

Bibliografía[editar]

Enlaces externos[editar]