Retirement: Hans Langmaack, 1999

@proceedings{DBLP:conf/birthday/1999langmaack,
  editor    = {Ernst-R{\"u}diger Olderog and
               Bernhard Steffen},
  title     = {Correct System Design, Recent Insight and Advances, (to Hans
               Langmaack on the occasion of his retirement from his professorship
               at the University of Kiel)},
  booktitle = {Correct System Design, Recent Insight and Advances},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1710},
  year      = {1999},
  isbn      = {3-540-66624-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

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

• 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
  

III Automation

• 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
  

IV Compilation

• 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
  

V Application

• 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