Cover Image

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 diagram and state-machine diagram editors with automatic generation of corresponding Event-B....

Full description

Saved in:
Bibliographic Details
Main Authors: Said, Mar Yah @ Mek Yah, Butler, Micheal, Snook, Colin
Format: Article
Language:English
Published: Springer-Verlag Berlin Heidelberg 2015
Online Access:http://psasir.upm.edu.my/id/eprint/43510/1/A%20method%20of%20refinement%20in%20UML.pdf
http://psasir.upm.edu.my/id/eprint/43510/
http://link.springer.com/article/10.1007/s10270-013-0391-z
Tags: Add Tag
No Tags, Be the first to tag this record!

Internet

http://psasir.upm.edu.my/id/eprint/43510/1/A%20method%20of%20refinement%20in%20UML.pdf
http://psasir.upm.edu.my/id/eprint/43510/
http://link.springer.com/article/10.1007/s10270-013-0391-z

Similar Items