General Modeling Framework for Eclipse

许可: 免费 ‎文件大小: N/A
‎用户评分: 3.0/5 - ‎1 ‎评分

关于 General Modeling Framework for Eclipse

Eclipse 的通用建模框架 (GMF/E) 是一个框架,可用于语言工程师和一般任何想要开发新的正式验证方法,并使用 VIATRA 模拟器进行测试的人。