![](/statics/img/blank.png)
Overture: Formal modelling in VDM
Licencia: Gratis Tamaño del archivo: N/A
Calificación de usuarios: 2.6/5 - 5 Votos
Espera... El enlace de descarga se está verificando para ver si hay contenido malintencionado.
Podrás descargarlo en 5 segundos.
Podrás descargarlo en 5 segundos.
acerca de Overture: Formal modelling in VDM
El proyecto Overture está desarrollando un conjunto de complementos Eclipse de código abierto para apoyar la integración de varias herramientas de modelado VDM (Vienna Development Method). El objetivo es proporcionar soporte para todas las herramientas de VDM existentes y dialectos de lenguaje.