maude development tools

We have hosted the application maude development tools in order to run this application in our online workstations with Wine or directly.

Quick description about maude development tools:

The Maude Development Tools are a set of plugins that embed the maude interpreter (http: //maude.cs.uiuc.edu) in Eclipse. It provides a core plugin, which allows to any Java program to use Maude, and a set of plugins which provide an Eclipse-based IDE.

Audience: Developers, Education, End Users/Desktop, Science/Research.
User interface: Eclipse.
Programming Language: Java.

.