A Metamodel-based transformation between UML and Object-Z.

Soon-Kyeong Kim David A. Carrington Roger Duke

Published in: HCC (2001)

Keyphrases

metamodel
transformation rules
modeling language
uml profile
black box
development process
data model
reference model
life cycle
model driven
software systems
d objects
design patterns
design rationale
data driven
databases
information technology
multi agent
development processes
real world