Formal Transformations and the Development of Programs.

Friedrich W. von Henke

Published in: MFCS (1977)

Keyphrases

case study
software engineering
development process
rapid development
data sets
information technology
decision support
information processing
computer programs
formal methods