Program Refinement by Transsformation.

Thomas E. Cheatham Jr.Glenn H. Holloway Judy A. Townley

Published in: ICSE (1981)

Keyphrases

three dimensional
test cases
computer programs
multiscale
objective function
image processing
multimedia
bayesian networks
artificial neural networks
program execution