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)

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

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

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

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

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)

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

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)

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

Phase diagram of the Ising model with next-nearest-neighbour interactions
by: Ganikhodjaev, Nasir, et al.
Published: (2010)

Phase diagrams of a Potts model with competing Binary and ternary interactions
by: Temir, Seyit, et al.
Published: (2010)

Phase diagram and phase transitions of the Potts model with external magnetic field
by: Ganikhodjaev, Nasir, et al.
Published: (2009)

Behavior of the phase diagrams of Potts model on Cayley tree for order three
by: Temir, Seyit, et al.
Published: (2013)

Phase diagram of the Blume-Emery-Griffiths-Vannimenus model on the Cayley tree
by: Ganikhodjaev, Nasir
Published: (2013)

Phase diagrams of a Potts Model with competing binary and ternary interactions
by: Temir, Seyit, et al.
Published: (2010)

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

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

Phase diagram of the Potts Model with competing interactions
by: Ganikhodjaev, Nasir
Published: (2009)

Phase diagram of the Potts Model with competing interactions
by: Ganikhodjaev, Nasir
Published: (2009)

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

Phase diagrams of Potts model with competing binary-ternary-quaternary interactions on Cayley tree
by: Baki, Nurul Farahana Ififi Omar, et al.
Published: (2019)

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 transformation-based approach to testing concurrent programs using UML activity diagrams
by: Sun, Chang-ai, et al.
Published: (2016)

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

Phase diagram of the three states Potts model with next nearest neighbour interactions on the Bethe lattice
by: Ganikhodjaev, Nasir, et al.
Published: (2008)

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)

Wave impact on a vertical baffle
by: Nor Aida Zuraimi, Md Noar, et al.
Published: (2016)

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

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

Phase diagram of the Ising model next-nearest-neighbour interactions
by: Ganikhodjaev, Nasir, et al.
Published: (2010)

Phase diagram of the Ising model with next-nearest-neighbour interactions
by: Ganikhodjaev, Nasir, et al.
Published: (2011)