Stepwise Refinement of Layered Protocols by Formal Program Development.

Terry Stroup Norbert Götz Michael Mendler

Published in: PSTV (1989)

Keyphrases

software engineering
case study
programming environments
decision support
design principles
computer programs