Conference
UML Consistency Rules
Abstract
UML models are standard artifacts used by software engineers for designing software. As software is designed, different UML diagram types (e.g., class diagrams and sequence diagrams) are produced by software designers. Since the various UML diagram types describe different aspects of a software system, they are not independent but strongly depend on each other, hence they must be consistent. Inconsistencies cause faults in thefi nal software …
Authors
Torre D; Labiche Y; Genero M; Elaasar M; Menghi C
Pagination
pp. 130-140
Publisher
Association for Computing Machinery (ACM)
Publication Date
October 7, 2020
DOI
10.1145/3372020.3391554
Name of conference
Proceedings of the 8th International Conference on Formal Methods in Software Engineering