Verifying the correctness of UML statechart outpatient clinic based on common modeling language and SMV

Verifying the correctness of UML statechart outpatient clinic based on common modeling language and SMV

Unified-modelling language (UML) is a standard general purpose modelling language, which is widely, used in system design of banking, biological, plantation and healthcare. Recently, there are many systems of healthcare are modeled using behavioral diagram such as UML statechart for design purposes....

Full description

Bibliographic Details
Main Authors:	Abdul Samat, Pathiah, Azwarrudin, Muhammad Amsyar, Mohd Ali, Norhayati, Admodisastro, Novia Indriaty
Format:	Article
Published:	Universiti Tun Hussein Onn Malaysia 2021

Similar Items

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

Kloning gen coat protein smv dengan pendekatan pcr: (Cloning of the coat protein gene of smv with the pcr approach )
by: Perpustakaan UGM, i-lib
Published: (1996)

SMV Tengku Ampuan Afzan johan reka cipta
by: UMP, LIB
Published: (2010)

Common modeling language for model checkers
by: Abdul Samad, Pathiah, et al.
Published: (2012)

Clinic management system : outpatient management system
by: Nurzety Aqtar, Ahmad Azuan
Published: (2005)

Capacity planning with demand uncertainty for outpatient clinics
by: Nguyen, Thu Ba T., et al.
Published: (2019)

Capacity planning with demand uncertainty for outpatient clinics
by: Nguyen, Thu Ba T., et al.
Published: (2019)

Kajian molekuler Soybean mosaic virus (SMV) isolat Jawa Timur
by: , Wuye Ria Andayanie
Published: (2009)

VST-Floyd: A Separation Logic Tool to Verify Correctness of C Programs
by: Cao, Qinxiang, et al.
Published: (2021)

iXML: a process-pluggable ADL for supporting architectural analysis in component-based systems
by: Admodisastro, Novia Indriaty, et al.
Published: (2012)

Usability requirements for architectural analysis tool to support CBD
by: Admodisastro, Novia Indriaty, et al.
Published: (2011)

A code generator tool for the gamma design patterns
by: Admodisastro, Novia Indriaty, et al.
Published: (2002)

iXML : a process-pluggable ADL for supporting architectural analysis in component-based systems.
by: Admodisastro, Novia Indriaty, et al.

An architecture analysis approach for supporting black-box software development.
by: Admodisastro, Novia Indriaty, et al.
Published: (2011)

Modelling, analysis, and optimization in resource planning for outpatient clinics
by: Nguyen Thi Thu Ba
Published: (2015)

Predicting and understanding no-show behaviour in specialist outpatient clinics
by: Cheng, Jacintha Kei Kee
Published: (2015)

An educational software design critiquing tool to support software design course
by: Mohd Ali, Norhayati, et al.
Published: (2013)

Compliance to antihypertensive therapies among outpatients in a hypertension clinic
by: Chua, Siew Siang, et al.
Published: (2002)

Design and grouping of specialist outpatient clinics in the restructured hospital context
by: Ngu Wah Aung
Published: (2010)

Ergonomic improvements in the working environment of Singaporean Ophthalmologists in the outpatient clinics
by: Lin, Dianxiang.
Published: (2013)

Study of indirect waiting time for a specialist outpatient clinic
by: Chia, Deon Mun Hin
Published: (2019)

Inconsistency detection of model and code via critic-based approach
by: Mohammed, Osman, et al.
Published: (2017)

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

Pengaruh serangan Soybean Mosaic Virus (SMV) terhadap hasil dan mutu benih kedelai
by: , RAHAJU, Mudji, et al.
Published: (1989)

Development of orthopaedic outpatient clinic scheduling information system for performance improvement
by: Pah , Pin Shang
Published: (2014)

Use of simulation in solving outpatient clinic problems: a review of the literature
by: Tang, Sai Hong, et al.
Published: (2013)

Developing a simulation model for patient flow in specialized outpatient clinics
by: Tay, Hui Yi
Published: (2015)

A network flow approach for tactical resource planning in outpatient clinics
by: Nguyen, Thu Ba T., et al.
Published: (2017)

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

UML for robotics mission control
by: Shivaraman Arunkumar
Published: (2015)

Analisis klon gena coat protein (cp) dari soybean mosaic virus (smv) isolat Yogyakarta
by: , MUNAWARTI, Aminatun, et al.
Published: (1997)

Anthropometry and dietary intake of type 2 diabetes patients attending an outpatient clinic
by: Moy, Foong Ming, et al.
Published: (2002)

Barriers to mammography among women attending gynecologic outpatient clinics in Tehran, Iran
by: Ahmadian, Maryam, et al.
Published: (2011)

A dynamic reconfiguration model of web services in service-oriented architecture
by: Ilahi, Rahmat, et al.
Published: (2017)

Dynamic service adaptation framework for context aware Mobile Cloud Learning using semantic-based approach
by: Muhammad, Muhamad Sufri, et al.
Published: (2018)

When Is an Election Verifiable?
by: Rivest, Ronald L, et al.
Published: (2020)

Verifiably Secure Devices
by: Lepinski, Matt, et al.
Published: (2007)

A Verified Compiler for a Functional Tensor Language
by: Liu, Amanda, et al.
Published: (2024)

Computerizing UML: a protean saga
by: Khoo, S.M.
Published: (1991)

Knowledge modelling using the UML profile
by: Abdullah, Mohd Syazwan, et al.
Published: (2006)