General Modeling Framework for Eclipse

Лицензии: Бесплатный ‎Размер файла: N/A
‎Рейтинг пользователей: 3.0/5 - ‎1 ‎Голосов

О General Modeling Framework for Eclipse

Общая модельная основа для Eclipse (GMF/E) — это рамки, используемые языковыми инженерами и, как правило, всем, кто хочет разработать новые формальные методы проверки и протестировать их с помощью тренажера VIATRA.