开发者 mdt.sf.net
-
Maude Development Tools 免费
Maude 开发工具是一组插件,在 Eclipse 中嵌入了毛http://maude.cs.uiuc.edu(或) 。它提供了一个核心插件,它允许任何Java程序使用Maude,以及一组插件,提供基于Eclipse的 IDE
Maude 开发工具是一组插件,在 Eclipse 中嵌入了毛http://maude.cs.uiuc.edu(或) 。它提供了一个核心插件,它允许任何Java程序使用Maude,以及一组插件,提供基于Eclipse的 IDE