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....
Saved in:
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!
|
Similar Items
-
A survey on refinement in formal methods and software engineering
by: Said, Mar Yah @ Mek Yah, et al.
Published: (2019) -
Usability testing on government agencies web portal: a study on Ministry of Education Malaysia (MOE) web portal
by: Nali @ Rozali, Norhaliza, et al.
Published: (2015) -
Crowdtesting intermediary tool for managing public service software project
by: Mustapha, Mohd Syahmi, et al.
Published: (2019) -
A methodology to support UML-B model development
by: Jasser, Muhammed Basheer
Published: (2018) -
Specification of vertical semantic consistency rules of UML class diagram refinement using logical approach
by: Nuraini Abdulganiyyi, Nuraini
Published: (2014)