Il General Modeling Framework for Eclipse (GMF/E) è un framework utilizzabile dagli ingegneri linguistici e in generale da chiunque voglia sviluppare nuovi metodi di verifica formale e testarli utilizzando il simulatore VIATRA.
cronologia delle versioni
- Versione N/A pubblicato il 2004-10-08
Diverse correzioni e aggiornamenti - Versione N/A pubblicato il 2004-10-08
Dettagli del programma
- Categoria: Rete & Internet > Altro
- Editore: gmfe.sf.net
- Licenza: Gratuito
- Prezzo: N/A
- Versione: Array
- Piattaforma: windows