Maude 开发工具是一组插件,在 Eclipse 中嵌入了毛http://maude.cs.uiuc.edu(或) 。它提供了一个核心插件,它允许任何Java程序使用Maude,以及一组插件,提供基于Eclipse的 IDE
版本历史记录
- 版本 files 发布于 2010-10-27
若干修复和更新 - 版本 N/A 发布于 2010-10-27
软件信息
- 软件分类: 发展 > 其他
- 发布者: mdt.sf.net
- 许可: 免费
- 价格: N/A
- 版本: Array
- 适用平台: windows