Overture: Formal Modelling in VDM 1.0

Company: overturetool.org

Date Added: June 08, 2012 | Visits: 454

Report Broken Link
Printer Friendly Version

Product Homepage
Download (54 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...
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 - 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
Development Tools - MATLAB in Physics - Data Analysis 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 fit experimental data such as that obtained in undergraduate physics experiments. Non-linear...	266.24 KB
Education - Point Charge Forces in 1D Model 1.0 The Point Charge Forces in One-Dimension model investigates the electric force that one charged particle exerts on another. It is a very simple representation that promotes understanding of Coulomb's Law in three ways: First, students can set the...	1.37 MB
Backup Utilities - Keep In Reserve 3.1 Keep in reserve is a powerful and reliable backup tool with a built-in scheduler. The program feature is a task manager, which allows you automate your backups by scheduling them at given dates and times. The interface is intuitive and vivid, that...	734 KB
Visual Basic Utilities - Visual Open Project Add-In 1.01 This program quickly and conveniently will allow You to work with a collection of Your VB projects. With the help of the given program you easily can organize access to most frequently projects used by You. And also, it is possible quickly to see...	593 KB

NEW DOWNLOADS IN MACINTOSH SOFTWARE, PROGRAMMING

Macintosh Software - EasyEDA PCB Designer for MacOS 2.0.0 EasyEDA, a great web based EDA(Electronics Design Automation) tool, online PCB tool, online PCB software for electronics engineers, educators, students, makers and enthusiasts. Theres no need to install any software. Just open EasyEDA in any...	34.4 MB
Macintosh Software - VideoSolo Video to GIF Converter (Mac) 1.0.12 How to make a GIF? VideoSolo Free Video to GIF Converter for Mac supports all popular video files including MP4, AVI, MOV, WMV, FLV, M4V, etc. You can easily turn MP4/AVI/MOV/WMV/FLV/M4V to GIF animation on Mac and share your GIFs with your...	46.51 MB
Macintosh Software - VideoSolo Free Video Converter (Mac) 1.0.18 VideoSolo Free Video Converter for Mac is a fast, powerful and easy-to-master video converter. Its main purpose is to convert video files from one format into another. It is able to convert video and audio files in 300+ formats on Mac for totally...	75.29 MB
Macintosh Software - ManyCam for Mac 6 ManyCam is a free Webcam software and a screen recorder for anyone to use. Several feature enhancements are included within ManyCam to produce a professional quality live video production. It can connect a desktop, smartphone, tablet and live...	90.49 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
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

Windows Software	BeOS Software
Macintosh Software	Linux Software
PDA Software	OS/2 Software
Mobile Software	Scripts