Программы mdt.sf.net

Инструменты разработки Мод — это набор плагинов, которые встраивают в Eclipse http://maude.cs.uiuc.edu моды (http://maude.cs.uiuc.edu). Он обеспечивает основной плагин, который позволяет любой Java-программе использовать Maud