Download Latest Version ac.ddorf.refactory_feature_1.4.0.202502270902.jar (12.5 kB)
Email in envelope

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

Home / Plugin_Decomposition / 1.2.0
Name Modified Size InfoDownloads / Week
Parent folder
ch.ethz.eventb.decomposition_1.2.0.jar 2011-02-11 492.6 kB
0
ch.ethz.eventb.decomposition.ui_1.2.0.jar 2011-02-11 179.0 kB
0
ch.ethz.eventb.decomposition.core_1.2.0.jar 2011-02-11 64.8 kB
0
ch.ethz.eventb.decomposition_feature_1.2.0.jar 2011-02-11 14.4 kB
0
ch.ethz.eventb.decomposition.1.2.0.zip 2011-02-11 2.1 MB
0
Totals: 5 Items   2.9 MB 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