DUAL: An Interactive Tool for Developing Documented Programs by Step-Wise Refinements.

Luigi Petrone Antonio Di Leva Franco Sirovich

Published in: ICSE (1982)

Keyphrases

step wise
real world
computer vision
computer programs
relational and xml data
database
data sets
feature selection
data structure
video sequences
expert systems
special case
control program