Download Latest Version
ac.ddorf.refactory_feature_1.4.0.202502270902.jar (12.5 kB)
Get an email when there's a new version of RODIN
| Name | Modified | Size | Downloads / Week |
|---|---|---|---|
| Parent folder | |||
| ch.ethz.eventb.decomposition_feature_1.2.7.v20140804.jar | 2014-08-04 | 14.6 kB | |
| ch.ethz.eventb.decomposition_1.2.8.jar | 2014-08-04 | 502.4 kB | |
| ch.ethz.eventb.decomposition.core_1.2.7.jar | 2014-08-04 | 81.3 kB | |
| ch.ethz.eventb.decomposition.ui_1.2.7.jar | 2014-08-04 | 187.0 kB | |
| Totals: 4 Items | 785.3 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
