Download Shareware and Freeware Software for Windows, Linux, Macintosh, PDA

line Home  |  About Us  |  Link To Us  |  FAQ  |  Contact

Serving Software Downloads in 976 Categories, Downloaded 29.875.586 Times

Overture: Formal Modelling in VDM 1.0

Company: overturetool.org
Date Added: June 08, 2012  |  Visits: 272

Overture: Formal Modelling in VDM

Report Broken Link
Printer Friendly Version


Product Homepage
Download (30 downloads)



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.

Requirements: No special requirements
Release Date: June 08, 2012
Platforms: Windows, Mac, Linux
Users rating: 0/10

License: Freeware Size: 3.16 MB
USER REVIEWS
More Reviews or Write Review


OVERTURE: FORMAL MODELLING IN VDM RELATED
Development Editors  -  StochPy 1.0.3.1 Beta
StochPy (Stochastic modelling in Python) is an easy-to-use package, which provides several stochastic simulation algorithms (SSAs), which can be used to simulate biochemical systems in a stochastic manner. Further, several unique and easy-to-use...
 
Development Editors  -  StochPy for Mac OS X 1.0.3.1 Beta
StochPy (Stochastic modelling in Python) is an easy-to-use package, which provides several stochastic simulation algorithms (SSAs), which can be used to simulate biochemical systems in a stochastic manner. Further, several unique and easy-to-use...
 
Development Editors  -  StochPy for Linux 1.0.3.1 Beta
StochPy (Stochastic modelling in Python) is an easy-to-use package, which provides several stochastic simulation algorithms (SSAs), which can be used to simulate biochemical systems in a stochastic manner. Further, several unique and easy-to-use...
 
Entertainment  -  Cheongsam Free 1.0
Cheongsam()---makes a woman's life alegend Ever heard anything of cheongsam? Maybe you have been greatly bewitchered by it when watching the movie In The Mood For Love! And maybe you have already owned an elegant cheongsam in your...
9.9 MB  
Libraries  -  Ruby-BDD 0.2
Ruby-BDD is a BDD Binding for Ruby. BDDs [bry86,and97] (or more precisely ROBDDs) are efficient data structures for representing boolean formula. They are widely used in formal verification, in particular symbolic model-checking. The idea of...
37.89 KB  
Teaching Tools  -  Dancing bug 1
News, feature articles and reviews, lessons, and questions answered. A musical keyboard is the set of adjacent depressible levers or keys on a musical instrument, particularly the piano. . Music lessons are a type of formal instruction in playing...
163.84 KB  
Development Tools  -  SGALAB 1003 Beta 5.0.0.8( Matrix Varaible Inputs ) 1.0
SGALAB 1003 Beta 5.0.0.8( Matrix Varaible Inputs )1) N points crossover and mutation2) tournament selection is ACTIVE now3) Accept matrix variable inputs, see files with key word "_MATRIX_"e.g. AX = B , A is 1000*30 matrix, fitness =...
17.05 MB  
Development Tools  -  RODIN 0.8.2
Event-B is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a modelling notation, the use of refinement to represent systems at different abstraction levels and the use of mathematical...
 
Libraries  -  VDMJ 2.0.1
VDMJ provides basic tool support for the VDM-SL, VDM++ and VDM-RT specification languages, written in Java. It includes a parser, a type checker, an interpreter, a debugger and a proof obligation generator. It is used by the Overture eclipse project.
1.13 MB  
Development Tools  -  Screenshot MATLAB in Physics - Symbolic Computation and Differential Equations 1.0
MATLAB in Physics is a four lecture series in MATLAB that is offered to first year physics undergraduate students. This lecture shows how to use MATLAB to simulate physical systems using a range of methods. Projectile motion is analysed using the...
143.36 KB  
NEW DOWNLOADS IN MACINTOSH SOFTWARE, PROGRAMMING
Macintosh Software  -  MacX Free DVD to MP4 Converter for Mac 4.2.3
MacX Free DVD to MP4 Converter for Mac is an innovative yet free DVD to MP4 ripper software for Mac users without any functional limitation or watermark. It is able to convert DVDs including copy protected DVD movies to MP4, FLV, MP3 music on Mac...
36.23 MB  
Macintosh Software  -  MacX Free Rip DVD to QuickTime for Mac 4.1.9
MacX Free Rip DVD to QuickTime for Mac is totally free yet versatile DVD to QuickTime ripper software for Mac users to free rip both normal and copy-protected DVDs to QuickTime MOV, MP4 on Mac with excellent image quality. Besides the powerful...
36.3 MB  
Macintosh Software  -  MacX QuickTime Video Converter Free 4.1.9
MacX QuickTime Video Converter Free Edition is the best program designed for Mac users to free convert almost all HD videos and SD videos to QuickTime accepted formats on Mac with first rate quality.The input file formats covered by this powerful...
23.11 MB  
Macintosh Software  -  MacX Free Apple TV Video Converter 4.1.9
MacX Free Apple TV Video Converter is a 100% free video to Apple TV converter software which enables you to free convert most popular videos like AVCHD, MKV, M2TS, AVI, MPEG, WMV, FLV etc to Apple TV compatible format like MP4 format on Mac OS. In...
22.89 MB  
Macintosh Software  -  MacX Free DVD to PSP Converter for Mac 4.1.7
Looking for a solution to convert DVD to PSP for free? MacX Free DVD to PSP Converter for Mac is a 100% free DVD to PSP converter software which can assist you convert any DVD including copy protected DVDs to PSP supported MP4, H.264/MPEG-4 AVC...
36.26 MB  
Programming  -  MacX Free iMovie Video Converter 4.1.8
MacX Free iMovie Video Converter is a professional free iMovie video converter for Mac that can convert any SD and HD videos such as M2TS, MKV, AVI, WMV, FLV, VOB, 3GP and more to iMovie accepted video formats MOV & MP4 for importing to iMovie...
22.92 MB  
Programming  -  SwapList 0.1 Alpha
Java list implementation that swaps list items to a disk file in order to avoid out-of-memory error.
10.24 KB  
Programming  -  Mano 1.05 Beta
Mano is a makeFile navigator containing a tree grouping the targets.
20.48 KB  
Programming  -  Workhorse 1.2
Workhorse automates tedious file transfer and deletion tasks. Just tell it when or how often you want it to run, fill in the details, and let it do it's job! Do you know Applescript? Use Workhorse to run your scripts at a given time or interval....
225.28 KB  
Programming  -  PLT Scheme (formerly DrScheme) Darwin (PPC) 4.2
PLT Scheme is an interactive, integrated, graphical programming environment for the Scheme, MzScheme, and MrEd programming languages. PLT Scheme provides source highlighting for syntax and run-time errors, support for multiple language...
38.27 MB