Programas por www.overturetool.org
-
Overture: Formal modelling in VDM Gratis
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