Specification of vertical semantic consistency rules of UML class diagram refinement using logical approach

QR Code

Specification of vertical semantic consistency rules of UML class diagram refinement using logical approach

Unified Modelling Language (UML) is the most popular modelling language use for software design in software development industries with a class diagram being the most frequently use diagram. Despite the popularity of UML, it is being affected by inconsistency problems of its diagrams at the sa...

Full description

Bibliographic Details
Main Author:	Nuraini Abdulganiyyi, Nuraini
Format:	Thesis
Language:	English English English
Published:	2014
Subjects:	QA Mathematics QA76 Computer software
Online Access:	http://eprints.uthm.edu.my/1622/ http://eprints.uthm.edu.my/1622/1/24p%20NURAINI%20ABDULGANIYYI.pdf http://eprints.uthm.edu.my/1622/2/NURAINI%20ABDULGANIYYI%20COPYRIGHT%20DECLARATION.pdf http://eprints.uthm.edu.my/1622/3/NURAINI%20ABDULGANIYYI%20WATERMARK.pdf

Similar Items

Consistency rules between UML use case and activity diagrams using logical approach
by: Noraini, Ibrahim, et al.
Published: (2011)

Consistency rules between UML use case and activity diagrams using logical approach
by: Ibrahim, Noraini, et al.
Published: (2011)

An enhanced UML consistency checker using logical approach
by: Ibrahim, Noraini
Published: (2013)

Formalization of versioning rules for XML schema using UML class diagram
by: Aman, Hananni, et al.
Published: (2017)

Critic-based and collaborative approach for UML class diagram
by: Abdulkareem, Soran Mahmood
Published: (2015)

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

Generating UML class diagram from source codes using multi-threading technique
by: Abdullah, Saif Khalid
Published: (2015)

Consistency check between XML schema and class diagram for document versioning
by: Ibrahim, Rosziati, et al.
Published: (2018)

Test case generator based on UML activity diagram
by: Loh, Kha Bee
Published: (2014)

Automated UML class diagram generation from textual requirements using NLP techniques
by: Meng, Yang, et al.
Published: (2024)

A method of refinement in UML-B
by: Said, Mar Yah @ Mek Yah, et al.
Published: (2015)

Improving consistency of UML and its implementation using reverse engineering approach
by: Kaliappan, Vasanthi
Published: (2018)

Development of online application for Muslim traveler with UML diagram
by: Gunawan, Teddy Surya, et al.
Published: (2011)

Capturing Requirement Specification for Safety-critical System using SOFL and UML
by: Azma, Abdullah, et al.
Published: (2015)

Sequence diagram synthesis theory for stitching together multiple sequence diagrams through formal semantics modelling
by: Ameedeen, Mohamed Ariff, et al.

Sequence diagram synthesis theory for stitching together multiple sequence diagrams through formal semantics modelling
by: Ameedeen, Mohamed Ariff
Published: (2010)

A transformation-based approach to testing concurrent programs using UML activity diagrams
by: Sun, Chang-ai, et al.
Published: (2016)

Refinement in integrated specifications of CSP-OZ
by: Azman Bujang, Masli, et al.
Published: (2015)

An automated test case generating tool using UML activity diagram
by: Nor, Rozi Nor Haizan, et al.
Published: (2018)

Logical-linguistic semantic in search engine
by: Tengku Sembok, Tengku Mohd, et al.
Published: (2012)

Logical-linguistic semantic in search engine
by: Tengku Sembok, Tengku Mohd, et al.
Published: (2012)

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

Automated model-based test case generation using UML activity diagram
by: Monim, Md Abdul
Published: (2018)

Formal Semantics of Dynamic Constraints and Derivation Rules in ORM
by: Balsters, Herman, et al.
Published: (2016)

Software Requirement Analysis and Design: Object-oriented approach with UML
by: Abd Ghani, M. K., et al.
Published: (2011)

The Development of the Business Rules Diagram
by: McDermid, Donald
Published: (1998)

Integration of Agent-Oriented Conceptual Models and UML Activity Diagrams Using Effect Annotations
by: Bhuiyan, M., et al.
Published: (2007)

A case tool for UML via meta-modeling approach / Rosnafisah binti Sulaiman.
by: Sulaiman, Rosnafisah
Published: (1999)

Using UML to model presentational of web application.
by: Ahmad Sharif, Mohd. Nazir, et al.
Published: (2002)

Semantic Lexical Alignment For Domain-Specific Ontologies.
by: Abu-Shareha, Ahmad Adel, et al.
Published: (2009)

Automata diagram for finite groups
by: Fong, Wan Heng, et al.
Published: (2013)

Phase diagrams of multicomponent lattice models
by: Ganikhodjaev, Nasir, et al.
Published: (2006)

Refinement of generated weighted fuzzy production rules by using fuzzy neural networks for stock market prediction.
by: Md. Sap, Mohd. Noor, et al.
Published: (2005)

UML-based behavior specification of interactive multimedia applications / Johann Ashaary
by: Ashaary, Johann
Published: (2004)

Mapping from OCL/UML metamodel to PVS metamodel
by: L.A., Rahim
Published: (2008)

Automata diagram for groups
by: Gan, Yee Siang, et al.
Published: (2013)

The Evolution of UML
by: Platt, R., et al.
Published: (2015)

Automated Validation Of Software Product Lines Using First Order Logic Rules
by: Abdelrahman Elfaki, Abdelrahman Osman
Published: (2010)

The expression of meaning as a logical approach in the case of semantic study
by: Yaacob, Solehah@Nik Najah Fadilah
Published: (2011)

A practical and user friendly interface of fuzzy logic rule based system for maintenance policy decision making
by: Hasan Basari, Abd. Samad, et al.
Published: (2008)