An enhanced UML consistency checker using logical approach

In developing an information system, software specification is one of the common activities to any system development methodologies. A software model is among the ways to specify software functionalities and constraints. It is constructed as a way to understand the software prior to actually buil...

Full description

Bibliographic Details
Main Author:	Ibrahim, Noraini
Format:	Thesis
Language:	English English English
Published:	2013
Subjects:	QA71-90 Instruments and machines QA75-76.95 Calculating machines
Online Access:	http://eprints.uthm.edu.my/2012/
Abstract	Abstract here

Similar Items

Substitution-based approach for linguistic steganography using antonym
by: Mansor, Fawwaz Zamir
Published: (2017)

The implementation of persuasive technology principles in mobile application development: a qualitative study
by: Shafin, Noor Afifah
Published: (2017)

A functional link neural network with modified cuckoo search for prediction tasks
by: Abu Bakar, Siti Zulaikha
Published: (2017)

An ensemble data summarization approach based on feature transformation to learning relational data
by: Chung, Seng Kheau
Published: (2015)

An Ontology And Constraint-Based Approach For Dynamic Personalised Planning In Healthcare[QA75].
by: Mahiddin, Normadiah
Published: (2009)

Underwater Image Enhancement Using Integrated Contrast Correction And White Balance Methods.
by: Iqbal, Kashif
Published: (2009)

Enhanced software product line (ENSPL) for industrial test applications[QA75].
by: Ngo, Yu Cheng
Published: (2009)

An Efficiency Analysis Of Seaports Using Extended Window Analysis,Malmquist Index And Simar-Wilson Approach [QA75].
by: Al-Eraqi, Ahmed Salem Naser
Published: (2009)

An evidence-based cloud incident handling framework
by: Ab Rahman, Nurul Hidayah
Published: (2016)

An improvement of back propagation algorithm using halley third order optimisation method for classification problems
by: Abdul Hamid, Norhamreeza
Published: (2020)

Pengaplikasian perisian pengajaran dan pembelajaran berbantukan komputer bagi pembelajaran kosa kata murid bermasalah pendengaran
by: Lajiwin Kudun@Jovinia
Published: (2008)

Mobile-augmented reality framework for student self-centred learning in higher learning education
by: Aaron frederick Bulagang
Published: (2018)

A standard Kansei-based web design for Malaysian higher learning institutions
by: Punitha Turumugon
Published: (2018)

Improved adaptive semi-unsupervised weighted oversampling (IA-SUWO) using sparsity factor for imbalanced datasets
by: Ali, Haseeb
Published: (2019)

An improved Pi-Sigma neural network using error feedback for time series prediction
by: Akram, Urooj
Published: (2018)

Mathematical analysis of fractional-order chemostat model with time delay
by: Mohd Aris, Nor Afiqah
Published: (2021)

Missing tags detection algorithm for radio frequency identification (RFID) data stream
by: Zainudin, Nur 'Aifaa
Published: (2019)

Comparison study on sorting techniques in static data structure
by: Naser Frak, Anwar
Published: (2016)

A dual-watermarking with QR code against cropping and resizing attack
by: Lau, Wei Khang
Published: (2016)

Comparison study of sorting techniques in dynamic data structure
by: Abbas, Zeyad Adnan
Published: (2016)

Forecasting of rainfall using statistical downscaling model (SDSM) – general circulation model (GCM) for future estimation of rainwater harvesting
by: Ahmad Tarmizi, ‘Aainaa Hatin
Published: (2020)

Modelling traceability of KTMB train passenger
by: Hashim, Abdul Hadi
Published: (2015)

The Impact Of User’s Satisfaction Enablers On Net Benefits Of Human Resource Management Information System (Hrmis) In The Malaysian Public Organizations
by: Sappri, Mazlan Mohd
Published: (2017)

Domain-independent Bayesian Model For Aspect Category Detection And Distributed Vector For Implicit Aspect Extraction
by: Abbas, Al Janabi Omar Mustafa
Published: (2021)

Cost effectiveness analysis of erythropoietin therapy in the ministry of health dialysis programme
by: Md. Yusof, Faridah Aryani
Published: (2006)

Compression Of 2-Tone Manuscript For Multimedia Application [QA76.9.D33 B171 2008 f rb].
by: Subramanian, Balakrishnan
Published: (2008)

Data Mining For Robust Tests Of Spread [QA76.9.D343 T26 2008 f rb].
by: Teh, Sin Yin
Published: (2008)

Modelling And Simulation Of Movements And Behaviours In Large Crowd Using Cellular Automata.
by: Siamak Sarmady, Siamak Sarmady
Published: (2008)

Real Time Multiple Codecs Switching Architecture For Video Conferencing.
by: Sarwar, Usman
Published: (2008)

Optimizing Crowd Evacuation In The Emergency Route Planning Problem
by: Khalid, Mohd Nor Akmal
Published: (2015)

Wonders.Net Online Shopping Platform: Adopting Online Shopping In Malaysia & Introducing A New Method Of Payment Gateway
by: Tan , Bo
Published: (2009)

Hybrid Of Optimized Random Forest And Extreme Gradient Boosting For Online Learning Style Classification
by: Shamsudin, Haziqah
Published: (2019)

Conceptual and Logical Model for Vehicle Insurance Management System: Case Study at Insurance Company, Libya
by: Yousif, Ramdan S.M.A.
Published: (2010)

Conceptual and Logical Model Hire Purchase Management System for Boon Motor Enterprise (K) Sdn Bhd
by: Ang, Moon Thiak
Published: (2009)

Layered Security Approach for Mobile Computing
by: Abiodun, Bakare Mustapha
Published: (2011)

FBGA-based implementation of electronic abacus using altera DE2 board
by: Sidek, Azmi
Published: (2017)

Requirement Model for Circular Document Management System (CDMS)
by: Noraini, Omar
Published: (2005)

Ecotourism of Perlis State Park in Panoramic View Approach for Interactive Navigation
by: Nur Rahmah, Zulkifli
Published: (2005)

An Enhanced Distribution Transforming Encoder (Dte) Of The Honey Encryption Scheme For Reinforcing Text-Based Encryption
by: Omolara, Abiodun Esther
Published: (2020)

Graphic Animation in Turbo C++ : An Application to a Computer Game
by: Haslinda, Ibrahim
Published: (1996)