Table of Contents

• Vorwort Wissenschaftliches Programm der SE 2014Andreas Zeller. 21-22
• Software Analytics for Digital GamesThomas Zimmermann, Nachiappan Nagappan. 23-24
• A Study on Third Party Component Reuse in Java Enterprise Open Source SoftwareWidura Schwittek, Stefan Eicker. 25-26
• Categorizing Bugs with Social Networks: A Case Study on Four Open Source Software CommunitiesIngo Scholtes, Marcelo Serrano Zanetti, Claudio Juan Tessone, Frank Schweitzer. 27-28
• Patterns of Knowledge in API Reference DocumentationWalid Maalej, Martin P. Robillard. 29
• Architecture-Based Reliability Prediction with the Palladio Component ModelFranz Brosch, Heiko Koziolek, Barbora Buhnova, Ralf Reussner. 31-32
• Performance Prediction in the Presence of Feature InteractionsNorbert Siegmund, Sergiy S. Kolesnikov, Christian Kästner, Sven Apel, Don S. Batory, Marko Rosenmüller, Gunter Saake. 33-34
• FastLane: Software Transactional Memory Optimized for Low Numbers of ThreadsJons-Tobias Wamhoff, Etienne Riviere, Gilles Muller, Christof Fetzer, Pascal Felber. 35-36
• Reactive vs. Proactive Detection of Quality of Service ProblemsLars Grunske, Ayman Amin. 37-38
• Reliability Analysis in Symbolic Pathfinder: A brief summaryAntonio Filieri, Corina S. Pasareanu, Willem Visser. 39-40
• Precision Reuse in CPAcheckerDirk Beyer, Stefan Löwe, Evgeny Novikov, Andreas Stahlbauer, Philipp Wendler. 41-42
• Detecting Deadlock in Programs with Data-Centric SynchronizationChristian Hammer. 43-44
• Efficient State Merging in Symbolic ExecutionVolodymyr Kuznetsov, Johannes Kinder, Stefan Bucur, George Candea. 45-46
• How Do Professional Developers Comprehend Software?Tobias Roehm, Rebecca Tiarks, Rainer Koschke, Walid Maalej. 47
• On the Appropriate Rationale for Using Design Patterns and Pattern DocumentationZoya Durdik, Ralf Reussner. 49-50
• Specification Patterns from Research to Industry: A Case Study in Service-Based ApplicationsDomenico Bianculli, Carlo Ghezzi, Cesare Pautasso, Patrick Senti. 51-52
• Software Architecture Documentation for Developers: A SurveyDominik Rost, Matthias Naab, Crescencio Lima, Christina von Flach G. Chavez. 53-54
• On the (Compatible) Evolution of ServicesVasilios Andrikopoulos. 55-56
• Generierung konsistenzerhaltender Editierskripte im Kontext der ModellversionierungTimo Kehrer. 57-58
• Ein formal fundierter Entscheidungs-Ansatz zur Behandlung von Technical DebtKlaus Schmid. 59-60
• Tool Support for Integrated Development of Component-based Embedded SystemsGerd Kainz, Christian Buckl, Alois Knoll. 61-62
• Synthesis of Component and Connector Models from Crosscutting Structural ViewsShahar Maoz, Jan Oliver Ringert, Bernhard Rumpe. 63-64
• Modular Reasoning for Crosscutting Concerns with ContractsThomas Thüm. 65-66
• Programs from Proofs - Approach and ApplicationsDaniel Wonisch, Alexander Schremmer, Heike Wehrheim. 67-68
• Software-Produktqualität modellieren und bewerten: Der Quamoco-AnsatzStefan Wagner. 69-70
• Messung der Strukturellen Komplexität von Feature-ModellenRichard Pohl, Vanessa Stricker, Klaus Pohl. 71-72
• Methods of Model Quality in the Automotive AreaRobert Reicherdt, Sabine Glesner. 73-74
• Zur Integration von Struktur- und Verhaltensmodellierung mit OCLLars Hamann, Martin Gogolla, Oliver Hofrichter. 75-76
• Software Architecture Optimization Methods: A Systematic Literature ReviewAldeida Aleti, Barbora Buhnova, Lars Grunske, Anne Koziolek, Indika Meedeniya. 77-78
• Flexible Access Control for JavaScriptChristian Hammer. 79-80
• SPLLIFT - Statically Analyzing Software Product Lines in Minutes Instead of YearsEric Bodden, Társis Tolêdo, Márcio Ribeiro, Claus Brabrand, Paulo Borba, Mira Mezini. 81-82
• C nach Eiffel: Automatische Übersetzung und objektorientierte Umstrukturierung von Legacy QuelltextMarco Trudel. 83-84
• Robustness against Relaxed Memory ModelsAhmed Bouajjani, Egor Derevenetc, Roland Meyer. 85-86
• How Much Does Unused Code Matter for Maintenance?Sebastian Eder, Maximilian Junker, Benedikt Hauptmann, Elmar Juergens, Rudolf Vaas, Karl-Heinz Prommer. 87-88
• The SecReq approach: From Security Requirements to Secure Design while Managing Software EvolutionJan Jürjens, Kurt Schneider. 89-90
• Noninvasive regelbasierte Graphtransformation für JavaJames J. Hunt, Maarten de Mol, Arend Rensink. 91-92
• Second-Order Constraints in Dynamic Invariant InferenceKaituo Li, Christoph Reichenbach, Yannis Smaragdakis, Michal Young. 93-94
• Revisited: Testing Culture on a Social Coding SiteRaphael Pham, Leif Singer, Olga Liskin, Fernando Marques Figueira Filho, Kurt Schneider. 95-96
• Reusing Information in Multi-Goal Reachability AnalysesDirk Beyer, Andreas Holzer, Michael Tautschnig, Helmut Veith. 97-98
• Supporting Swift Reaction: Automatically Uncovering Performance Problems by Systematic ExperimentsAlexander Wert, Jens Happe, Lucia Happe. 99-100
• Concolic Testing of Concurrent ProgramsAzadeh Farzan, Andreas Holzer, Niloofar Razavi, Helmut Veith. 101-102
• Vorwort Software Engineering Ideen Programm der SE 2014Bernd Brügge. 105-106
• Sozial empathische Systeme coram publicoAnke Tallig. 107-112
• The Usability Engineering Repository (UsER)Marc Paul, Amelie Roenspieß, Tilo Mentler, Michael Herczeg. 113-118
• Sicherstellung von Performanzeigenschaften durch kontinuierliche Performanztests mit dem KoPeMe FrameworkDavid Georg Reichelt, Lars Braubach. 119-124
• Visualizing cross-tool ALM projects as graphs with the Open Service for Lifecycle CollaborationOliver Siebenmarck. 125-129
• ACCD - Access Control Class DiagramMartin Otto Werner Wagner. 131-136
• Formal software verification for the migration of embedded code from single- to multicore systemsThorsten Ehlers, Dirk Nowotka, Philipp Sieweck, Johannes Traub. 137-142
• Architecture-driven Incremental Code Generation for Increased Developer EfficiencyMalte Brunnlieb, Arnd Poetzsch-Heffter. 143-148
• Vorwort Technologietransfer-Programm der SE 2014Ralf Reussner. 151
• Agilität braucht Architektur!Balthasar Weitzel, Matthias Naab, Mathias Scheffe. 153-158
• Tool-Driven Technology Transfer to Support Software Architecture DecisionsHeiko Koziolek, Thomas Goldschmidt. 159-164
• Individual Code Analyses in PracticeBenjamin Klatt, Klaus Krogmann, Michael Langhammer. 165-170
• FZI House of Living Labs - interdisziplinärer Technologietransfer 2.0Stefan Hellfeld. 171-176
• Management operativer Logistikprozesse mit Future-Internet-Leitständen: Erfahrungen aus dem LoFIP-ProjektAndreas Metzger, Philipp Schmidt, Christian Reinartz, Klaus Pohl. 177-182
• Ein gutes Bild erfordert mindestens 1000 Worte - Daten-Visualisierungen in der PraxisSteffen Kruse, Philipp Gringel. 183-188
• Releasemanagement in einem sehr komplexen ProjektKatrin Heymann. 191-192
• Open Source als Triebfeder für erfolgreiche Softwareprojekte in der öffentlichen VerwaltungChristian Werner, Ulrike Schneider. 193-194
• Effiziente Erstellung von Software-FactoriesRalf Leonhard, Gerhard Pews, Simon Spielmann. 195-196
• Sieben Strategien gegen beißende HundeGerald Zincke. 197-198
• Gegen den Trend? Neue Software-Teststandards ISO/IEC/IEEE 29119Matthias Daigl. 199-200
• 1st Colloborative Workshop on Evolution and Maintenance of Long-Living-Systems (EMLS14)Robert Heinrich, Reiner Jung, Marco Konersmann, Thomas Ruhroth, Eric Schmieders. 203-204
• 7. Arbeitstagung Programmiersprachen (ATPS 2014)Volker Stolz, Baltasar Trancón Widemann. 205-206
• CeMoSS - Certification and Model-Driven Development of Safe and Secure SoftwareMichaela Huhn, Stefan Gerken, Carsten Rudolph. 207-208
• International Workshop on Comparision and Versioning of Software Models (CVSM 2014)Pit Pietsch, Udo Kelter, Jan Oliver Ringert. 209
• Workshop "Lehre für Requirements Engineering" (LehRE)Andrea Herrmann, Anne Hoffmann, Dieter Landes, Rüdiger Weißbach. 211-212
• 4. Workshop zur Zukunft der Entwicklung softwareintensiver eingebetteter Systeme (ENVISON2020)Ottmar Bender, Wolfgang Böhm, Stefan Henkler, Oliver Sander, Andreas Vogelsang, Thorsten Weyer. 213-214
• Tutorial: Zukunftssichere Software Systeme mit Architekturbewertung: Wann, Wie und Wieviel?Thorsten Keuler, Jens Knodel, Matthias Naab. 217-218
• Der Werkzeug-und-Material-Ansatz für die Entwicklung interaktiver Software- SystemeGuido Gryczan, Henning Schwentner. 219-220
• Früherkennung fachlicher und technischer Projektrisiken mit dem Interaction RoomSimon Grapenthin, Matthias Book, Volker Gruhn. 221-222
• AGREEMENT - An Approach for Agile Rationale ManagementMichaela Gluchow. 225-228
• Pattern-Based Detection and Utilization of Potential Parallelism in Software SystemsChristian Wulf. 229-232
• Synchronizing Heterogeneous Models in a View-Centric Engineering ApproachMax E. Kramer. 233-236
• Summarizing, Classifying and Diversifying User FeedbackEmitza Guzman. 237-240