De Maude Development Tools zijn een set plugins die de maude interpreter (http://maude.cs.uiuc.edu) insluiten in Eclipse. Het biedt een kern plugin, die het mogelijk maakt om een Java-programma om Maude te gebruiken, en een set van plugins die een Eclipse-gebaseerde IDE bieden
versiegeschiedenis
- Versie files geplaatst op 2010-10-27
Verschillende oplossingen en updates - Versie N/A geplaatst op 2010-10-27
Programmadetails
- Categorie: Ontwikkeling > Andere
- Publisher: mdt.sf.net
- Licentie: Gratis
- Prijs: N/A
- Versie: Array
- Platform: windows