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.3.0.v20141125.jar | 2014-11-25 | 14.7 kB | |
| ch.ethz.eventb.decomposition.core_1.3.0.jar | 2014-11-25 | 81.8 kB | |
| ch.ethz.eventb.decomposition.ui_1.3.0.jar | 2014-11-25 | 187.2 kB | |
| ch.ethz.eventb.decomposition_1.3.0.jar | 2014-11-25 | 504.1 kB | |
| Totals: 4 Items | 787.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
