Software Engineering 2012

Transkript

1 Stefan Jähnichen, Axel Küpper, Sahin Albayrak (Hrsg.) Software Engineering 2012 Fachtagung des GI-Fachbereichs Softwaretechnik 27. Februar - 2. März 2012 in Berlin Gesellschaft für Informatik e.v. (GI)

2 Lecture Notes in Informatics (LNI) - Proceedings Series of the Gesellschaft für Informatik (GI) Volume P-198 ISBN ISSN Volume Editors Stefan Jähnichen TechnischeUniversität Berlin / Softwaretechnik Sekr. TEL 12-3, Ernst-Reuter-Platz 7, Berlin, Germany stefan.jaehnichen,@tu-berlin.de Axel Küpper Telekom Innovation Laboratories / Service-centric Networking Sekr. TEL 19, Ernst-Reuter-Platz 7, Berlin, Germany axel.kuepper@tu-berlin.de Sahin Albayrak Technische Universität Berlin / DAI-Labor Sekr. TEL 14, Ernst-Reuter-Platz 7, Berlin, Germany sahin.albayrak@dai-labor.de Series Editorial Board Heinrich C. Mayr, Alpen-Adria-Universität Klagenfurt, Austria (Chairman, mayr@ifit.uni-klu.ac.at) Hinrich Bonin, Leuphana Universität Lüneburg, Germany Dieter Fellner, Technische Universität Darmstadt, Germany Ulrich Flegel, Hochschule Offenburg, Germany Ulrich Frank, Universität Duisburg-Essen, Germany Johann-Christoph Freytag, Humboldt-Universität zu Berlin,Germany Michael Goedicke, Universität Duisburg-Essen, Germany Ralf Hofestädt, Universität Bielefeld, Germany Michael Koch, Universität der Bundeswehr München, Germany Axel Lehmann, Universität der BundeswehrMünchen, Germany Ernst W. Mayr, TechnischeUniversität München, Germany Thomas Roth-Berghofer, DFKI, Germany Sigrid Schubert, Universität Siegen, Germany Martin Warnke, Leuphana Universität Lüneburg, Germany Dissertations Steffen Hölldobler,Technische Universität Dresden, Germany Seminars Reinhard Wilhelm, Universität des Saarlandes, Germany Thematics Andreas Oberweis, Karlsruher Institut für Technologie (KIT), Germany Gesellschaft fürinformatik, Bonn 2012 printed by Köllen Druck+Verlag GmbH, Bonn

3 Software: the New Driving Force so formuliert die Business Week bereits am 24. Februar 1983 auf ihrer Titelseite. In dem dazugehörigen Artikel werden der damalige Stand der Softwaretechnik und vor allem ihre Perspektiven dargestellt. Viele der damals aufgestellten Thesen sind noch heute richtig und belegen damals wie heute die Bedeutung der Softwaretechnik. Software spielt eine zentrale Rolle bei der Nutzung innovativer Technologien und ihre Qualität ist für die Wertschöpfung der Produkte ein entscheidender Faktor. Sie muss höchsten Qualitätsanforderungen entsprechen und trotzdem kostengünstig hergestellt werden. Zuverlässigkeit, Sicherheit und Akzeptanz beim Nutzer sind Eigenschaften, die wir von moderner Software erwarten. Die Techniken zu ihrer Gewährleistung sind zwar zwischenzeitlich in hohem Maße professionalisiert und weiterentwickelt, bedürfen aber wegen der immer noch steigenden Komplexität der Systeme und der Integration mit anderen Technologien noch immer intensiver Forschung und weiterer Professionalisierung. Die Software Engineering-Tagungsreihe wird vom Fachbereich Softwaretechnik der Gesellschaft für Informatik e.v. getragen hat die Fakultät IV der TU Berlin die Gestaltung und Organisation der Tagung übernommen. Die SE 2012 bietet im Hauptprogramm sowohl eingeladene wissenschaftliche Vorträge als auch vom PC begutachtete detaillierte Berichte über laufende Forschungsarbeiten und -ergebnisse. Darüber hinaus werden in Praxisvorträgen am Industrietag aktuelle Problemstellungen, Lösungsansätze und gewonnene Erfahrungen präsentiert und zur Diskussion gestellt. Vor dem Hauptprogramm der Konferenz finden 4 Workshops sowie 3 Tutorials zu aktuellen, innovativen und praxisrelevanten Themen im Software Engineering statt. Abgerundet wird das Programm durch ein Doktorandensymposium, auf dem promovierende junge Wissenschaftlerinnen und Wissenschaftler ihre Arbeiten vorstellen und von erfahrenen Forscherinnen und Forschern konstruktive Rückkopplung zu ihren Dissertationsvorhaben erwarten. Fast schon traditionell ist ein Lehrertag in die SE 2012 integriert, auf dem sich Informatiklehrerinnen und -lehrer über neue Ansätze der Softwaretechnik für den Schulunterricht informieren. Die Durchführung der Tagung Software Engineering 2012 wäre ohne die Mitwirkung der Sponsoren und vieler engagierter Personen nicht möglich gewesen. Ich bedanke mich daher bei allen Sponsoren, vor allem aber auch bei den vielen Helfern und Helferinnen der SE 2012: - für die Gestaltung des Industrietags Axel Küpper, Ulrich Bareth und Sahin Albayrak - für die Gestaltung des Doktorandensymposiums Petra Hofstedt und Claus Lewerentz - für die Koordination der Workshops/Tutorials Holger Schlingloff und Bernhard Rumpe Der Lehrertag wurde von der GI-Fachgruppe "Informatik-Bildung in Berlin und Brandenburg" organisiert. Dank gilt hier insbesondere Helmut Witten, der als Sprecher der Fachgruppe die Koordination übernommen hat.

4 Dank auch an alle Mitglieder des Programmkommittees, des Steering Committes, an den Fachbereich Softwaretechnik und die Organisatoren bei der Geschäftsstelle der GI und der bwo Marketing GmbH. Und letztlich ganz besonderer Dank an alle meine Mitarbeiter, insbesondere Marc-Oliver Reiser, Doris Fähndrich, Marcus Mews, Andreas Mertgen und Steffen Helke. Ohne diese viele Unterstützung wäre die SE 2012 nicht möglich. Berlin, im Februar 2012 Stefan Jähnichen,Tagungsleiter

5 Tagungsleitung Stefan Jähnichen,TU Berlin/FhG FIRST Leitung Industrietag Axel Küpper, TU Berlin/T-Labs Sahin Albayrak, TU Berlin/DAI-Labor Leitung Workshops und Tutorials Bernhard Rumpe, RWTH Aachen Holger Schlingloff, HU Berlin/FhG FIRST Tagungsorganisation Doris Fähndrich,TU Berlin Steffen Helke, TU Berlin Andreas Mertgen, TU Berlin Marcus Mews, TU Berlin Mark-Oliver Reiser, TU Berlin Programmkomitee Steffen Becker, Universität Paderborn Klaus Beetz, Siemens AG Manfred Broy, TU München Bernd Brügge, TU München Jürgen Ebert, Universität Koblenz-Landau GregorEngels, Universität Paderborn Martin Glinz, Universität Zürich Michael Goedicke, Universität Duisburg-Essen Volker Gruhn, Universität Duisburg-Essen Jens Happe, SAP Wilhelm Hasselbring, Christian-Albrecht-Universität Kiel Maritta Heisel, Universität Duisburg-Essen Stefan Jähnichen,TU Berlin/FhG FIRST Matthias Jarke, RWTH Aachen Gerti Kappel, TU Wien Udo Kelter, Universität Siegen Jens Knoop, TU Wien Heiko Koziolek, ABB Claus Lewerentz, BTU Cottbus Horst Lichter, RWTH Aachen Peter Liggesmeyer, TU Kaiserslautern Oliver Mäckel, Siemens AG Florian Matthes, TU München Oscar Nierstrasz, Universität Bern Andreas Oberweis, KIT/FZI Karlsruhe Barbara Paech, Universität Heidelberg Peter Pepper, TU Berlin Klaus Pohl, Universität Duisburg-Essen

6 Alexander Pretschner, KIT, Karlsruhe Ralf Reussner, KIT/FZI Karlsruhe Matthias Riebisch, TU Ilmenau Andreas Roth, SAP Bernhard Rumpe, RWTH Aachen Thomas Santen, European Microsoft Innovation Center Wilhelm Schäfer, Universität Paderborn Klaus Schmid, Universität Hildesheim Kurt Schneider, Leibniz Universität Hannover Andy Schürr, TU Darmstadt Rainer Singvogel, msg systems AG Stefan Tai, KIT/FZI Karlsruhe Andreas Winter, UniversitätOldenburg Mario Winter, Fachhochschule Köln Uwe Zdun, Universität Wien Andreas Zeller, Universität des Saarlandes Heinz Züllighoven, Universität Hamburg Albert Zündorf, Universität Kassel Weitere Gutachter Ulrike Abelein Petra Brosch Erik Burger Alarico Campetelli Sebastian Eder Tobias George Veit Hoffmann Christian Janiesch Ruben Jubeh Andreas Koch Joern Koch Rudolf Koster Anne Koziolek Martin Küster Thomas Kurpick Achim Lindt Lars Patzina Uwe Pohlmann Hanna Remmel Jorge Ressia Johannes Rost Karsten Saller Martin Schindler Frederik Schulz Norbert Seyff Michael Striewe Nelufar Ulfat-Bunyadi Martin Wieber Dustin Wüest Gabriele Zorn-Pauli Offizieller Veranstalter Fachbereich Softwaretechnik der Gesellschaft für Informatik (GI) Mitveranstalter Technische Universität Berlin

7 Sponsoren PLATIN GOLD SILBER BRONZE

8

9 Inhaltsverzeichnis Eingeladene wissenschaftliche Vorträge Thomas Santen Herausforderungenund neue Technologien zur Verifikation nebenläufiger verteilter Systeme Walter Tichy Die Multicore-Transformation und ihre Herausforderung an die Softwaretechnik Andreas Schroeder, Martin Wirsing Developing Physiological Computing Systems: Challenges and Solutions Präsentationen des Industrietages Philipp Sprengholz, UrsulaOesing Durchführung von Modultests durch den Auftraggeber in Softwareentwicklungsprojekten mittels jcut Birgit Boss SW-Architektur, SW-Sharing &Standardisierung Dehla Sokenou Softwarearchitektur für Geschäftsanwendungen auf Basis von OSGi Jan-Peter Richter, Marion Kremer TechnoVision: Neue Technologien gezielt für den Unternehmenserfolg nutzen Marc Segelken Anforderungen auf Konsistenz überprüft Formalisierung hilft Ralf Engelschall Software-Architektur und Open-Source-Lizenzrecht in Einklang bringen Simon Giesecke, Niels Streekmann Architekturmanagement für eine föderale Produktlinienarchitektur Torsten Frank Trusted Cloud im Gesundheitswesen mit TRESOR Stefan Buschner Datenschutz und Usability bei Smartcards: Card-to-Card-Authentication... 55

10 Forschungsarbeiten Dirk Riehle, Carsten Kolassa, Michel A. Salim Developer Belief vs. Reality: The Case of the Commit Size Distribution Marco Konersmann, Azadeh Alebrahim, Maritta Heisel, Michael Goedicke, Benjamin Kersten Deriving Quality-based Architecture Alternatives with Patterns Glib Kutepov Improving the software architecture design process by reusing technology-specific experience Pit Pietsch, Hamed Shariat Yazdi, Udo Kelter Controlled Generation of Models with Defined Properties Tim Frey Hypermodelling for Drag and Drop Concern Queries Wolfgang Goerigk, Wilhelm Hasselbring, Gregor Hennings, Reiner Jung, Holger Neustock, Heiko Schaefer, Christian Schneider, Elferik Schultz, Thomas Stahl, Reinhard Von Hanxleden, Steffen Weik, Stefan Zeug Entwurf einer domänenspezifischen Sprache für elektronische Stellwerke Andreas Mertgen Generic Rolesfor Increased Reuseability Harald Cichos,Malte Lochau, Sebastian Oster, Andy Schürr Reduktion von Testsuiten für Software-Produktlinien Erfahrungsberichte Mario Winter, Karin Vosseberg, Andreas Spillner, Peter Haberl Softwaretest-Umfrage Erkenntnisziele, Durchführung und Ergebnisse Daniel Merschen, Yves Duhr, Thomas Ringler, Bernd Hedenetz, Stefan Kowalewski Model-Based Analysis of Design Artefacts Applying an Annotation Concept Christian Hopp, Fabian Wolf, Holger Rendel, Bernhard Rumpe Einführung eines Produktlinienansatzes in die automotive Softwareentwicklung am Beispiel von Steuergerätesoftware

11 Workshops Frank Huch, Janis Voigtländer 5. Arbeitstagung Programmiersprachen (ATPS 2012) Birgitta König-Ries, Volkmar Pipek, Jens Pottebaum, Stefan Strohschneider IT-Unterstützung für Public Safety & Security: Interdisziplinäre Anforderungsanalyse, Architekturen und Gestaltungskonzepte (IT4PSS 2012) Andreas Birk,Florian Markert, Sebastian Oster Produktlinien im Kontext: Technologie, Prozesse, Business und Organisation (PIK 2012) Michaela Huhn, Stefan Gerken, Carsten Rudolph Zertifizierung und modellgetriebene Entwicklung sicherer Software (ZeMoSS 2012)