Specification of Behaviour in Component Frameworks.

Published in: ECOOP Workshops (1999)

Keyphrases

high level
real world
user behaviour
databases
decision making
image processing
case study
video sequences
digital libraries
artificial neural networks
probabilistic model
software systems
formal specification
specification language