Model-based specification.

Published in: Inf. Process. Lett. (2001)

Keyphrases

high level
data driven
social networks
multimedia
data structure
model free
formal specification
digital libraries
temporal ordering
specification language
formal methods
mobile robot
special case
database
video sequences
website
search engine
neural network