1 | -- | 2 | Gregor Engels, Markus Luckey. Editorial |
3 | -- | 22 | Tobias Eckardt, Christian Heinzemann, Stefan Henkler, Martin Hirsch, Claudia Priesterjahn, Wilhelm Schäfer. Modeling and verifying dynamic communication structures based on graph transformations |
23 | -- | 43 | Dirk Ahrens, Andreas Frey, Andreas Pfeiffer, Torsten Bertram. Objective evaluation of software architectures in driver assistance systems |
45 | -- | 64 | David Trachtenherz. Formal semantics of modular time refinement in AutoFocus |
65 | -- | 84 | Andreas Fuhr, Tassilo Horn, Volker Riediger, Andreas Winter. Model-driven software migration into service-oriented architectures |
85 | -- | 105 | Markus Jahn, Reinhard Wolfinger, Markus Löberbauer, Hanspeter Mössenböck. Composing user-specific web applications from distributed plug-ins |