Translating Fusion/UML to Object-Z.

Margot Bittner Florian Kammüller

Published in: MEMOCODE (2003)

Keyphrases

d objects
multiple objects
object oriented
complex objects
object model
information systems
object segmentation
metamodel
conceptual modeling
conceptual models
fusion method
modeling language
target object
database
information fusion
software development
viewpoint
databases