Les outils de développement Maude sont un ensemble de plugins qui intégrient l’interprète maude (http://maude.cs.uiuc.edu) dans Eclipse. Il fournit un plugin de base, qui permet à n’importe quel programme Java d’utiliser Maude, et un ensemble de plugins qui fournissent un IDE basé sur Eclipse
historique de la version
- Version files posté sur 2010-10-27
Plusieurs correctifs et mises à jour - Version N/A posté sur 2010-10-27
Détails du programme
- Catégorie: Développement > Autres
- Éditeur: mdt.sf.net
- Licence: Gratuit
- Prix: N/A
- Version: Array
- Plate-forme: windows