| 1 | -- | 6 | Martin Wirsing, Ruqian Lu. Preface: Foundations and Practice of Systems and Software Engineering - Towards Scientific Contribution of Prof. Manfred Broy |
| 7 | -- | 20 | Leslie Lamport. Euclid Writes an Algorithm: A Fairytale |
| 21 | -- | 28 | Tobias Nipkow. Majority Vote Algorithm Revisited Again |
| 29 | -- | 53 | Jan Oliver Ringert, Bernhard Rumpe. A Little Synopsis on Streams, Stream Processing Functions, and State-Based Stream Processing |
| 55 | -- | 76 | Cliff B. Jones, Matthew J. Lovert. Semantic Models for a Logic of Partial Functions |
| 77 | -- | 115 | Bertrand Meyer. Steps Towards a Theory and Calculus of Aliasing |
| 117 | -- | 137 | Johannes Faber, Sven Linker, Ernst-Rüdiger Olderog, Jan-David Quesel. Syspect - Modelling, Specifying, and Verifying Real-Time Systems with Rich Data |
| 139 | -- | 157 | Bjørnar Solhaug, Ketil Stølen. Preservation of Policy Adherence under Refinement |
| 159 | -- | 184 | Dominik Haneberg, Nina Moebius, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel. Mondex: Engineering a Provable Secure Electronic Purse |
| 185 | -- | 206 | Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari. On Structured Model-Driven Transformations |
| 207 | -- | 229 | Hartmut Ehrig, Karsten Gabriel. Transformation of Algebraic High-Level Nets and Amalgamation of Processes with Applications to Communication Platforms |
| 231 | -- | 244 | Christian Lengauer, Sven Apel. Feature-Oriented System Design and Engineering |
| 245 | -- | 266 | Peter Höfner, Ridha Khédri, Bernhard Möller. Supplementing Product Families with Behaviour |
| 267 | -- | 290 | Ruth Breu, Berthold Agreiter, Matthias Farwick, Michael Felderer, Michael Hafner, Frank Innerhofer-Oberperfler. Living Models - Ten Principles for Change-Driven Software Engineering |
| 291 | -- | 312 | Helmuth Partsch, Marcel Dausend, Dominik Gessenharter, Jens Kohlmeyer, Alexander Raschke. From Formal Semantics to Executable Models: A Pragmatic Approach to Model-Driven Development |
| 313 | -- | 334 | Bran Selic. A Short Catalogue of Abstraction Patterns for Model-Based Software Engineering |
| 335 | -- | 354 | Wolfgang Pree, Josef Templ, Peter Hintenaus, Andreas Naderlinger, Johannes Pletzer. TDL - Steps Beyond Giotto: A Case for Automated Software Construction |
| 355 | -- | 377 | Gustav Pomberger. Digital Graffiti - A Framework for Implementing Location-Based Systems |