Informality in Program Specifications.

Robert Balzer Neil M. Goldman David S. Wile

Published in: IJCAI (1977)

Keyphrases

recursive programs
execution traces
high level
computer programs
information retrieval
delay insensitive
image processing
static analysis
search algorithm
functional requirements
test cases
open source
neural network
case study
decision making
information systems
artificial intelligence
real world