Retirement: Hans Langmaack, 1999

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

Krzysztof R. Apt, Andrea Schaerf:
The Alma Project, or How First-Order Logic Can Help Us in Imperative Programming. 89-113
Flemming Nielson, Hanne Riis Nielson:
Type and Effect Systems. 114-136

J. Strother Moore:
Proving Theorems About Java-Like Byte Code. 139-162
Armin Biere, Edmund M. Clarke, Yunshan Zhu:
Multiple State and Single State Tableaux for Combining Local and Global Model Checking. 163-179
Parosh Aziz Abdulla, Bengt Jonsson:
On the Existence of Network Invariants for Verifying Parameterized Systems. 180-197

Gerhard Goos, Wolf Zimmermann:
Verification of Compilers. 201-230
Amir Pnueli, Ofer Strichman, Michael Siegel:
Translation Validation: From SIGNAL to C. 231-255
Martin Fränzle, Markus Müller-Olm:
Compilation and Synthesis for Real-Time Embedded Controllers. 256-287
Jens Knoop, Oliver Rüthing:
Optimization Under the Perspective of Soundness, Completeness, and Reusability. 288-315

Tom Bienmüller, Jürgen Bohn, Henning Brinkmann, Udo Brockmeyer, Werner Damm, Hardi Hungar, Peter Jansen:
Verification of Automotive Control Units. 319-341
Ernst-Rüdiger Olderog:
Correct Real-Time Software for Programmable Logic Controllers. 342-362
Jan Peleska, Bettina Buth:
Formal Methods for the International Space Station ISS. 363-389
Bernhard Steffen, Tiziana Margaria:
METAFrame in Practice: Design of Intelligent Network Services. 390-415

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