Maude Development Tools

Licence: Gratuit ‎Taille du fichier: N/A
‎Note des utilisateurs: 3.0/5 - ‎1 ‎Votes

Sur Maude Development Tools

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