Program Development by Inductive Stepwise Refinement.

R. Geoff Dromey

Published in: Softw. Pract. Exp. (1985)

Keyphrases

knowledge based systems
case study
neural network
information processing
inductive learning
programming environments
functional programs
concept learning
inductive inference
real world
machine learning
artificial intelligence
online learning
design principles
computer programs
static analysis