Comparison of Formalisation Approaches of UML Class Constructs in Z and Object-Z.

Nuno Amálio Fiona Polack

Published in: ZB (2003)

Keyphrases

d objects
object classes
training set
software development
complex objects
database
data sets
information systems
case study
relational databases
object oriented
object model
intra class
formal methods
conceptual modeling