โปรแกรมตาม mdt.sf.net
-
Maude Development Tools ฟรี
เครื่องมือการพัฒนา Maude เป็นชุดของปลั๊กอินที่ฝังล่าม maude (http://maude.cs.uiuc.edu) ใน Eclipse มันมีปลั๊กอินหลักซึ่งช่วยให้โปรแกรม Java ใด ๆ ที่จะใช้ Maude และชุดของปลั๊กอินที่มี IDE ที่ใช้ Eclipse