Submit Software
  1. Home
  2. Windows
  3. Other
  4. Maude Development Tools

Maude Development Tools

License: Free ‎File size: N/A
‎Users Rating: 3.0/5 - ‎1 ‎votes
Download

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

VERSION HISTORY

  • Version files posted on 2010-10-27
    Several fixes and updates
  • Version N/A posted on 2010-10-27

Program Details

Related Programs

  • Electrical LV Calculator Free Trial

    Quick Reference Implementation for the main calculations requested by the Low Voltage Electrotechnical Regulations.Useful tool for surveyors, engineers or electricians.Designed for the calculation of:* The minimum wire UNE 20

  • Ewe Virtual Machine Free

    Mobile Java VM for PocketPC, WindowCE, Linux and Zaurus based portable devices, PDAs and SmartPhones, as well as Desktop Windows and Linux systems.

  • XiT Transformation Engine Free

    [XiT is defunct. All code has moved to XGen] XiT is a framework for managing data transformations. It incorporates a plugable architecture to accomodate different data transformation engines. Modules can be designed to genera

  • Android Taskbar Free

    Android Taskbar is a folder organizer. Organize apps, bookmarks and contacts like PC's start bar.Group apps and contacts and tidy up the messy home screen.Why use a complex home screen launcher to tidy up the home screen? Org

  • portletUnit Free

    PortletUnit is a jUnit Java Unit Testing Framework for testing JSR-168 portlets. It is built on ServletUnit and Pluto. It provides a mock portlet container as ServletUnit provides a mock servlet container.

  • Android Tweaker (PRO) Free Trial

    From the developer of the ROM: Jellybam, we are happy to introduce Android Tweaker!** CHECK OUT THE EVOLUTION OF ANDROID TWEAKER: SEARCH FOR ANDROID SYSTEM FREE AND PRO **** READ BEFORE USE **** The app require root permissio

  • text-analysis Free

    This project aims to implement in java the following text mining techniques: Text Language Detection, Keywords and keyphrases extraction, Text Classification, Text Clustering, Single or multiple documents Summarization, Plagi

  • Tiny Shell Free

    Tiny Shell provides the minimum you need to implement shell facilities into a small system. For instance, add a shell to your embedded platform as soon as you can read/write bytes from the UART.

  • XOof Free

    XOof is a development and XML specification framework for documenting and developing the services layer of enterprise business applications. From the specifications, it generates WSDL, DocBook, client-side and server-side cod

  • Lnu Free

    As a student at Linnaeus University, here's the app for connection to Lnu.se/Student.