Meta-Validation of UML Diagrams Using OCL Rules.

Il-Kyu Ha Byung-Wook Kang

Published in: Software Engineering Research and Practice (2003)

Keyphrases

uml diagrams
software design
uml class diagrams
constraint language
software engineers
design patterns
unified modeling language
production rules
software engineering
integrity constraints
xml schema
software maintenance
np hard
classification rules