Program Development as a Formal Activity.

Manfred Broy Peter Pepper

Published in: IEEE Trans. Software Eng. (1981)

Keyphrases

case study
artificial intelligence
decision making
programming environments
software engineering
st century
static analysis
systems development
activity patterns
formal descriptions