I Maude Development Tools sono un insieme di plugin che incorporano l'interprete maude (http://maude.cs.uiuc.edu) in Eclipse. Fornisce un plugin di base, che consente a qualsiasi programma Java di utilizzare Maude, e una serie di plugin che forniscono un IDE basato su Eclipse
cronologia delle versioni
- Versione files pubblicato il 2010-10-27
Diverse correzioni e aggiornamenti - Versione N/A pubblicato il 2010-10-27
Dettagli del programma
- Categoria: Sviluppo > Altro
- Editore: mdt.sf.net
- Licenza: Gratuito
- Prezzo: N/A
- Versione: Array
- Piattaforma: windows