Home / Plugin_Decomposition
Name Modified Size Downloads / Week Status
Parent folder
1.3.1 2017-07-04 22 weekly downloads
1.3.0 2014-11-25 22 weekly downloads
1.2.7 2014-08-04 0
1.2.6 2013-02-15 0
1.2.5 2012-12-11 0
1.2.4 2012-08-16 11 weekly downloads
1.2.3 2012-06-22 0
1.2.2 2011-07-04 33 weekly downloads
1.2.1 2011-06-29 0
1.2.0 2011-02-11 0
1.1.1 2010-11-25 0
1.1.0 2010-11-08 0
1.0.2 2010-07-06 0
1.0.1 2010-03-01 0
1.0.0 2010-02-16 0
readme.txt 2017-07-04 448 Bytes 0
Totals: 16 Items   448 Bytes 8
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

Thanks for helping keep SourceForge clean.

Screenshot instructions:
Windows
Mac
Red Hat Linux   Ubuntu

Click URL instructions:
Right-click on ad, choose "Copy Link", then paste here →
(This may not be possible with some types of ads)

More information about our ad policies
X

Briefly describe the problem (required):

Upload screenshot of ad (required):
Select a file, or drag & drop file here.

Please provide the ad click URL, if possible:

Get latest updates about Open Source Projects, Conferences and News.

No, thanks