Submit Software
  1. Home
  2. Windows
  3. Other
  4. Overture: Formal modelling in VDM

Overture: Formal modelling in VDM

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

The Overture project is developing a set of open source Eclipse plug-ins to support the integration of various VDM modelling tools (Vienna Development Method). The aim is to provide support for all existing VDM tools and language dialects.

VERSION HISTORY

  • Version Overture_IDE posted on 2011-02-27
    Several fixes and updates
  • Version N/A posted on 2011-02-27

Program Details

Related Programs

  • Mkulu QA Proxy Free

    Mkulu QA Proxy is used to view the details of HTTP packets. It is a useful tool for web development and testing. Work is ongoing to increase the tool's functionality. The proxy is able to parse the binary AMF protocol used by

  • Illumination Free

    Illumination - a feature-rich, plattform-independent C++ GUI library. Key features: themability, XML surface description support, nifty layouting engine, font-sensitiviness, backends for X11, Windows, Carbon and Curses.

  • HMM Based Chinese Segmentor Free

    This is a project which implements the interface of lucene Analyzer to extend its function of coping with the problem of chinese segmentation based on the statistical model(Hiden Marcov Model)

  • NHibernateIt Free

    NHibernateIt is a NHibernate Session Management Helper and provides basic CRUD actions trough the Repository class. Inspired by the NHibernator Project, on oracleatdotnet.com

  • AstroWeka Free

    AstroWeka is a set of extentions to Weka, a popular data mining program, which which allows it to work directly with astronomical data in the Virtual Observatory.

  • CalFaces Free

    CalFaces (previously jsforganiser) is a collection of JavaServer Faces components for use in web-based PIM applications, providing an Outlook-style calendar with day, workweek, week and month views, as well as a meeting plann

  • Complement Free

    Multiplatform C++ libraries. 1. xmt: Portable programming interface to build MultiThreaded (MT) applications or libraries; 2. sockios: interface to sockets (C++ IO streams); 3. StEM: finite state machine/communication framewo

  • H3xC4T Free

    H3xC4T reads binary files and show hexadecimal content ordered in columns... in the future, I'll add some features as such as plain binary conversion or disassembling...

  • Charset detector Free

    Library for automatic charset detection of a given text or file. Input buffer will be analysed to guess used encoding. The result (charset name or code page id) can be used as control parameter for charset conversation. Make

  • Java Signal/Slot with Annotations Free

    This library is a signal/slot API for Java 5.0 that uses annotations to mark the signals/slots. A subclass containing signal/slot enums, as well as methods to emit the signal to its slots, is generated automatically through a