プログラム mdt.sf.net

Maude 開発ツールは、Eclipse にモーデインタプリタ (http://maude.cs.uiuc.edu) を埋め込むプラグインのセットです。これは、任意のJavaプログラムがMaudeを使用することを可能にするコアプラグイン、およびEclipseベースのIDEを提供するプラグインのセットを提供します