Formalization of UML diagrams and their consistency verification: A Z notation based approach.

Sabnam Sengupta Swapan Bhattacharya

Published in: ISEC (2008)

Keyphrases

uml diagrams
software design
constraint language
uml class diagrams
software engineers
knowledge representation
constraint networks
unified modeling language
modeling language
knowledge based systems
design patterns
learning process
open source
constraint satisfaction problems
production rules
class diagram