A methodology to support UML-B model development

QR Code

A methodology to support UML-B model development

UML-B is a graphical front-end for the formal method Event-B. UML-B models are translated to Event-B for verification purpose. Modelling and proving become difficult for complex models with many state variables and transitions. Reducing modelling and proving effort is potential for UML-B models....

Full description

Bibliographic Details
Main Author:	Jasser, Muhammed Basheer
Format:	Thesis
Language:	English
Published:	2018
Subjects:	UML (Computer science) Decomposition method
Online Access:	http://psasir.upm.edu.my/id/eprint/68808/ http://psasir.upm.edu.my/id/eprint/68808/7/FSKTM%202018%2019%20IR%20edit.pdf

Similar Items

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

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

A conceptual framework of collaborative problem solving during software development activities / Siti Esmalina Mat
by: Mat, Siti Esmalina
Published: (2004)

XML views, part III: An UML based design methodology for XML views
by: Chang, Elizabeth, et al.
Published: (2005)

Research study on virtual agent technology / Khairul Izadieffendie Borhan
by: Borhan, Khairul Izadieffendie
Published: (2004)

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

Enhancement Of Join Point Designation Diagrams (Jpdds) With Procedural Logic And Timing Constraint For Aspect-Oriented Modeling
by: Zarrin, Bahram
Published: (2010)

DYNASTAT: A Methodology for Dynamic and Static Modeling of Multi-agent Systems
by: Dillon, Darshan, et al.
Published: (2010)

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

Modeling the human centered design through HCI capability / Rogayah Abdul Majid
by: Abdul Majid, Rogayah
Published: (2016)

Attendence monitoring system via RFID / Zainirah Abdul Manan
by: Abdul Manan, Zainirah
Published: (2007)

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

Decomposition of Empty Fruit Bunch and its Interaction with Inorganic N and K Fertilisers in Oil Palm
by: Lim, Kim Chiew
Published: (1998)

Attribute Set Weighting and Decomposition Approaches for Reduct Computation
by: Al-Radaideh, Qasem Ahmad
Published: (2005)

An empirical study of input methods deployed during treatment session in a clinical system / Fakhrul Hazman Yusoff, Norlis Othman and Abidah Hj. Mat Taib
by: Yusoff, Fakhrul Hazman, et al.
Published: (2003)

Developing web for learning object oriented programming (OOP) using videos / Farah Syazwani Roslan
by: Roslan, Farah Syazwani Roslan
Published: (2020)

Descriptor Based QoS Profile in XML
by: Poon, P., et al.
Published: (2005)

Towards developing a risk charter for software development projects / Noor Habibah Arshad
by: Arshad, Noor Habibah
Published: (2001)

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

A method of refinement in UML-B
by: Said, Mar Yah @ Mek Yah, et al.
Published: (2015)

A Model-Based Soft Errors Risks Minimization Approach
by: Sadi, M., et al.
Published: (2009)

Query expansion and layers filtration in tourist spatial information retrieval / Rosilawati Zainol
by: Zainol, Rosilawati
Published: (2010)

Pharmacies agent system using rule-based / Faraizura Razali
by: Razali, Faraizura
Published: (2004)

Domain decomposition preconditioners for discontinuous Galerkin methods for elliptic problems on complicated domains
by: Antonietti, Paola F., et al.
Published: (2014)

User practice of iStudent portal password policy / Normalina Ibrahim @ Mat Nor
by: Ibrahim @ Mat Nor, Normalina
Published: (2015)

Thermal stability of Li2B12H12 and its role in the decomposition of LiBH4
by: Pitt, Mark, et al.
Published: (2013)

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

Chemical markers of decomposition for forensic science
by: Swann, Lisa
Published: (2011)

Plastic optical fiber couplers for portable optical access-card system / Abang Annuar Ehsan
by: Ehsan, Abang Annuar
Published: (2010)

Use and modeling of multi-agent systems in medicine
by: Hadzic, Maja, et al.
Published: (2009)

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

Analytical separations of mammalian decomposition products for forensic science: A review
by: Swann, Lisa, et al.
Published: (2010)

Modeling of technical management information system with UML and implementation using the combination of PHP and MYSQL
by: Nik Mahamood, Nik Maria
Published: (2003)

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

Untangling galaxy components: the kinematics and stellar populations of bulges and disks
by: Tabor, Martha
Published: (2019)

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

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

Automated model-based test case generation using UML activity diagram
by: Monim, Md Abdul
Published: (2018)

Online updating Bsc thesis abstract / Kamariah Kamal
by: Kamariah, Kamal
Published: (2004)

Numerical solutions of linear and nonlinear higher-order boundary value problems by differential transformation method and Adomian decomposition method
by: Che Hussin, Che Haziqah
Published: (2011)