Lenguaje de programación y herramientas que permiten: fácil generación de código para Java, C, C++,..; verificar la corrección del código y las propiedades formales. El objetivo es permitir la máxima reutilización de los componentes (sin dependencia del lenguaje), así como demostrar su corrección.
historial de versiones
- Versión N/A publicado en 2011-08-09
Varias correcciones y actualizaciones - Versión N/A publicado en 2011-08-09
Detalles del programa
- Categoría: Desarrollo > Otro
- Editor: guml.sf.net
- Licencia: Gratis
- Precio: N/A
- Versión: Array
- Plataforma: windows