Tarafından Programlar mdt.sf.net

Maude Geliştirme Araçları Eclipse maude tercüman (http://maude.cs.uiuc.edu) gömmek eklentileri kümesidir. Herhangi bir Java programı Maude kullanmak için izin veren bir çekirdek eklentisi sağlar ve eclipse tabanlı IDE sağlaya