| 0 | -- | 0 | Bernd Krieg-Brückner. The photo of Prof. Dr. Bernd Krieg-Bruckner with signature |
| 93 | -- | 0 | Ruqian Lu. A Historical Document, A Piece of Precious Memory Editorial |
| 95 | -- | 111 | Bernd Krieg-Brückner. Chinese University Development Project |
| 113 | -- | 115 | Berthold Hoffmann, Dieter Hutter, Hui Shi 0001. Preface |
| 117 | -- | 139 | Grzegorz Marczynski, Donald Sannella, Andrzej Tarlecki. Algebraic Constructions: A Simple Framework for Complex Dependencies and Parameterisation |
| 141 | -- | 152 | Till Mossakowski, Lutz Schröder. On Inconsistency and Unsatisfiability |
| 153 | -- | 175 | Alexander Knapp, Markus Roggenbach, Bernd-Holger Schlingloff. Automating Test Case Selection in Model-Based Software Product Line Development |
| 177 | -- | 203 | Abderrahmane Feliachi, Marie-Claude Gaudel, Burkhart Wolff. Symbolic Test-generation in HOL-TESTGEN/CirTA A Case Study |
| 205 | -- | 231 | Ruqian Lu. Knorc Calculus and Its Formal Semantics--To Honor my Friend Prof. Krieg-Brueckner's 66th Birthday |
| 233 | -- | 258 | Marianne Busch, Martin Wirsing. An Ontology for Secure Web Applications |
| 259 | -- | 277 | Serge Autexier. Similarity-Based Diff, Three-Way Diff and Merge |
| 279 | -- | 288 | Christian Freksa. Computational Problem Solving in Spatial Substrates - A Cognitive Systems Engineering Approach |