Constraint-oriented formal modelling of OO-systems.

Günter Graw Peter Herrmann Heiko Krumm

Published in: DAIS (1999)

Keyphrases

complex systems
neural network
building blocks
formal model
formal methods
databases
information retrieval
object oriented
computer systems
website
image sequences
query language
general purpose
knowledge based systems
learning systems
object oriented systems