El Marco General de Modelado para Eclipse (GMF/E) es un marco utilizable por los ingenieros de lenguaje y, en general, cualquier persona que desee desarrollar nuevos métodos formales de verificación, y probarlos utilizando el simulador VIATRA.
historial de versiones
- Versión N/A publicado en 2004-10-08
Varias correcciones y actualizaciones - Versión N/A publicado en 2004-10-08
Detalles del programa
- Categoría: Red e Internet > Otro
- Editor: gmfe.sf.net
- Licencia: Gratis
- Precio: N/A
- Versión: Array
- Plataforma: windows