Programmes par mdt.sf.net

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 Maud