Computer Assistance for Program Refinement.

David A. Carrington Kenneth Arthur Robinson

Published in: CAV (1990)

Keyphrases

computer programs
computer hardware
computer systems
artificial intelligence
computer technology
expert systems
databases
machine learning
information retrieval
decision making
search algorithm
information technology
programming environment
refinement process