A Diagrammatic Logic for Object-Oriented Visual Modeling.

Zinovy Diskin Uwe Wolter

Published in: Electron. Notes Theor. Comput. Sci. (2008)

Keyphrases

object oriented
object oriented databases
case study
artificial intelligence
object oriented database systems
modal logic
programming language
classical logic
database applications
visual features
software engineering
low level
logic programming
database schema
visual cues
bayesian networks
database systems