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.0.0
Name Modified Size InfoDownloads / Week
Parent folder
ch.ethz.eventb.decomposition_1.0.0.201002162048.jar 2010-02-16 283.9 kB
0
ch.ethz.eventb.decomposition_feature_1.0.0.201002162048.jar 2010-02-16 13.9 kB
0
ch.ethz.eventb.decomposition_1.0.0.201002111547.jar 2010-02-11 283.9 kB
0
ch.ethz.eventb.decomposition_feature_1.0.0.201002111547.jar 2010-02-11 13.9 kB
0
ch.ethz.eventb.decomposition-sources_1.0.0.zip 2010-02-11 261.2 kB
0
Totals: 5 Items   856.7 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