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.1
Name Modified Size InfoDownloads / Week
Parent folder
ch.ethz.eventb.decomposition_1.2.1.jar 2011-06-29 493.2 kB
0
ch.ethz.eventb.decomposition.core_1.2.1.jar 2011-06-29 64.8 kB
1 1 weekly downloads
ch.ethz.eventb.decomposition_feature_1.2.1.jar 2011-06-29 14.4 kB
0
ch.ethz.eventb.decomposition_1.2.1..zip 2011-06-29 2.1 MB
0
Totals: 4 Items   2.7 MB 1 
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