開發者 mdt.sf.net

Maude 開發工具是一元件外掛程式，在 Eclipse 中嵌入了毛HTTP：//maude.cs.uiuc.edu（或） 。它提供了一個核心外掛程式，它允許任何Java程式使用Maude，以及一組外掛程式，提供基於Eclipse的 IDE