Behavioral Consistency Validation of UML Diagrams.

Boris Litvak Shmuel S. Tyszberowicz Amiram Yehudai

Published in: SEFM (2003)

Keyphrases

uml diagrams
software design
constraint language
unified modeling language
software engineers
uml class diagrams
constraint networks
case study
object oriented
software engineering
production rules
database systems
software systems
xml schema
modeling language