Covariant Specification.

Published in: ACM SIGPLAN Notices (1994)

Keyphrases

scale space
user defined
formal specification
artificial intelligence
high level
formal verification
neural network
data mining
computer vision
decision making
three dimensional
object oriented
business rules
specification language
reactive systems