Eclipse 的通用建模框架 (GMF/E) 是一个框架,可用于语言工程师和一般任何想要开发新的正式验证方法,并使用 VIATRA 模拟器进行测试的人。
版本历史记录
- 版本 N/A 发布于 2004-10-08
若干修复和更新 - 版本 N/A 发布于 2004-10-08
软件信息
- 软件分类: 网络与互联网 > 其他
- 发布者: gmfe.sf.net
- 许可: 免费
- 价格: N/A
- 版本: Array
- 适用平台: windows
Eclipse 的通用建模框架 (GMF/E) 是一个框架,可用于语言工程师和一般任何想要开发新的正式验证方法,并使用 VIATRA 模拟器进行测试的人。