RODIN - Browse /Plugin_Decomposition/1.1.1 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.1.1.jar	2010-11-25	491.8 kB	0
ch.ethz.eventb.decomposition_feature_1.1.1.jar	2010-11-25	14.3 kB	0
Totals: 2 Items		506.1 kB	0

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

You Might Also Like

Get Advanced Threat Protection for Your Azure Workloads

FortiGate NGFW on Azure Enables You to Protect Your Workloads Beyond Basic Azure Security Services

FortiGate NGFW identifies and stops advanced threats with powerful application control, malware protection, web filtering, antivirus, and IPS technology. As the attack surface expands, FortiGate provides integrated and automated protection against emerging and sophisticated threats while securing hybrid or multi-cloud environments. Deploy today in Azure Marketplace.

Free 30-Day Trial

Red Hat Enterprise Linux on Microsoft Azure

Deploy Red Hat Enterprise Linux on Microsoft Azure for a secure, reliable, and scalable cloud environment, fully integrated with Microsoft services.

Red Hat Enterprise Linux (RHEL) on Microsoft Azure provides a secure, reliable, and flexible foundation for your cloud infrastructure. Red Hat Enterprise Linux on Microsoft Azure is ideal for enterprises seeking to enhance their cloud environment with seamless integration, consistent performance, and comprehensive support.

Learn More

RODIN Files