Abstract is missing.
- Endogene Metamodellierung der Semantik von neueren UML 2 SprachmittelnLars Hamann, Martin Gogolla. 31-32
- The Descartes Modeling Language for Self-Aware Performance and Resource ManagementSamuel Kounev, Fabian Brosig, Nikolaus Huber. 33-34
- On the Impact of Layout Quality to Understanding UML Diagrams: Not Just Pretty PicturesHarald Störrle. 35-36
- Industrielle Praxis modellbasierter Entwicklung im Bereich eingebetteter SystemeGrischa Liebel, Nadja Marko, Matthias Tichy, Andrea Leitner, Jörgen Hansson. 37-38
- InSynth: A System for Code Completion using Types and WeightsTihomir Gvero, Viktor Kuncak, Ivan Kuraj, Ruzica Piskac. 39-40
- A Type-Based Foundation for Closure-Passing in the Age of Concurrency and DistributionHeather Miller, Philipp Haller. 41-42
- Finding Minimum Type Error SourcesZvonimir Pavlinovic, Tim King 0001, Thomas Wies. 43-44
- Gradual Typing for Annotated Type SystemsLuminous Fennell, Peter Thiemann. 45-46
- Fast Software Performance Evaluation for Embedded Hardware in Componentbased Embedded SystemsMichael Pressler, Alexander Viehl, Oliver Bringmann, Wolfgang Rosenstiel. 47-48
- Strategies for Analyzing Configurable Systems Alexander von Rhein, Sven Apel. 49-50
- Statistical Symbolic Execution with Informed SamplingAntonio Filieri, Corina S. Pasareanu, Willem Visser, Jaco Geldenhuys. 51-52
- Mutation Analysis for the Real World: Effectiveness, Efficiency, and Proper Tool SupportRené Just, Michael D. Ernst, Gordon Fraser. 53-54
- Model-Integrating Software ComponentsMahdi Derakhshanmanesh, Jürgen Ebert, Thomas Iguchi, Gregor Engels. 55-56
- Analysis Strategies for Software Product Lines: A Classification and SurveyThomas Thüm, Sven Apel, Christian Kästner, Ina Schaefer, Gunter Saake. 57-58
- Advances in Quantitative Software Product Line AnalysisClemens Dubslaff. 59-60
- Family-Based Performance Analysis of Variant-Rich Software SystemsMatthias Kowal, Ina Schaefer, Mirco Tribastone. 61-62
- Measuring Program Comprehension with Functional Magnetic Resonance ImagingJanet Siegmund, Sven Apel, Christian Kästner, Chris Parnin, Anja Bethmann, Gunter Saake, Thomas Leich, André Brechmann. 63-64
- On the Comprehension of Program ComprehensionWalid Maalej, Rebecca Tiarks, Tobias Röhm, Rainer Koschke. 65-68
- On Knowledge Transfer Skill in Pair ProgrammingFranz Zieris, Lutz Prechelt. 67-68
- Sketches and Diagrams in PracticeSebastian Baltes, Stephan Diehl. 69-70
- System Testing and Program VerificationStephan Arlt, Sergio Feo Arenis, Andreas Podelski, Martin Wehrle. 71-72
- Interpolation for Value AnalysisDirk Beyer 0001, Stefan Löwe. 73-74
- Automating Regression VerificationDennis Felsing, Sarah Grebing, Vladimir Klebanov, Philipp Rümmer, Mattias Ulbrich. 75-76
- Collaborative Verification of Information Flow for a High-Assurance App StoreRené Just, Michael D. Ernst, Suzanne Millstein. 77
- Semantic Model Differencing Based on Execution TracesTanja Mayerhofer, Philip Langer, Gerti Kappel. 78-79
- Variability Models in Large-Scale Systems: A Study and a Reverse-Engineering TechniqueThorsten Berger, Sarah Nadi. 80-81
- Refactoring Delta-Oriented Software Product LinesSandro Schulze, Ina Schaefer. 82
- Towards Maintaining Long-Living Information Systems by Incorporating Security KnowledgeStefan Gärtner, Thomas Ruhroth, Jens Bürger, Kurt Schneider, Jan Jürjens. 83-84
- Automated Software Remodularization Based on Move Refactoring - A Complex Systems ApproachIngo Scholtes, Marcelo Serrano Zanetti, Claudio Juan Tessone, Frank Schweitzer. 85-86
- Higher-Order Process Engineering in the context of Active Continuous Quality ControlJohannes Neubauer. 87-88
- Staged Composition SynthesisBoris Düdder, Moritz Martens, Jakob Rehof. 89-90
- Incrementally Synthesizing Controllers from Scenario-Based Product Line SpecificationsJoel Greenyer, Christian Brenner, Maxime Cordy, Patrick Heymans, Erika Gressi. 91-92
- Capture-Avoiding Program Transformations with name-fixSebastian Erdweg, Tijs van der Storm, Yi Dai. 93-94
- On Modularizing Triple Graph Grammars with Rule RefinementAnthony Anjorin, Karsten Saller, Malte Lochau, Andy Schürr. 95-96
- Starting Model Development in Distributed Teams with Incremental Model SplittingDaniel Strüber, Gabriele Taentzer. 97-98
- Implementing Graph Transformations in the Bulk Synchronous Parallel ModelChristian Krause, Matthias Tichy, Holger Giese. 99-100
- UML Profile Generation for Annotation-based ModelingAlexander Bergmayr, Michael Grossniklaus, Manuel Wimmer, Gerti Kappel. 101-102
- It's Not a Bug, It's a Feature: How Misclassification Impacts Bug PredictionKim Herzig, Sascha Just, Andreas Zeller. 103-104
- The Impact of Test Ownership and Team Structure on the Reliability, Effectiveness of Quality Test RunsKim Herzig, Nachiappan Nagappan. 105-106
- Performance Regression Testing of Concurrent ClassesMichael Pradel, Markus Huggler, Thomas R. Gross. 107
- Requirements-based testing with defect taxonomiesMichael Felderer, Armin Beer. 108-109
- Verifying Component and Connector Models against Crosscutting Structural ViewsShahar Maoz, Jan Oliver Ringert, Bernhard Rumpe. 110-111
- Automated Design of Self-Adaptive Software with Control-Theoretical Formal GuaranteesAntonio Filieri, Henry Hoffmann, Martina Maggio. 112-113
- Architecture Challenges for Internal Software Ecosystems: A Large-Scale Industry Case StudyKlaus-Benedikt Schultis, Christoph Elsner, Daniel Lohmann. 114-115
- Sequential Constructiveness, SCCharts for Safety-Critical ApplicationsReinhard von Hanxleden, Björn Duderstadt, Insa Fuhrmann, Christian Motika, Steven Smyth, Michael Mendler, Joaquin Aguado, Stephen Loftus-Mercer, Owen O'Brien. 116-117
- Error models for the representative injection of software defectsAnna Lanzaro, Roberto Natella, Stefan Winter, Domenico Cotroneo, Neeraj Suri. 118-119
- Traceability Gap Analysis for Assessing the Conformance of Software Traceability to Relevant GuidelinesPatrick Rempel, Patrick Mäder, Tobias Kuschke, Jane Cleland-Huang. 120-121
- Requirements Bazaar: Experiences, Added-Value and Acceptance of Requirements Negotiation between End-Users and Open Source Software DevelopersDominik Renzel, Ralf Klamma, Matthias Jarke. 122-123
- Us and Them: A Study of Privacy Requirements Across North America, Asia, and EuropeWalid Maalej, Swapneel Sheth. 124
- Why Feature Dependencies Challenge the Requirements Engineering of Automotive Systems: An Empirical StudyAndreas Vogelsang, Steffen Fuhrmann. 125-126
- Comprehensive Multi-Platform Dynamic Program Analysis for the Java and Dalvik Virtual MachinesWalter Binder, Yudi Zheng, Lubomír Bulej, Haiyang Sun, Petr Tuma. 127-128
- Intrinsic software redundancy for self-healing software systems, automated oracle generationAntonio Carzaniga, Alberto Goffi, Alessandra Gorla, Andrea Mattavelli, Nicolò Perino, Mauro Pezzè, Paolo Tonella. 129-130
- EventBreak: Analyzing the Responsiveness of User Interfaces through Performance-Guided Test GenerationMichael Pradel, Parker Schuh, George C. Necula, Koushik Sen. 131
- Automatische Erzeugung von Unit Tests für Klassen mit Umgebungs-AbhängigkeitenAndrea Arcuri, Gordon Fraser, Juan Pablo Galeotti. 132
- Residual Investigation: Predictive and Precise Bug DetectionKaituo Li, Christoph Reichenbach, Christoph Csallner, Yannis Smaragdakis. 133-134
- Generative und simulative Softwaretests für selbst-adaptive, cyber-physikalische SystemeGeorg Püschel, Christian Piechnick, Uwe Aßmann. 135
- Über die Effizienz des Automatischen TestensMarcel Böhme, Soumya Paul. 136-137
- Optimizing the Deployment of Software in the CloudSören Frey, Florian Fittkau, Wilhelm Hasselbring. 138-139
- Do Users Like This Feature? A Fine Grained Sentiment Analysis of App ReviewsEmitza Guzman, Walid Maalej. 140
- The TURBO Diaries: Application-controlled Frequency Scaling ExplainedJons-Tobias Wamhoff, Stephan Diestelhorst, Christoph Fetzer, Patrick Marlier, Pascal Felber, Dave Dice. 141-142
- Compilation for Secure Two-Party ComputationsMartin Franz, Andreas Holzer, Stefan Katzenbeisser 0001, Christian Schallhart, Helmut Veith. 143-145
- Ein Laufzeitmodel-basierter Ansatz zur Datenschutz-Prüfung von Cloud-SystemenEric Schmieders, Andreas Metzger, Klaus Pohl. 145-146
- How Do Cloud Providers Elicit Consumer Requirements?Irina Todoran, Norbert Seyff, Martin Glinz. 147
- Performanzanalyse von Softwaresystemversionen: Methode und erste ErgebnisseDavid Georg Reichelt, Johannes Schmidt. 153-158
- nlrpBENCH: A Benchmark for Natural Language Requirements ProcessingWalter F. Tichy, Mathias Landhäußer, Sven J. Körner. 159-164
- Improving Traceability of Requirements Through Qualitative Data AnalysisAndreas Kaufmann, Dirk Riehle. 165-170
- Analyse der sozialen Teamstruktur in SoftwareprojektenJohannes Meißner, Frederik Schulz, Wilhelm Rossak. 171-176
- Rahmenwerk zur Ausreißererkennung in Zeitreihen von Software-LaufzeitdatenFlorian Lautenschlager, Andreas Kumlehn, Josef Adersberger, Michael Philippsen. 177-182
- Der Software-Architekt und sein UnwissenWolfgang Golubski, Gerrit Beine. 183-188
- Prototyp einer natürlichsprachlichen Schnittstelle für TabellenkalkulationAlexander Wachtel, Sebastian Weigelt, Philipp Voigt, Walter F. Tichy. 189-194
- Towards API Usability Engineering as a Software Engineering ParadigmChristian Klauß. 195-200
- Virtual Validation of Cyber Physical SystemsPatrik Feth, Thomas Bauer, Thomas Kuhn. 201-206
- Integration der Normen zur Funktionalen Sicherheit in ein organisationsspezifisch angepasstes V-Modell XT und die ProjektpraxisMargit Fries, Herbert Dietrich. 211-214
- Test Driven InfrastructureSchlomo Schapiro. 215-218
- Leveraging pre-commit hooks for context-sensitive checklists: a case studyTobias Baum. 219-222
- Kompakte Anforderungsverfolgung in Modellen - ein PraxisberichtEdward Fischer. 223-226
- Siemens Rail - Industrial Case Study: Model-based Development of a Train Guard MT FunctionWolfgang Böhm 0002, Maximilian Junker. 231
- Textual model-based software/system architecture documentation using MPSVincent Aravantinos, Kenji Miyamoto, Zaur Molotnikov, Nikolaus Regnat, Bernhard Schätz. 232-237
- Mutual knowledge transfer between industry and academia to improve testing with defect taxonomiesMichael Felderer, Armin Beer. 238-242
- Vom Forschungsprototypen zur industriellen Nutzung einer qualitätsgesicherten medizinischen Softwarekomponente - Technologietransfer im CMSSETimm B. Bußhaus, Stefan Fischer 0001, Franziska Kühn, Martin Leucker, Alexander Mildner, Malte Schmitz. 243-248
- GeneAL - von einer Leitstandarchitektur zu innovativen InteraktionsformenEugen Reiswich, Heinz Züllighoven. 249-254
- Kooperative Methoden- undWerkzeugentwicklung zur Cloudmigration von proprietären AnwendungskomponentenBenjamin Nagel, Klaus Schröder, Steffen Becker, Stefan Sauer 0001, Gregor Engels. 255-260
- Keynote: Tipps für Start-ups in der Industrie 4.0August-Wilhelm Scheer. 263
- Keynote: Changing Automotive IndustrieMichael Würtenberger. 264
- 2nd CollaborativeWorkshop on Evolution and Maintenance of Long-Living Systems (EML)Robert Heinrich, Reiner Jung, Marco Konersmann, Eric Schmieders. 267
- Fail Safety in Medical Cyber-Physical Systems (FS-MCPS)Alexander Schlaefer, Sibylle Schupp. 268
- 8. Arbeitstagung Programmiersprachen (ATPS 2015)Clemens Grelck, Baltasar Trancón-y-Widemann. 269-270
- FünfterWorkshop zur Zukunft der Entwicklung softwareintensiver eingebetteter Systeme (ENVISION2020)Ottmar Bender, Wolfgang Böhm 0002, Frank Houdek, Stefan Henkler, Andreas Vogelsang, Thorsten Weyer. 271-272
- Eclipse Internet of Things (Eclipse IoT)Ronald Scholz, Lars Martin. 273-274
- Control-Flow IntegrityAntonio Barresi, Mathias Payer, Thomas R. Gross. 277
- C# durch die Brille des Software-EntwicklersMarkku Lammerz, Dennis Michielse. 278
- Migrating to a Service-Oriented ArchitectureHarry M. Sneed. 279
- Xtext - Werkzeugunterstützung für bestehende sowie eigene Sprachen einfach entwickelnStefan Oehm, Moritz Eysholdt. 280-281
- Optimization of Component Allocations in Middleware Platforms using Performance ModelsFelix Willnecker. 287-290
- Automated Decision Support for Recurring Design Decisions Considering Non-Functional RequirementsAxel Busch. 291-294
- Scalable Sampling and Prioritization for Product-Line TestingMustafa Al-Hajjaji. 295-298
- Ein Ansatz zur Standardisierung von Business Intelligence in der CloudOliver Norkus. 299-302
- Keynote: Pair - Requirements EngineeringAndreas Spillner. 305-306
- Evolutionäre Entwicklung einer Web-Anwendung im kirchlichen UmfeldUrsula Schmitt-Wagner, Alexander van der Vekens. 307-318
- Ausführbare Spezifikationen im Projektalltag - Ein ErfahrungsberichtJens Nerche. 319-333
- Markup-basiertes Spezifikations- und Anforderungsmanagement in agilen SoftwareprojektenRoman Roelofsen, Stephan Wilczek. 334-345
- Gegenseitige Beeinflussungen von Testautomatisierung, Testmanagement und EntwicklungJan Düttmann, Stephan Kleuker. 346-361
- Ein generativer Ansatz für den automatisierten Software-TestAnne Göthlich, Karin Eisenblätter, Michael Kroll, Johannes Schad, Heike Vocke. 362-377
- Testautomatisierung Gute Qualität fällt nicht vom HimmelMaximilian Azimi, Jens-Rainer Felske, Sebastian Lauber, Jan-Henrich Mattfeld, Pascal Schneider, Krischan Stapelfeldt, Timm Suhl, Nils Techau, Karin Vosseberg. 378-385
- Aufwandsschätzung der Softwarewartung und -evolutionHarry M. Sneed. 386-402
- Traceability von Anforderungen und Tests in agilen SoftwareentwicklungsprojektenThomas Wolfenstetter, Jonas Zitzelsberger, Markus Böhm, Helmut Krcmar. 403-418
- Erfahrungsbericht Datenbankbasierte Metrikverarbeitung für Clean Code Development in BrownfieldprojektenJens Nerche. 419-432
- Literate Programming zur Dokumentation in der SystemadministrationMeik Teßmer. 433-445
- Prozessorientierte Anforderungsanalyse für die Einführung integrierter Campus-Management-SystemeGunnar Auth. 446-461
- Requirements Engineering aus Sicht von Hochschulrechenzentren - Analyse und Entwurf von IT-Diensten an HochschulenIvonne Erfurth, Christian Erfurth. 462-469
- Von der Software-Dissertation zum Lean StartupRonny Kaiser, Georg Püschel, Sebastian Götz, Katrin Kahle, Uwe Aßmann. 470-483
- Test-Driven Requirements ManagementHarry M. Sneed. 484
- Ausführbare Spezifikationen mit der Language Workbench MPSJens Nerche. 485