Validating feature-based specifications.

Kenneth J. Turner

Published in: Softw. Pract. Exp. (2006)

Keyphrases

image features
concurrent systems
specification language
functional requirements
formal specification
finite state machines
high level
object recognition
delay insensitive
data sets
digital libraries
knowledge base
information systems
learning algorithm
information retrieval
machine learning
real world
databases