276 search results - page 2 / 56 » Decomposition tool for event-B |
ASM
2008
ASM
13 years 7 months ago
2008
ASM
UML-B provides a graphical front end for Event-B. It adds support for class-oriented and state machine modelling. UML-B is similar to UML but has its own meta-model. UML-B provides...
ASM
2008
ASM
13 years 7 months ago
2008
ASM
The transition from classical B [2] to the Event-B language and method [3] has seen the removal of some forms of model structuring and composition, with the intention of reinventin...
STTT
2010
13 years 3 months ago
2010
Event-B is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a modelling notation, the use of ent to represent systems a...
FAC
2008
13 years 5 months ago
2008
A development of the Mondex system was undertaken using Event-B and its associated proof tools. mental approach was used whereby the refinement between the abstract specification o...
TASE
2008
IEEE
13 years 5 months ago
2008
IEEE
Situated Multi-Agents Systems (MAS), and other Agentbased systems, are often complex. Formal reasoning is needed to ensuring their correctness and structuring their development. E...