General Modeling Framework for Eclipse

Licencji: Wolna ‎Rozmiar pliku: N/A
‎Ocena użytkowników: 3.0/5 - ‎1 ‎Głosów

O General Modeling Framework for Eclipse

General Modeling Framework for Eclipse (GMF/E) jest strukturą, z którego korzystają inżynierowie języków i ogólnie każdy, kto chce opracować nowe metody weryfikacji formalnej i przetestować je za pomocą symulatora VIATRA.