RODIN 0.8.2

Company: rodin-b-sharp.sourceforge.net

Date Added: May 10, 2013 | Visits: 361

Report Broken Link
Printer Friendly Version

Product Homepage
Download (50 downloads)

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 proof to verify consistency between refinement levels.The Rodin Platform is an Eclipse-based IDE for Event-B that provides effective support for refinement and mathematical proof. The platform is open source, contributes to the Eclipse framework and is further extendable with plugins.

Requirements: No special requirements

Platforms: Windows, Mac, *nix, Mac OSX, Linux, Java , BSD Solaris

Keyword: Development, Development Tool, Eclipse Plugin, System, System Level Modelling, Tool

Users rating: 0/10

License: Freeware

USER REVIEWS

More Reviews or Write Review

RODIN RELATED

Code Management Tools - CodeSugar Eclipse Plugin 1.3.0 CodeSugar Eclipse Plugin is an Eclipse plugin that can generate methods such as equals(), clone(), toString(), and hashCode() for Java classes. Whats New in This Release: - This release includes many feature enhancements in generated code, as...	71.68 KB
Libraries - Generic Eclipse Modeling System 1.0 The Generic Eclipse Modeling System is an MDD tool for Eclipse that allows for the rapid development of GEF modeling plugins. In GEMS, developers specify rules for a domain language using a metamodel and the tool generates a plugin for the...	707.03 KB
Programming - Ruby Development Tool 1.0 The Ruby Development Tool is a Ruby IDE, composed of Ruby aware features/plugins for the Eclipse platform.	10.3 MB
Programming - External diff Tool (Eclipse Plugin) 0.1.1 External diff Tool is an Eclipse plugin that allows the launch of an external diff tool for file compares rather than the default built-in Eclipse diff tool. This plugin doesn't replace the built-in Eclipse tool. It only adds a new menu item to...	57.3 KB
Programming - My RSE Extensions - Eclipse Plugin 1.0.2.201002161638 This Eclipse plugin adds some features to the Remote System Explorer, allowing the user to: 1) Open a file by providing a file path. 2) Save the paths of the selected files/directories to the clipboard. 3) Backup/restore a file/directory.	12.75 KB
Programming - JavaCC Eclipse Plugin 1.0 The JavaCC Eclipse Plugin provides a JavaCC editor and builder which processes .jj, .jjt & .jtb files and integrates with Eclipse's incremental build system. Compatible with Eclipse 3.6.0 and Java 1.6. Also adds a new version of JTB (1.4.6).	1.75 MB
Programming - C4J Eclipse Plugin 0.1.1 This project aims at developing an Eclipse plugin for the Design by Contract library provided by the c4j project. It helps Eclipse developers to maintain their contracts together with their Java classes.	299.42 KB
Programming - CppChecker Eclipse Plugin 1.0 A simple Eclipse plugin to check C/C++ Files for correct syntax. It is intended as an addition - not replacement - for the CDT project. It offers improved marking of errors and warnings. Update-Site is: http://www.jaylib.org/eclipse/plugins/CppChecke	85.97 KB
Programming - Eclipse plugin for JBurg 0.01 Eclipse plugin for JBurga Bottom-Up Rewrite Machine Generator for Java.	49.22 KB
Programming - MouseFeed Eclipse Plugin. Learn keyboard 1.0.0 MouseFeed Eclipse plugin. Helps to remember keyboard shortcuts. Shows a popup with the keyboard shortcut for the actions called with a mouse click.	251 KB

NEW DOWNLOADS IN SCRIPTS, DEVELOPMENT TOOLS

Scripts - Free Ecommerce website creator 1.2 Free Ecommerce website creator is a free PHP shop creating script. This allows you to put a online shop on your own website. Create your own free ecommerce website for Your Business. Create an online shop using easyGUI online shop creator. The...	1.44 KB
Scripts - MochiGames PHP Script ZDR 1.00 MochiGames PHP Script ZDR is web site, ready for use, for flash games. These flash games are downloaded automatically by "MochiGames PHP Script ZDR" from MochiGames media. The use of the games is free, you can use your own Mochi Publisher ID and...	368.54 KB
Scripts - Php Chat 2.0 Add a free php site, single sign-on and multiple skins, 100% free 1. Server Modes: The chat server has paid mode and free mode. If the free chat mode, a free chat room will be assigned to your website with your domain as the room name. 2....	938.87 KB
Scripts - Nibbleblog 3.0.1 Nibbleblog it's a powerful engine for creation and manipulation of BLOG's completely free. Very simple to install and configure (Only 1 step). The database used is based on XML files and this way it is not necessary to use MySQL or similar DBMS....	371.09 KB
Scripts - PHP File Manager \| CloudOsys 2.9b8 CloudOsys is a PHP file manager, a tool that allows your visitors upload files such as media content directly to your website. Your visitors will upload files directly to your website, where they can share and comment on them. Through cloud...	1.41 MB
Development Tools - Aml2CHM 3.50 Those who use the popular Aml Pages text editor might be looking out for a way of generating help files from their text and notes. Aml2CHM is a plug-in that was developed to offer people a quick and efficient way of converting Aml Pages documents...	549.99 KB
Development Tools - VMP Viewer 1.0 This is a very rudimentary tool to visualize the VMP files generated by BrainVoyager. Useful to share files with people who do not have BV.	10 KB
Development Tools - 7-Zip for Script 4.42 7-Zip is a file archiver with a high compression ratio.Features:- High compression ratio in new 7z format with LZMA compression- Supported formats:- Packing / unpacking: 7z, ZIP, GZIP, BZIP2 and TAR- Unpacking only: RAR, CAB, ISO, ARJ, LZH, CHM,...	624.64 KB
Development Tools - PHP Docbook Displayer for Scripts 1.0b PHP Docbook Displayer provides XSL and CSS stylesheets, and PHP scripts, to generate easily and dynamically websites from Docbook files.It aims at simplifying to the max the web publication process : simply drop the docbook file under the site root !	102.4 KB
Development Tools - WP Translate 1.0 This simple language translation plugin allows your users to quickly translate your webpages, through a widget on your blog.You have the option to select the title of the Widget, which will be displayed above the language translation form. Users...	10 KB

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