A Comparison of Techniques for the Specification of External System Behavior.

Published in: Commun. ACM (1988)

Keyphrases

high level
specification language
internal state
neural network
objective function
optimal solution
cooperative
data model
probabilistic model
human behavior
quantitative evaluation
external world