A methodology to support UML-B model development

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....

Saved in:

书目详细资料
主要作者:	Jasser, Muhammed Basheer
格式:	Thesis
语言:	English
出版:	2018
主题:	UML (Computer science) Decomposition method
在线阅读:	http://psasir.upm.edu.my/id/eprint/68808/1/FSKTM%202018%2019%20IR.pdf
标签:	添加标签没有标签, 成为第一个标记此记录!

相似书籍

Decomposition methodologies in the statistical modelling of industrial energy consumption /
由: Liu, Xuanqing
出版: (1994)

A reverse engineering UML modelling tool /
由: Sarojini Devi Nagappan
出版: (2008)

Improving consistency of UML and its implementation using reverse engineering approach
由: Kaliappan, Vasanthi
出版: (2018)

A case tool for UML via meta-modeling approach /
由: Rosnafisah Sulaiman
出版: (1999)

Detecting HCI design patterns using UML class diagrams /
由: Aminzadeh, Nazanin
出版: (2010)

A visual composition tool for UML components /
由: Alavijeh, Elham Ebrahimi
出版: (2010)

Synthesis of hydroxyapatite from fish bone (Scomber scombrus) using thermal decomposition method /
由: Suguna Jeganathan
出版: (2018)

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

Biochemical, microbiological and engineering studies of a two phase anaerobic digestion system /
由: Visvanathan, Paneerselvam
出版: (1989)

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

Attribute Set Weighting and Decomposition Approaches for Reduct Computation
由: Al-Radaideh, Qasem Ahmad
出版: (2005)

Solutions to mathematical model of tumour growth via adomian decomposition and homotophy perturbation methods /
由: Norhasimah Mahiddin
出版: (2013)

Plastic optical fiber couplers for portable optical access-card system / Abang Annuar Ehsan
由: Ehsan, Abang Annuar
出版: (2010)

A web-based system grab tutor management system with SMS notification / Zatil Syamimi Mohd Zamri
由: Mohd Zamri, Zatil Syamimi
出版: (2020)

Acquiring development work-products for object-oriented application development /
由: Faridah Hani Mohamed Salleh
出版: (2005)

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

Development of interfacing program using LabVIEW software / Mohd Husni On
由: On, Mohd Husni
出版: (2005)

Pemodelan sistem legasi kepada sistem berasaskan Web menggunakan UML
由: Abdul Rasid Mamat

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

Designing a mobile attendance application prototype for KPM Indera Mahkota / Syahid Ali
由: Ali, Syahid
出版: (2014)

Computer Repair Management System (CRMS) / Wan Aida Natasya Wan Zain
由: Wan Zain, Wan Aida Natasya
出版: (2018)

Information System for Siswa-siswi Pertahanan Awam / Muhammad Salihin Abdul Karim
由: Abdul Karim, Muhammad Salihin
出版: (2018)

Hostel Management Information System (E-HoMIS) / Norsyahirah Rosli
由: Rosli, Norsyahirah
出版: (2018)

Pucuk Rebung Catering Online Booking System (PRCOBS) / Ashiqin Nur Sarudin
由: Sarudin, Ashiqin Nur
出版: (2017)

Decomposition of vector-valued set functions /
由: Poh, Ah Hai
出版: (1979)

Research study on virtual agent technology / Khairul Izadieffendie Borhan
由: Borhan, Khairul Izadieffendie
出版: (2004)

Investigating the relationship between socio-technical congruence and software quality in software engineering project / Anjila J. Suali
由: Suali, Anjila J.
出版: (2021)

Creating database for thesis abstract in information retrieval / Razidi Abu
由: Abu, Razidi
出版: (2002)

Online PC Monkey Store (e-PcMS) / Faziatulakma Ishak
由: Ishak, Faziatulakma
出版: (2016)

Teoh Poh Wah Enterprise Ecommerce System (e-TPWE) / Nur Salehah Nabila Ishak
由: Ishak, Nur Salehah Nabila
出版: (2017)

Synthetic environment for forward scattering radar software development / Siti Mas Hidayu Ab Gapor
由: Ab Gapor, Siti Mas Hidayu
出版: (2015)

Online updating Bsc thesis abstract / Kamariah Kamal
由: Kamariah, Kamal
出版: (2004)

Development of MyBina mobile: a case study at Focus Jadeline Sdn. Bhd. / Edwin Jonis
由: Jonis, Edwin
出版: (2015)

Applying rapid application development method in developing graduate internship management system (GIMS) / Syakirah Mohd Salleh
由: Mohd Salleh, Syakirah
出版: (2012)

Perubahan biokimia semasa perkembangan dan pemasakan buah kelapa sawit (Elaeis guineensis)
由: Karuppannan, Ilango
出版: (1987)

Designing and developing user cataloguing system for AMDAC using hybrid focus+context and overview+detail approach / Nor Farhana Fadzil
由: Fadzil, Nor Farhana
出版: (2014)

The development of a streaming log analysis and reporting tools / Mohamed Fazli Mohamed Zini
由: Mohamed Zini, Mohamed Fazli
出版: (2008)

Critic-based and collaborative approach for UML class diagram
由: Abdulkareem, Soran Mahmood
出版: (2015)

Modeling the human centered design through HCI capability / Rogayah Abdul Majid
由: Abdul Majid, Rogayah
出版: (2016)

A case study on planning poker activity: problems and factors of failure to deliver / Fariza Ahmad Fauzi
由: Ahmad Fauzi, Fariza
出版: (2014)

Services hosted by the Perpustakaan Sultan Abdul Samad, Universiti Putra Malaysia with Cooperation MySyL Group