Ernst-Rüdiger Olderog, Bernhard Steffen (Eds.):
Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel).
Lecture Notes in Computer Science 1710 Springer 1999, ISBN 3-540-66624-9
I Methodology
- C. A. R. Hoare:
Theories of Programming: Top-Down and Bottom-Up and Meeting in the Middle.
3-28

- Dines Bjørner:
A Triptych Software Development Paradigm: Domain, Requirements and Software.
29-60

- Anders P. Ravn, Hans Rischel:
Real-Time Constraints Through the ProCoS Layers.
61-78

- David Gries:
Monotonicity in Calculational Proofs.
79-85

II Programming
III Automation
IV Compilation
V Application
Last update Fri May 24 00:23:11 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page