Difference between revisions of "UML-B"
From Event-B
Jump to navigationJump to searchimported>Colin |
m (revised to remove old UML-B and link to new website) |
||
| Line 1: | Line 1: | ||
Return to [[Rodin Plug-ins]] | Return to [[Rodin Plug-ins]] | ||
| − | UML-B provides a 'UML-like' graphical front end for Event-B. It provides various diagrammatic modelling notations and editors for creating models which are then translated into Event-B for verification. | + | UML-B provides a 'UML-like' graphical front end for Event-B. It provides various diagrammatic modelling notations and editors for creating models which are then translated into Event-B for verification. [[UML-B]] works alongside Event-B allowing the modeller to model in normal Event-B but also contribute some aspects of the model via diagrams. |
| − | |||
| − | |||
| − | |||
| − | |||
| + | Our [https://www.uml-b.org UML-B] website contains more information about installing UML-B and getting started, as well as our current research and collaborations. | ||
[[Category:User documentation]] | [[Category:User documentation]] | ||
[[Category:UML-B]] | [[Category:UML-B]] | ||
[[Category:Plugin]] | [[Category:Plugin]] | ||
Revision as of 21:46, 30 September 2020
Return to Rodin Plug-ins
UML-B provides a 'UML-like' graphical front end for Event-B. It provides various diagrammatic modelling notations and editors for creating models which are then translated into Event-B for verification. UML-B works alongside Event-B allowing the modeller to model in normal Event-B but also contribute some aspects of the model via diagrams.
Our UML-B website contains more information about installing UML-B and getting started, as well as our current research and collaborations.
