A method of refinement in UML-B

QR Code

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

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/ http://psasir.upm.edu.my/id/eprint/43510/1/A%20method%20of%20refinement%20in%20UML.pdf

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)

Application of social media among medical practitioner for sharing tacit knowledge: a pilot study
by: Amidi, Asra, et al.
Published: (2017)

The Evolution of UML
by: Platt, R., et al.
Published: (2015)

A Survey of UML Tools
by: Weng, Jie Thong, et al.
Published: (2015)

The Past, Present, and Future of UML
by: Platt, R., et al.
Published: (2018)

Modeling input validation in UML
by: Hayati, P., et al.
Published: (2008)

Subdivision Or Refinement B-Spline Curves And Surfaces
by: Kang , Yun Pyng
Published: (2005)

Subdivision Or Refinement B-Spline Curves And Surfaces
by: Kang , Yun Pyng
Published: (2005)

B-splines for initial and boundary value problems
by: Goh, Joan Yah Ru
Published: (2013)

The UML model for parser in program understanding system.
by: Rosidi, Norazimah, et al.
Published: (2011)

Using UML to model presentational of web application.
by: Ahmad Sharif, Mohd. Nazir, et al.
Published: (2002)

Extending UML with non-functional requirements modelling
by: Krishna, Aneesh, et al.
Published: (2011)

Critic-based and collaborative approach for UML class diagram
by: Abdulkareem, Soran Mahmood
Published: (2015)

Mapping from OCL/UML metamodel to PVS metamodel
by: L.A., Rahim
Published: (2008)

Development of online application for Muslim traveler with UML diagram
by: Gunawan, Teddy Surya, et al.
Published: (2011)

Test case generator based on UML activity diagram
by: Loh, Kha Bee
Published: (2014)

An enhanced UML consistency checker using logical approach
by: Ibrahim, Noraini
Published: (2013)

Development of run-time UML for JAVA programming language
by: Mohd Nor, Sulaiman, et al.
Published: (2000)

An extension of UML modeling for web hypermedia design: a case study
by: Jantan, Azrul Hazri
Published: (2012)

Architecture and UML Models of Mobile Learning Application for Course Content
by: Hashim, Ahmad Sobri, et al.
Published: (2010)

UML stereotypes for the development of process interaction-driven web applications
by: Mubin, Siti Azreena, et al.
Published: (2016)

Software Requirement Analysis and Design: Object-oriented approach with UML
by: Abd Ghani, M. K., et al.
Published: (2011)

Modeling views in the layered view model for XML using UML
by: Chang, Elizabeth, et al.
Published: (2006)

Using UML 2.1 to model multi-agent systems
by: Dillon, Darshan, et al.
Published: (2008)

Simulation of LM6 alloy with Ti-B refinement in squeeze casting process
by: Mona Kiaee,
Published: (2015)

Class diagram critic: a design critic tool for UML class diagram
by: Abdulkareem, Soran Mahmood, et al.
Published: (2017)

A UML extension for web design model for interaction process and user interface
by: Mubin, Siti Azreena
Published: (2017)

Capturing Requirement Specification for Safety-critical System using SOFL and UML
by: Azma, Abdullah, et al.
Published: (2015)

UML-based behavior specification of interactive multimedia applications / Johann Ashaary
by: Ashaary, Johann
Published: (2004)

An automated test case generating tool using UML activity diagram
by: Nor, Rozi Nor Haizan, et al.
Published: (2018)

Improving consistency of UML and its implementation using reverse engineering approach
by: Kaliappan, Vasanthi
Published: (2018)

Formalization of versioning rules for XML schema using UML class diagram
by: Aman, Hananni, et al.
Published: (2017)

Rescaling constraints, BRST methods, and refined algebraic quantisation
by: Martínez Pascual, Eric
Published: (2012)

A case tool for UML via meta-modeling approach / Rosnafisah binti Sulaiman.
by: Sulaiman, Rosnafisah
Published: (1999)

A process oriented approach to model non-functional requirements proposition extending UML
by: Krishna, Aneesh
Published: (2011)

A transformation-based approach to testing concurrent programs using UML activity diagrams
by: Sun, Chang-ai, et al.
Published: (2016)