RODIN - Browse /Plugin_EventB EMF Support For Diagrams/4.2.0 at SourceForge.net

The interactive file manager requires Javascript. Please enable it or use sftp or scp.
You may still browse the files here.

Name	Modified	Size	InfoDownloads / Week
Parent folder
ac.soton.eventb.emf.diagrams.generator_3.3.0.jar	2014-08-18	48.0 kB	0
readme.txt	2014-08-18	221 Bytes	0
ac.soton.eventb.emf.diagrams.feature_4.2.0.jar	2014-08-18	12.6 kB	0
Totals: 3 Items		60.8 kB	0

4.2.0 - improved generator facilities to support new state-machines generation
  diagrams.generator (3.3.0) - improved removal of elements, add literals of AbstractRule, added utils, facility for rules to remove elements

Source: readme.txt, updated 2014-08-18

Other Useful Business Software

Outbound sales software

Unified cloud-based platform for dialing, emailing, appointment scheduling, lead management and much more.

Adversus is an outbound dialing solution that helps you streamline your call strategies, automate manual processes, and provide valuable insights to improve your outbound workflows and efficiency.

Learn More

Loan management software that makes it easy.

Ideal for lending professionals who are looking for a feature rich loan management system

Bryt Software is ideal for lending professionals who are looking for a feature rich loan management system that is intuitive and easy to use. We are 100% cloud-based, software as a service. We believe in providing our customers with fair and honest pricing. Our monthly fees are based on your number of users and we have a minimal implementation charge.

Learn More

Outbound sales software

Unified cloud-based platform for dialing, emailing, appointment scheduling, lead management and much more.

Adversus is an outbound dialing solution that helps you streamline your call strategies, automate manual processes, and provide valuable insights to improve your outbound workflows and efficiency.

Learn More

Recommended Projects

Lurch
Software for teaching and learning mathematical proofs Where most mathematical proof software concentrates on formal logic (or some other specialty area of mathematics), Lurch aims to be truly general-purpose, with an attracitve user interface.
JGraphT
JGraphT is a free Java class library that provides mathematical graph-theory objects and algorithms. JGraphT supports a rich gallery of graphs and is designed to be powerful, extensible, and easy to use.
Whole Platform
The Whole Platform is a technology for engineering the production of software. We provide an Eclipse based Language Workbench for developing, manipulating and transforming languages using a model driven approach.
GNU Ballistics Library
An optimized C library for numerically solving exterior ballistics problems. It supports standard drag models (Drag Functions G1-G8). The solution method is the common "3 degree of freedom" analysis found in many commercial programs.
Archive of Formal Proofs
A collection of machine-checkend mathematical proofs

RODIN Files

Get an email when there's a new version of RODIN