Difference between revisions of "Rodin Plug-ins"
From Event-B
Jump to navigationJump to searchimported>Mathieu m |
imported>Jastram |
||
Line 1: | Line 1: | ||
== Rodin Plug-in Documentation == | == Rodin Plug-in Documentation == | ||
− | [[UML-B]] | + | * [[UML-B]] |
− | [[B2Latex]] | + | * [[B2Latex]] |
− | [[ProB]] | + | * [[ProB]] |
− | [[AnimB]] | + | * [[AnimB]] |
+ | |||
+ | * [[ReqsManagement]] - Support for Requirements Management | ||
[[Category:User Documentation]] | [[Category:User Documentation]] | ||
[[Category:Plugin]] | [[Category:Plugin]] |
Revision as of 13:28, 18 July 2008
Rodin Plug-in Documentation
- ReqsManagement - Support for Requirements Management