RODIN - Browse /Plugin_Decomposition/1.2.2 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
ch.ethz.eventb.decomposition_1.2.2.zip	2011-07-04	2.1 MB	0
ch.ethz.eventb.decomposition_1.2.2.jar	2011-07-04	493.9 kB	1
ch.ethz.eventb.decomposition_feature_1.2.2.jar	2011-07-04	14.5 kB	20
Totals: 3 Items		2.6 MB	21

The Model Decomposition allows you to decompose a model into sub-models. 
Two styles of decomposition are supported: shared variables and shared events.
It is possible to save the decomposition configuration into a file.
More information can be found at http://wiki.event-b.org/index.php/Decomposition_Plug-in_User_Guide.

Version 1.3.1 - Compatible with Rodin 3.3
Version 1.3.0 - Compatible with Rodin 3.2
Version 1.2.2 - Compatible with Rodin 2.2

Source: readme.txt, updated 2017-07-04

Other Useful Business Software

Project Planning and Management Software | Planview

Connect programs, projects, resources, and financials with business outcomes using portfolio management software from Planview.

Planview® Portfolios enables enterprises to accelerate strategic execution by seamlessly integrating business and technology planning, optimizing resources, and leveraging the power of embedded AI — Planview Anvi™ — to deliver breakthrough products, services, and customer experiences. This unified approach aligns strategy with execution, driving enhanced business performance across the organization.

Learn More

PeerGFS PEER Software - File Sharing and Collaboration

One Solution to Simplify File Management and Orchestration Across Edge, Data Center, and Cloud Storage

PeerGFS is a software-only solution developed to solve file management/file replication challenges in multi-site, multi-platform, and hybrid multi-cloud environments.

Learn More

Project Planning and Management Software | Planview

Connect programs, projects, resources, and financials with business outcomes using portfolio management software from Planview.

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