Parameterized Specifications: Parameter Passing and Implementation with Respect to Observability.

Harald Ganzinger

Published in: ACM Trans. Program. Lang. Syst. (1983)

Keyphrases

input parameters
implementation issues
specification language
artificial intelligence
implementation details
neural network
information retrieval
genetic algorithm
computer vision
decision making
high level