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