Maude Development Tools

Licenza: Gratuito ‎Dimensioni del file: N/A
‎Valutazione utenti: 3.0/5 - ‎1 ‎Voti

Circa Maude Development Tools

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