Journal: Inform., Forsch. Entwickl.

Volume 28, Issue 1

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