VDMJ proporciona soporte básico de la herramienta para los lenguajes de especificación VDM-SL, VDM++ y VDM-RT, escritos en Java. Incluye un analizador, un corrector de tipos, un intérprete, un depurador y un generador de obligaciones de prueba. Es utilizado por el proyecto de eclipse Overture.
historial de versiones
- Versión N/A publicado en 2011-06-24
- Versión Jars publicado en 2011-03-14
Varias correcciones y actualizaciones
Detalles del programa
- Categoría: Aplicaciones gráficas > Otro
- Editor: sf.net/projects/vdmj/
- Licencia: Gratis
- Precio: N/A
- Versión: Array
- Plataforma: windows