An enhanced UML consistency checker using logical approach

QR Code

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/ http://eprints.uthm.edu.my/2012/1/24p%20NORAINI%20IBRAHIM.pdf http://eprints.uthm.edu.my/2012/2/NORAINI%20IBRAHIM%20COPYRIGHT%20DECLARATION.pdf http://eprints.uthm.edu.my/2012/3/NORAINI%20IBRAHIM%20WATERMARK.pdf

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)

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

A review of semantic similarity approach for multiple ontologies
by: Omar, Nurul Aswa, et al.
Published: (2018)

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

Flu diagnosis system using jaccard index and rough set approaches
by: Efend, Riswan, et al.
Published: (2018)

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)

Mathematical approach for serving nutritious menu for secondary school student using “delete-reshuffle-reoptimize algorithm”
by: M. Sudin, Azila, et al.
Published: (2017)

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

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

An enhanced dynamic replica creation and eviction mechanism in data grid federation environment
by: Argungu, Musa Sule
Published: (2018)

Web-Based English Language Proficiency Evaluation System for UUM
by: Ghlaio, Ahmed Ibrahim
Published: (2010)

SQL-Injection Vulnerability Scanner Using Automatic Creation of SQL-Injection Attacks (MySqlinjector)
by: Shakhatreh, Ala' Yaseen Ibrahim
Published: (2010)

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

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

A Goal and Ontology Based Approach for Generating ETL Process Specifications
by: Azman, Ta'a
Published: (2012)

Resolving Ambiguity in Entity and Fact Extraction Through a Hybrid Approach
by: Al Fawareh, Hejab Ma'azer Khaled
Published: (2010)

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

Integrated smoothed location model and data reduction approaches for multi variables classification
by: Hashibah, Hamid
Published: (2014)

An optimized attack tree model for security test case planning and generation
by: Omotunde, Habeeb, et al.
Published: (2018)

A visualization approach to analyse android smartphone data
by: Roslee, Nurul Adhlina Hani, et al.
Published: (2018)

Human machine interface design analysis of defect detection prototype by wonderware intouch software
by: Tatang, Mulyana, et al.
Published: (2019)

Fractional electro-magneto transport of blood modeled with magnetic particles in cylindrical tube without singular kernel
by: Uddin, S., et al.
Published: (2020)

An Ontology And Constraint-Based Approach For Dynamic Personalised Planning In Healthcare[QA75].
by: Mahiddin, Normadiah
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)

Hybrid ACO and SVM algorithm for pattern classification
by: Alwan, Hiba Basim
Published: (2013)

Service oriented architecture (SOA) implementation framework for heterogeneous information systems integration
by: Nur Hidayat, Harun
Published: (2013)

Conceptual Model of Digital Storytelling (DST)
by: Tenh, Hock Kuan
Published: (2013)

Query expansion based on explicit-relevant feedback and synonyms for english quran translation information retrieval
by: Yusuf, Nuhu, et al.
Published: (2019)

Real-time simulation and control of spatio-temporal cardiac excitation using an analog-digital hybrid circuit model
by: Mahmud, Farhanahani
Published: (2011)

Binary logistic regression on cafeteria satisfaction services
by: Che Him, Norziha, et al.
Published: (2020)

Time series predictive analysis based on hybridization of meta-heuristic algorithms
by: Mustaffa, Zuriani, et al.
Published: (2018)

Interval type-2 fuzzy automata and Interval type-2 fuzzy grammar
by: Sharan, S., et al.
Published: (2021)

A modified weight optimisation for higher-order neural network in time series prediction
by: Husaini, Noor Aida
Published: (2020)

Developing a hybrid hidden MARKOV model using fusion of ARMA model and artificial neural network for crude oil price forecasting
by: Isah, Nuhu
Published: (2020)

An improved directed random walk framework for cancer classification using gene expression data
by: Seah, Choon Sen
Published: (2020)

A new multiperspective framework for standardization and benchmarking of image dehazing algorithms
by: Abdulkareem, Karrar Hameed
Published: (2021)

Interval type‑2 fuzzy aggregation operator in decision making and its application
by: Lathamaheswari, M., et al.
Published: (2021)