Finite satisfiability verification in UML class diagrams: a comparative study
Unified Modeling Language class diagrams are widely used for modeling, playing a key role in the analysis and design of information systems, especially in development contexts that use modeling oriented methodologies. Therefore, it is relevant to ensure the creation and maintenance of correct class...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | article |
| Language: | eng |
| Published: |
2016
|
| Subjects: | |
| Online Access: | https://ciencia.iscte-iul.pt/public/pub/id/13653 |
| Country: | Portugal |
| Oai: | oai:repositorio.iscte-iul.pt:10071/10644 |