开发者 mdt.sf.net

Maude 开发工具是一组插件，在 Eclipse 中嵌入了毛http://maude.cs.uiuc.edu（或） 。它提供了一个核心插件，它允许任何Java程序使用Maude，以及一组插件，提供基于Eclipse的 IDE