An enhanced UML consistency checker using logical approach

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

Saved in:

書目詳細資料
主要作者:	Ibrahim, Noraini
格式:	Thesis
語言:	English English English
出版:	2013
主題:	QA71-90 Instruments and machines QA75-76.95 Calculating machines
在線閱讀:	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
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!

相似書籍

Substitution-based approach for linguistic steganography using antonym
由: Mansor, Fawwaz Zamir
出版: (2017)

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

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

Unusual Activities Classification In Video Using Deep Learning Approach
由: Tay, Nian Chi
出版: (2020)

Underwater Image Enhancement Using Integrated Contrast Correction And White Balance Methods.
由: Iqbal, Kashif
出版: (2009)

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

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

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

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

Real Time Multiple Codecs Switching Architecture For Video Conferencing.
由: Sarwar, Usman
出版: (2008)

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

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

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

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

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

Optimizing Crowd Evacuation In The Emergency Route Planning Problem
由: Khalid, Mohd Nor Akmal
出版: (2015)

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

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

Modelling traceability of KTMB train passenger
由: Hashim, Abdul Hadi
出版: (2015)

An evidence-based cloud incident handling framework
由: Ab Rahman, Nurul Hidayah
出版: (2016)

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

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

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

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

Comparison study on sorting techniques in static data structure
由: Naser Frak, Anwar
出版: (2016)

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

Comparison study of sorting techniques in dynamic data structure
由: Abbas, Zeyad Adnan
出版: (2016)

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

Cost-sensitive ensemble decision tree algorithms for customer churn analysis
由: Wong, Keng Tuck
出版: (2020)

Domain data-driven veracity engine
由: Tan, De Zhern
出版: (2020)

Hybrid-based labeling scheme for mapping extensible markup language (XML) to relational database
由: Tengku Mohd Amin, Tengku Aisyah Asyikin
出版: (2020)

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

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

A standard Kansei-based web design for Malaysian higher learning institutions
由: Punitha Turumugon
出版: (2018)

FBGA-based implementation of electronic abacus using altera DE2 board
由: Sidek, Azmi
出版: (2017)

A comparative analysis of data redundancy and execution time between relational and object oriented schema table
由: Alakari, Salim Tahir
出版: (2014)

Design study of hybrid excitation flux switching motor for electric vehicles
由: Said, Salmiza
出版: (2014)

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

Classification of electroencephalogram (EEG) for lower limb movement of post stroke patients using artificial neural network (ANN)
由: A. Rahman, Khairul Azlan
出版: (2020)

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

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