Ada usage/performance specification.

Mark W. Borger John B. Goodenough

Published in: IRTAW (1990)

Keyphrases

high level
specification language
real world
machine learning
image sequences
multiscale
reinforcement learning
protocol specification
metadata
face recognition
similarity measure
software development
formal specification
usage patterns
reactive systems