The Refinement Calculus, and Literate Development.

Published in: Formal Program Development (1993)

Keyphrases

software engineering
development process
databases
decision support
real time
knowledge based systems
information processing
rapid development
programming environments