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
License
GNU Library or Lesser General Public License version 2.0 (LGPLv2)Follow Maude Development Tools
You Might Also Like
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of Maude Development Tools!