Science of Computer Programming, Volume 55

Volume 55, Number 1-3, March 2005

• Frank S. de Boer, Marcello M. Bonsangue:
  Preface. 1-2
  
• Farhad Arbab:
  Abstract Behavior Types: a foundation model for components and their composition. 3-52
  
• Cees-Bart Breunesse, Néstor Cataño, Marieke Huisman, Bart Jacobs:
  Formal methods for smart cards: an experience report. 53-80
  
• Werner Damm, Bernhard Josko, Amir Pnueli, Angelika Votintseva:
  A discrete-time UML semantics for concurrency and communication in safety-critical applications. 81-115
  
• Werner Damm, Bernd Westphal:
  Live and let die: LSC based verification of UML models. 117-159
  
• Gregor Gößler, Joseph Sifakis:
  Composition for component-based modeling. 161-183
  
• Gary T. Leavens, Yoonsik Cheon, Curtis Clifton, Clyde Ruby, David R. Cok:
  How the design of JML accommodates both runtime assertion checking and formal verification. 185-208
  
• K. Rustan M. Leino, Todd D. Millstein, James B. Saxe:
  Generating error traces from verification-condition counterexamples. 209-226
  
• Ernst-Rüdiger Olderog, Heike Wehrheim:
  Specification and (property) inheritance in CSP-OZ. 227-257
  
• Juha Plosila, Kaisa Sere, Marina A. Waldén:
  Asynchronous system synthesis. 259-288