Rodin tool
The Rodin tool is a tool for formal modelling in Event-B. Event-B is a notation and method developed from the B-Method and is intended to be used with an incremental style of modelling. The idea of incremental modelling has been taken from programming: modern programming languages come with integrated development environment that make it easy to modify and improve programs. The Rodin tool provides such an environment for Event-B.The two main characteristics of the Rodin tool are its ease of use and its extensibility.The tool focuses on modelling. It is easy to modify models and try out variations of a model. The tool can also be extended easily. This makes it possible to adapt the tool to specific needs, so the tool can be adapted to fit into existing development processes instead of deman
primaryTopic
Rodin tool
The Rodin tool is a tool for formal modelling in Event-B. Event-B is a notation and method developed from the B-Method and is intended to be used with an incremental style of modelling. The idea of incremental modelling has been taken from programming: modern programming languages come with integrated development environment that make it easy to modify and improve programs. The Rodin tool provides such an environment for Event-B.The two main characteristics of the Rodin tool are its ease of use and its extensibility.The tool focuses on modelling. It is easy to modify models and try out variations of a model. The tool can also be extended easily. This makes it possible to adapt the tool to specific needs, so the tool can be adapted to fit into existing development processes instead of deman
has abstract
The Rodin tool is a tool for f ...... (PM)
* Propagation of changes
@en
Link from a Wikipage to an external page
Wikipage page ID
30,581,229
Wikipage revision ID
733,367,673
type
comment
The Rodin tool is a tool for f ...... ent processes instead of deman
@en
label
Rodin tool
@en