Rodin Platform 2.0 External Plug-ins: Difference between revisions

From Event-B
Jump to navigationJump to search
← Older editNewer edit →
imported>Colin
imported>Colin
Line 6: Line 6:
| ||[[UML-B|UML-B]] || 2.1.1 || <span style="color:#006400">available</span>|| || ||
| ||[[UML-B|UML-B]] || 2.1.1 || <span style="color:#006400">available</span>|| || ||
|-
|-
| ||[[EMF_framework_for_Event-B|Event-B EMF framework]] || 3.2.1 || <span style="color:#006400">available</span> || || ||You need to add the Helios update site: http://download.eclipse.org/releases/helios/ before installing this plug-in.
| ||[[EMF_framework_for_Event-B|Event-B EMF framework]] || 3.2.1 || <span style="color:#006400">available</span> || || ||
|-
|-
| ||[[Rose_(Structured)_Editor|Rose]] || 1.1.0 || <span style="color:#006400">available</span> || || ||You need to add the Helios update site: http://download.eclipse.org/releases/helios/ before installing this plug-in.
| ||[[Rose_(Structured)_Editor|Rose]] || 1.1.0 || <span style="color:#006400">available</span> || || ||
|-
|-
| ||[[Records|Records]] || 1.0.1 || <span style="color:#006400">available</span> || || ||This release includes EMF and Refactory support for records.<br>You need to add the Helios update site: http://download.eclipse.org/releases/helios/ before installing this plug-in.
| ||[[Records|Records]] || 1.0.1 || <span style="color:#006400">available</span> || || ||This release includes EMF and Refactory support for records.
|-
|-
| ||[[EMF_Compare_Editor_installation|Teamwork]] || 1.1.0 || <span style="color:#006400">available</span> || || ||You need to add the Helios update site: http://download.eclipse.org/releases/helios/ before installing this plug-in.
| ||[[EMF_Compare_Editor_installation|Teamwork]] || 1.1.0 || <span style="color:#006400">available</span> || || ||
|-
|-
| ||[[Parallel_Composition_using_Event-B | Shared Event Composition plug-in]] || 1.2 || <span style="color:#006400">available</span> || || ||
| ||[[Parallel_Composition_using_Event-B | Shared Event Composition plug-in]] || 1.2 || <span style="color:#006400">available</span> || || ||

Revision as of 11:29, 3 December 2010

Rodin Update Site

Plug-in name Version Status Release Date Contact Additional info
UML-B 2.1.1 available
Event-B EMF framework 3.2.1 available
Rose 1.1.0 available
Records 1.0.1 available This release includes EMF and Refactory support for records.
Teamwork 1.1.0 available
Shared Event Composition plug-in 1.2 available
Refactory plug-in 1.0.0 available
Decomposition plug-in 1.1.0 available
Project Diagram ?? available

B Method Update Site

Plug-in name Version Status Release Date Contact Additional info
Atelier-B provers 1.2.0 available

Other Updates Sites

Plug-in name Version Status Release Date Contact Additional info
AnimB 0.2.1 available christope<DOT>metayer<AT>animb<DOT>org Use the update site http://www.animb.org/updatesite
Camille 2.0.1 available Use the ProB update site. You need to add the Helios update site (see Event-B EMF framework 3.2.0)
Modularisation 1.4.2 available Use the update site http://www.iliasov.org/modplugin
Group refinement 0.1.1 available Use the update site http://iliasov.org/refplugin
ProB not available ?? We are actively working on the release.
Retrieved from ‘https://wiki.event-b.org/index.php?title=Rodin_Platform_2.0_External_Plug-ins&oldid=7446’