Overture: Formal Modelling in VDM Icon

Overture: Formal Modelling in VDM

5.0 Stars (2)
4 Downloads (This Week)
Last Update:
Download vdmj-1.0.0-jar-with-dependencies.jar
Browse All Files

Screenshots

Description

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.

Please note: code development has moved to GitHub; you can find us at https://github.com/overturetool/overture
and bug reporting is at
https://github.com/overturetool/overture/issues

Overture: Formal Modelling in VDM Web Site

Categories

Design

Update Notifications





User Ratings

★★★★★
★★★★
★★★
★★
2
0
0
0
0
ease 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5
features 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5
design 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5
support 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5
Write a Review

User Reviews

  • oid-3872764
    1 of 5 2 of 5 3 of 5 4 of 5 5 of 5

    At my work we are using Overture as the primary tool for our development in formal methods and doing system modelling. Overture is a very stable and mature platform, and have with the exception of intellisense, the feature set that we expect from a modern IDE.

    Posted 06/07/2012
  • baragoz12
    1 of 5 2 of 5 3 of 5 4 of 5 5 of 5

    Gorgeous Do the job!

    Posted 12/15/2011
Read more reviews

Additional Project Details

Registered

2005-06-13
Screenshots can attract more users to your project.
Features can attract more users to your project.

Icons must be PNG, GIF, or JPEG and less than 1 MiB in size. They will be displayed as 48x48 images.