Difference between pages "Rodin Platform Releases" and "Rodin Plug-ins"

From Event-B
(Difference between pages)
Jump to navigationJump to search
imported>Pascal
 
imported>Mathieu
m (Robot: Changing Category:User Documentation)
 
Line 1: Line 1:
−
{{TOCright}}
+
== Rodin Plug-in Documentation ==
  
−
== Release Policy ==
+
* [[UML-B]] provides a 'UML-like' graphical front end for Event-B,
−
* The Rodin platform is released every 3 months.
+
* [[B2Latex]] allows to typeset an event-B model with latex,
−
* The code is frozen during the 2 weeks preceding each release.
+
* [[ProB]] is an animator and model checker for the B-Method,
−
* Each release is announced on the [[Mailing_lists | Devel]] mailing list. Two days later, the information is broadcast on the [[Mailing_lists | Announce]] and [[Mailing_lists | User]] mailing lists.
+
* [[AnimB]] is an animator for the Rodin platform,
−
* The [http://wiki.eclipse.org/index.php/Version_Numbering Eclipse versioning policy] is enforced.
+
* [[ReqsManagement]] offer supports for requirements management.
−
* The optional plug-ins shall strive to meet the release date: the release will not be held back.
 
−
* The news related to the optional plug-ins are spread on the [[Mailing_lists | Announce]] and [[Mailing_lists | User]] mailing lists.
 
−
* A wiki page is dedicated to each release. Select a version from the lists below to see the corresponding release notes.
 
−
* The maintainers of the optional plug-ins shall update the ''External Plug-ins'' section of the release notes (plug-in version, link to the plug-in documentation) once they have ensured the compatibility of their plug-ins with the Rodin platform.
 
  
−
== Upcoming Releases ==
+
== Rodin Plug-in Tutorials ==
 +
* [[Requirements Tutorial]],
 +
* [[AnimB Flash Tutorial|Flash Animation Tutorial]] with animB and Adobe CS3.
  
−
{{SimpleHeader}}
+
== Tips & Tricks ==
−
|-
 
−
! scope=col | Version || Scheduled Release Date
 
−
|-
 
−
|[[Rodin Platform 2.1 Release Notes|2.1]] || 2011/01/28
 
−
|}
 
  
−
== Previous Releases ==
+
* [[Installing external plug-ins manually]]
  
−
{{SimpleHeader}}
+
[[Category:User documentation]]
−
|-
+
[[Category:Plugin]]
−
! scope=col | Version || Release Date
 
−
|-
 
−
|[https://sourceforge.net/projects/rodin-b-sharp/files/Core_%20Rodin%20Platform/1.0/ 1.0] || 2009/07/01
 
−
|-
 
−
|[[Rodin Platform 1.1 Release Notes|1.1]] || 2009/10/15
 
−
|-
 
−
|[[Rodin Platform 1.2 Release Notes|1.2]] || 2010/02/05
 
−
|-
 
−
|[[Rodin Platform 1.3 Release Notes|1.3]] || 2010/05/05
 
−
|-
 
−
|[[Rodin Platform 1.3.1 Release Notes|1.3.1]] || 2010/06/15
 
−
|-
 
−
|[[Rodin Platform 2.0 Release Notes|2.0]] || 2010/10/08
 
−
|}
 
−
 
 
−
[[Category:Rodin Platform Release Notes]]
 
−
[[Category:Rodin Platform]]
 
−
[[Category:Release Notes]]
 

Revision as of 20:30, 10 September 2008

Rodin Plug-in Documentation

  • UML-B provides a 'UML-like' graphical front end for Event-B,
  • B2Latex allows to typeset an event-B model with latex,
  • ProB is an animator and model checker for the B-Method,
  • AnimB is an animator for the Rodin platform,
  • ReqsManagement offer supports for requirements management.

Rodin Plug-in Tutorials

Tips & Tricks

Retrieved from ‘https://wiki.event-b.org/index.php?title=Rodin_Platform_Releases&oldid=8324’