A Representation-Independent Behavioral Semantics for Object-Oriented Components.

Arnd Poetzsch-Heffter Jan Schäfer

Published in: FMOODS (2007)

Keyphrases

object oriented
conceptual graphs
formal semantics
data model
semantic representation
definition language
reasoning mechanisms
data sets
relational databases
image representation
database design
predicate calculus