1 Result(s)

Article

A method of refinement in UML-B

UML-B is a ‘UML-like’ graphical front-end for Event-B that provides support for object-oriented and state machine modelling concepts, which are not available in Event-B. In particular, UML-B includes class dia...

Mar Yah Said, Michael Butler, Colin Snook in Software & Systems Modeling (2015)