A Formal Approach for Consistency Management in UML Models.

Hao Wen Jinzhao Wu Jianmin Jiang Guofu Tang Zhong Hong

Published in: Int. J. Softw. Eng. Knowl. Eng. (2023)

Keyphrases

uml models
management system
object oriented
knowledge management
sequence diagrams
information systems
decision support
information management
formal model
decision making
data management
visual features
formal specification
data sets
image classification
project management
quality assurance