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.4
Name Modified Size InfoDownloads / Week
Parent folder
ch.ethz.eventb.decomposition.ui_1.2.4.jar 2012-08-16 182.4 kB
0
ch.ethz.eventb.decomposition.core_1.2.4.jar 2012-08-16 79.5 kB
0
ch.ethz.eventb.decomposition_1.2.4.jar 2012-08-16 497.1 kB
0
ch.ethz.eventb.decomposition_feature_1.2.4.jar 2012-08-16 14.5 kB
0
Totals: 4 Items   773.4 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