A Program Refinement Tool.

David A. Carrington Ian J. Hayes Ray Nickson Geoffrey Watson Jim Welsh

Published in: Formal Aspects Comput. (1998)

Keyphrases

program understanding
software tools
genetic algorithm
image processing
learning environment
user friendly
real time
databases
machine learning
information retrieval
artificial intelligence
computer vision
three dimensional
database systems
expert systems
computer programs