Generalizing Specifications for Uniformly Implemented Loops.

Douglas D. Dunlop Victor R. Basili

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

Keyphrases

high level
database
artificial intelligence
decision making
case study
bayesian networks
digital libraries
artificial neural networks
evolutionary algorithm
learning objects
logic programs
functional requirements
delay insensitive