Program Development and Documentation by Informal Transformations and Derivations.

Giovanna Petrone Luigi Petrone

Published in: TAPSOFT, Vol.2 (1985)

Keyphrases

knowledge based systems
development process
programming environments
computer science
practical experience
neural network
data mining
learning environment
e government
test cases
design tools