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 | |||
| 1.3.1 | 2017-07-04 | ||
| 1.3.0 | 2014-11-25 | ||
| 1.2.7 | 2014-08-04 | ||
| 1.2.6 | 2013-02-15 | ||
| 1.2.5 | 2012-12-11 | ||
| 1.2.4 | 2012-08-16 | ||
| 1.2.3 | 2012-06-22 | ||
| 1.2.2 | 2011-07-04 | ||
| 1.2.1 | 2011-06-29 | ||
| 1.2.0 | 2011-02-11 | ||
| 1.1.1 | 2010-11-25 | ||
| 1.1.0 | 2010-11-08 | ||
| 1.0.2 | 2010-07-06 | ||
| 1.0.1 | 2010-03-01 | ||
| 1.0.0 | 2010-02-16 | ||
| readme.txt | 2017-07-04 | 448 Bytes | |
| Totals: 16 Items | 448 Bytes | 33 | |
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