P-127 Umschlag
Total Page:16
File Type:pdf, Size:1020Kb
Gesellschaft für Informatik e.V. (GI) GI-Edition publishes this series in order to make available to a bro ad public recent findings in informatics (i.e. computer scien ce and informa- tion systems), to document conferen ces that are organized in co - Lecture Notes operation with GI and to publish the annual GI Award dissertation. in Informatics Broken down into • seminars • proceedings • dissertations • thematics cu r ren t topics are dealt with from the vantage point of research and development, teaching and further training in theory and p r a cti ce. Wilhelm Hasselbring, Nils Christian Ehmke (Hrsg.) The Editorial Committee uses an intensive review process in ord er to ensure high quality contributions. Software Engineering 2014 The volumes are published in German or English. Fachtagung des GI-Fachbereichs Information: http://www.gi.de/service/publikationen/lni/ Softwaretechnik 25. Februar – 28. Februar 2014 Kiel, Deutschland ISSN 1617-5468 2014 Engineering Software ISBN 978-388579-621-3 This volume contains the contributions of the Software Engineering 2014 conference held from February 25th to February 28th 2014 in Kiel, Germany. The conference series SE is the German-speaking conference of the special interest group software engineering of the Gesellschaft für Informatik e. V. (GI) focussing on software engineering. 227 Proceedings These proceedings contain entries from the scientific program, the technology transfer program, the software & systems engineering essentials, the doctoral symposium, as well as entries from workshops, tutorials, and software engineering ideas. Wilhelm Hasselbring, Nils Christian Ehmke (Hrsg.) Software Engineering 2014 Fachtagung des GI-Fachbereichs Softwaretechnik 25. Februar – 28. Februar 2014 in Kiel, Deutschland Gesellschaft für Informatik e.V. (GI) Lecture Notes in Informatics (LNI) - Proceedings Series of the Gesellschaft für Informatik (GI) Volume P-227 ISBN 978-388579-621-3 ISSN 1617-5468 Volume Editors Prof. Dr. Wilhelm Hasselbring Arbeitsgruppe Software Engineering Institut für Informatik, Christian-Albrechts-Universität zu Kiel 24118 Kiel, Deutschland Email: [email protected] M.Sc. Nils Christian Ehmke Arbeitsgruppe Software Engineering Institut für Informatik, Christian-Albrechts-Universität zu Kiel 24118 Kiel, Deutschland Email: [email protected] Series Editorial Board Heinrich C. Mayr, Alpen-Adria-Universität Klagenfurt, Austria (Chairman, [email protected]) Dieter Fellner, Technische Universität Darmstadt, Germany Ulrich Flegel, Hochschule für Technik, Stuttgart, 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 Bundeswehr München, Germany Peter Sanders, Karlsruher Institut für Technologie (KIT), Germany Sigrid Schubert, Universität Siegen, Germany Ingo Timm, Universität Trier, Germany Karin Vosseberg, Hochschule Bremerhaven, Germany Maria Wimmer, Universität Koblenz-Landau, 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ür Informatik, Bonn 2014 printed by Köllen Druck+Verlag GmbH, Bonn Vorwort Willkommen zur Tagung Software Engineering 2014 an der Kieler Forde!¨ Software Engineering ist eine praxisorientierte Wissenschaftsdisziplin. Die Ergebnisse der Software Engineering Forschung sollten in die Praxis der Softwareentwicklung einflie- ßen, gleichzeitig konnen¨ die relevanten Fragen der Praxis den Anstoß fur¨ innovative For- schungsprojekte geben. Wissens- und Technologietransfer ist ein bidirektionaler Prozess. Um diesen Transfer zu befordern,¨ bietet die Software Engineering 2014 ein Forum fur¨ die deutschsprachige Software Engineering Community. In parallelen Vortragssitzungen wer- den Highlights aus der Wissenschaft, aus dem praktizierten Technologietransfer und aus der industriellen Praxis berichtet. Diese Vortragssitzungen werden eingerahmt von hoch- karatigen¨ Keynote-Vortragen.¨ Das diesjahrige¨ Tagungsmotto lautet konsequenterweise Transfer zwischen Wissenschaft und Wirtschaft“ ” Um diesen Transfer zu befordern,¨ finden im Hauptprogramm der Tagung parallele Sitzun- gen zum wissenschaftlichen Programm, zum Technologietransfer, zu Software & Systems Engineering Essentials und zum Industrieprogramm in parallelen und teils gemischten Sitzungen statt. Der Austausch soll dann insbesondere durch die gemeinsamen Pausen im Foyer gefordert¨ werden. Die Konferenzserie SE ist die deutschsprachige Konferenz zum Thema Software Enginee- ring des Fachbereichs Softwaretechnik der Gesellschaft fur¨ Informatik e. V. (GI). Die Soft- ware Engineering 2014 wird gemeinsam vom Lehrstuhl fur¨ Software Engineering im In- stitut fur¨ Informatik der Technischen Fakultat¨ der Christian-Albrechts-Universitat¨ zu Kiel, dem Verein der Digitalen Wirtschaft Schleswig-Holstein e.V. (DiWiSH), der Gesellschaft fur¨ Informatik e. V. (GI), der IHK Kiel und dem Kompetenzverbund Software Systems Engineering (KoSSE) organisiert. Das Programm umfasst in diesem Jahr die folgenden Elemente: Drei Keynotes aus Industrie, Technologietransfer und Wissenschaft. • Eine Podiumsdiskussion zu Ausgrundungen¨ in der Softwaretechnik. • Das wissenschaftliche Programm, mit neuem Format. • (Leitung: Andreas Zeller, Universitat¨ des Saarlandes, Saarbrucken)¨ Die Software Engineering Ideen (Leitung: Bernd Brugge,¨ TU Munchen)¨ • Die Software & Systems Engineering Essentials • (Leitung: Marc Sihling, 4Soft GmbH) Das Technologietransferprogramm (Leitung: Ralf Reussner, KIT / FZI) • Das Industrieprogramm (Leitung: Wilhelm Hasselbring, Universitat¨ Kiel) • Das Doktorandensysmposium (Leitung: Rainer Koschke, Universitat¨ Bremen) • Die Tutorials (Leitung: Klaus Schmid, Universitat¨ Hildesheim) • Die Workshops (Leitung: Klaus Schmid, Universitat¨ Hildesheim) • Das Studierendenprogramm (Leitung: Dirk Nowotka, Universitat¨ Kiel) • Der Software Engineering Preis (Ernst-Denert-Stiftung) • Insbesondere das neue Format fur¨ das wissenschaftliche Programm hat sich als Erfolgs- konzept herausgestellt, sehen Sie sich dazu auch die Einleitung von Andreas Zeller an. Im Gesamtbild mit den weiteren Programmelementen bietet die Software Engineering 2014 Ihnen ein zugleich hochkaratiges¨ und vielfaltiges¨ Programm. Ich mochte¨ den oben aufge- listeten Koordinatoren der jeweiligen Programmelemente dafur¨ danken, dass wir gemein- sam dieses Programm aus den vielen Einreichungen zusammenstellen konnten (insgesamt konnte nur die Halfte¨ der Vorschlage¨ berucksichtigt¨ werden). Mein besonderer Dank gilt auch allen Studierenden, Mitarbeitern und Unterstutzern,¨ die in unterschiedlicher Weise zum Gelingen der Tagung beitragen. Kiel, im Dezember 2013 Wilhelm Hasselbring GOLD SPONSOREN SILBER SPONSOREN BRONZE SPONSOREN Medienpartner Inhaltsverzeichnis Wissenschaftliches Programm Andreas Zeller Vorwort Wissenschaftliches Programm der SE 2014 ............................................ 21 Software Analytics Thomas Zimmermann, Nachiappan Nagappan Software Analytics for Digital Games .............................................................. 23 Widura Schwittek, Stefan Eicker A Study on Third Party Component Reuse in Java Enterprise Open Source Software .. 25 Ingo Scholtes, Marcelo Serrano Zanetti, Claudio Juan Tessone, Frank Schweitzer Categorizing Bugs with Social Networks: A Case Study on Four Open Source Soft- ware Communities ....................................................................................... 27 Walid Maalej, Martin Robillard Patterns of Knowledge in API Reference Documentation...................................... 29 Quality of Service Franz Brosch, Heiko Koziolek, Barbora Buhnova, Ralf Reussner Architecture-Based Reliability Prediction with the Palladio Component Model ......... 31 Norbert Siegmund, Sergiy Kolesnikov, Christian Kastner,¨ Sven Apel, Don Ba- tory, Marko Rosenmuller,¨ Gunter Saake Performance Prediction in the Presence of Feature Interactions............................. 33 Jons-Tobias Wamhoff, Etienne Riviere,` Gilles Muller, Christof Fetzer, Pascal Felber FastLane: Software Transactional Memory Optimized for Low Numbers of Threads... 35 Lars Grunske, Ayman Amin Reactive vs. Proactive Detection of Quality of Service Problems ............................ 37 Verification Antonio Filieri, Corina S. Pas˘ areanu,˘ Willem Visser Reliability Analysis in Symbolic Pathfinder: A brief summary................................ 39 Dirk Beyer, Stefan Lowe,¨ Evgeny Novikov, Andreas Stahlbauer, Philipp Wendler Precision Reuse in CPAchecker ...................................................................... 41 Christian Hammer Detecting Deadlock in Programs with Data-Centric Synchronization...................... 43 Volodymyr Kuznetsov, Johannes Kinder, Stefan Bucur, George Candea Efficient State Merging in Symbolic Execution ................................................... 45 Comprehension Tobias Roehm, Rebecca Tiarks, Rainer Koschke, Walid Maalej How Do Professional Developers Comprehend Software? .................................... 47 Zoya Durdik, Ralf Reussner On the Appropriate Rationale for Using Design Patterns and Pattern Documentation 49 Domenico Bianculli, Carlo Ghezzi, Cesare Pautasso, Patrick Senti Specification Patterns from Research to Industry: