Program menurut mdt.sf.net
-
Maude Development Tools Gratis
Alat Pengembangan Maude adalah satu set plugin yang menanamkan juru bahasa maude (http://maude.cs.uiuc.edu) di Eclipse. Ini menyediakan plugin inti, yang memungkinkan program Java untuk menggunakan Maude, dan satu set plugin