A formal denotational semantics of UML in Object-Z.

Soon-Kyeong Kim David A. Carrington

Published in: Obj. Logiciel Base données Réseaux (2001)

Keyphrases

denotational semantics
formal methods
operational semantics
programming language
d objects
complex objects
software engineering
software systems
database design
abstract data types
databases
incomplete information
object oriented
metamodel
management system
query language
requirements specification
data structure