Le Cadre général de modélisation d’Eclipse (GMF/E) est un cadre utilisable par les ingénieurs linguistiques et généralement toute personne qui souhaite développer de nouvelles méthodes de vérification formelles et les tester à l’aide du simulateur VIATRA.
historique de la version
- Version N/A posté sur 2004-10-08
Plusieurs correctifs et mises à jour - Version N/A posté sur 2004-10-08
Détails du programme
- Catégorie: Réseau & Internet > Autres
- Éditeur: gmfe.sf.net
- Licence: Gratuit
- Prix: N/A
- Version: Array
- Plate-forme: windows