Rodin Plug-ins: Difference between revisions

From Event-B
Jump to navigationJump to search
imported>Jastram
No edit summary
imported>Mathieu
m Add some succinct plugion escription
Line 1: Line 1:
== Rodin Plug-in Documentation ==
== Rodin Plug-in Documentation ==


* [[UML-B]]
* [[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.


* [[B2Latex]]
== Rodin Plug-in Tutorials ==
 
* [[Requirements Tutorial]],
* [[ProB]]
* [[AnimB Flash Tutorial|Flash Animation Tutorial]] with animB and Adobe CS3.
 
* [[AnimB]]
 
* [[ReqsManagement]], [[Requirements Tutorial]] - Support for Requirements Management


== Tips & Tricks ==
== Tips & Tricks ==

Revision as of 20:36, 9 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