Coupling-based transformations of Z specifications into UML diagrams.

Published in: Innov. Syst. Softw. Eng. (2011)

Keyphrases

uml diagrams
software design
constraint language
unified modeling language
design patterns
uml class diagrams
software engineers
high level
software engineering
production rules
software systems
management system
formal specification
constraint networks
xml schema
open source
case study