Formal Models of Stepwise Refinement of Programs.

Ali Mili Jules Desharnais Jean-Raynomd Gagné

Published in: ACM Comput. Surv. (1986)

Keyphrases

formal models
rule based systems
formal model
process model
fixpoint
website
artificial intelligence
information systems
decision trees
case study
distance measure
business processes
intermediate level