Submit Software
  1. Home
  2. Windows
  3. Other
  4. Maude MSOS Tool

Maude MSOS Tool

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

Maude MSOS Tool is a formal environment for the specification of Modular Structural Operational Semantics specifications. It is particularly useful for the formal specification of programming languages and concurrent systems.

VERSION HISTORY

  • Version N/A posted on 2011-08-12
    Several fixes and updates
  • Version N/A posted on 2011-08-12

Program Details

Related Programs

  • Intuitive Neural Network Free

    Intuitive Neural Network is a software concieved for CAE (Computer Aided Education) purposes in Artificial Intelligence.

  • Digital Camera EXIF Backup Free

    Simple EXIF backup Java application that reads the date taken tag from an image and clones the file to a target location using a predefined date pattern directory structure.

  • TUPA - The Ultimate PowerDNS Admin Free

    TUPA is a webbased PowerDNS administration frontend programed in PHP / Javascript(AJAX) / MySQL.Supports creating of groups, users and templates.

  • Surfraw - Shell Revolutionary Front Free

    Surfraw - Shell Users' Revolutionary Front Rage Against the Web. Surfraw provides a fast unix command line interface to a variety of popular WWW search engines and other artifacts of power. Forsake GUI idolatry! Aposate retur

  • Cybios Digital Community Free

    Cybios is an online Game-Cybercommunity based on Avatars that interacts in virtual cities. As an Avatar you can live, work and play in The Digital-community like the RealWorld. In Cybios all could happen. (find friends, fight

  • OWLmt Free

    OWLmt is an ontology mapping tool based on Web Ontology Language(OWL) specifications. It provides a graphical user interface to define the mappings between two ontology schemas. It provides an engine in order to achieve seman

  • Maven Wiki Plugin Free

    The Maven Wiki Plugin retrieves documentation from different Wikis Systems and creates XDoc files for further processing by other Maven plugins such as the PDF plugin or the XDoc plugin.

  • Input Abstraction Layer Free

    Input Abstraction Layer (IAL) is a project which makes special keys (e.g. multimedia keys, function keys found on notebooks) "just work". IAL provides a daemon which can enhanced by modules. These modules are sendin

  • iChooChoo Free

    iChooChoo is a Java-based networked train simulator, complete with sound and animations. Create custom track layouts, and even have trains visit other computers! Modular programming design. Runs on and interoperates with W

  • Commons for Java 5 Free

    A solution for common problems in java using the new language features such as annotations generics autoboxing varargs...