Specifications with Observable Formulae and Observational Satisfaction Relation.

Published in: COMPASS/ADT (1991)

Keyphrases

formal specification
high level
neural network
functional requirements
specification language
real world
data mining
knowledge base
relational databases