default search action
Software Engineering & Management 2015: Dresden, Germany
- Uwe Aßmann, Birgit Demuth, Thorsten Spitta, Georg Püschel, Ronny Kaiser:
Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März - 20. März 2015, Dresden, Germany. LNI P-239, GI 2015, ISBN 978-3-88579-633-6
Software Engineering
Wissenschaftliches Programm
Modeling 1
- Lars Hamann, Martin Gogolla:
Endogene Metamodellierung der Semantik von neueren UML 2 Sprachmitteln. Software Engineering & Management 2015: 31-32 - Samuel Kounev, Fabian Brosig, Nikolaus Huber:
The Descartes Modeling Language for Self-Aware Performance and Resource Management. Software Engineering & Management 2015: 33-34 - Harald Störrle:
On the Impact of Layout Quality to Understanding UML Diagrams: Not Just Pretty Pictures. Software Engineering & Management 2015: 35-36 - Grischa Liebel, Nadja Marko, Matthias Tichy, Andrea Leitner, Jörgen Hansson:
Industrielle Praxis modellbasierter Entwicklung im Bereich eingebetteter Systeme. Software Engineering & Management 2015: 37-38
Programming Languages and Type Systems
- Tihomir Gvero, Viktor Kuncak, Ivan Kuraj, Ruzica Piskac:
InSynth: A System for Code Completion using Types and Weights. Software Engineering & Management 2015: 39-40 - Heather Miller, Philipp Haller:
A Type-Based Foundation for Closure-Passing in the Age of Concurrency and Distribution. Software Engineering & Management 2015: 41-42 - Zvonimir Pavlinovic, Tim King, Thomas Wies:
Finding Minimum Type Error Sources. Software Engineering & Management 2015: 43-44 - Luminous Fennell, Peter Thiemann:
Gradual Typing for Annotated Type Systems. Software Engineering & Management 2015: 45-46
Static Analysis
- Michael Pressler, Alexander Viehl, Oliver Bringmann, Wolfgang Rosenstiel:
Fast Software Performance Evaluation for Embedded Hardware in Componentbased Embedded Systems. Software Engineering & Management 2015: 47-48 - Alexander von Rhein, Sven Apel:
Strategies for Analyzing Configurable Systems. Software Engineering & Management 2015: 49-50 - Antonio Filieri, Corina S. Pasareanu, Willem Visser, Jaco Geldenhuys:
Statistical Symbolic Execution with Informed Sampling. Software Engineering & Management 2015: 51-52 - René Just, Michael D. Ernst, Gordon Fraser:
Mutation Analysis for the Real World: Effectiveness, Efficiency, and Proper Tool Support. Software Engineering & Management 2015: 53-54
Modeling 2 - Modeling and Software Product Lines
- Mahdi Derakhshanmanesh, Jürgen Ebert, Thomas Iguchi, Gregor Engels:
Model-Integrating Software Components. Software Engineering & Management 2015: 55-56 - Thomas Thüm, Sven Apel, Christian Kästner, Ina Schaefer, Gunter Saake:
Analysis Strategies for Software Product Lines: A Classification and Survey. Software Engineering & Management 2015: 57-58 - Clemens Dubslaff:
Advances in Quantitative Software Product Line Analysis. Software Engineering & Management 2015: 59-60 - Matthias Kowal, Ina Schaefer, Mirco Tribastone:
Family-Based Performance Analysis of Variant-Rich Software Systems. Software Engineering & Management 2015: 61-62
Comprehension
- Janet Siegmund, Sven Apel, Christian Kästner, Chris Parnin, Anja Bethmann, Gunter Saake, Thomas Leich, André Brechmann:
Measuring Program Comprehension with Functional Magnetic Resonance Imaging. Software Engineering & Management 2015: 63-64 - Walid Maalej, Rebecca Tiarks, Tobias Röhm, Rainer Koschke:
On the Comprehension of Program Comprehension. Software Engineering & Management 2015: 65-68 - Franz Zieris, Lutz Prechelt:
On Knowledge Transfer Skill in Pair Programming. Software Engineering & Management 2015: 67-68 - Sebastian Baltes, Stephan Diehl:
Sketches and Diagrams in Practice. Software Engineering & Management 2015: 69-70
Verification
- Stephan Arlt, Sergio Feo-Arenis, Andreas Podelski, Martin Wehrle:
System Testing and Program Verification. Software Engineering & Management 2015: 71-72 - Dirk Beyer, Stefan Löwe:
Interpolation for Value Analysis. Software Engineering & Management 2015: 73-74 - Dennis Felsing, Sarah Grebing, Vladimir Klebanov, Philipp Rümmer, Mattias Ulbrich:
Automating Regression Verification. Software Engineering & Management 2015: 75-76 - René Just, Michael D. Ernst, Suzanne Millstein:
Collaborative Verification of Information Flow for a High-Assurance App Store. Software Engineering & Management 2015: 77
Modeling 3 - Variability
- Tanja Mayerhofer, Philip Langer, Gerti Kappel:
Semantic Model Differencing Based on Execution Traces. Software Engineering & Management 2015: 78-79 - Thorsten Berger, Sarah Nadi:
Variability Models in Large-Scale Systems: A Study and a Reverse-Engineering Technique. Software Engineering & Management 2015: 80-81 - Sandro Schulze, Ina Schaefer:
Refactoring Delta-Oriented Software Product Lines. Software Engineering & Management 2015: 82
Evolution
- Stefan Gärtner, Thomas Ruhroth, Jens Bürger, Kurt Schneider, Jan Jürjens:
Towards Maintaining Long-Living Information Systems by Incorporating Security Knowledge. Software Engineering & Management 2015: 83-84 - Ingo Scholtes, Marcelo Serrano Zanetti, Claudio Juan Tessone, Frank Schweitzer:
Automated Software Remodularization Based on Move Refactoring - A Complex Systems Approach. Software Engineering & Management 2015: 85-86 - Johannes Neubauer:
Higher-Order Process Engineering in the context of Active Continuous Quality Control. Software Engineering & Management 2015: 87-88
Synthesis
- Boris Düdder, Moritz Martens, Jakob Rehof:
Staged Composition Synthesis. Software Engineering & Management 2015: 89-90 - Joel Greenyer, Christian Brenner, Maxime Cordy, Patrick Heymans, Erika Gressi:
Incrementally Synthesizing Controllers from Scenario-Based Product Line Specifications. Software Engineering & Management 2015: 91-92 - Sebastian Erdweg, Tijs van der Storm, Yi Dai:
Capture-Avoiding Program Transformations with name-fix. Software Engineering & Management 2015: 93-94
Modeling 4 - Model Transformations
- Anthony Anjorin, Karsten Saller, Malte Lochau, Andy Schürr:
On Modularizing Triple Graph Grammars with Rule Refinement. Software Engineering & Management 2015: 95-96 - Daniel Strüber, Gabriele Taentzer:
Starting Model Development in Distributed Teams with Incremental Model Splitting. Software Engineering & Management 2015: 97-98 - Christian Krause, Matthias Tichy, Holger Giese:
Implementing Graph Transformations in the Bulk Synchronous Parallel Model. Software Engineering & Management 2015: 99-100 - Alexander Bergmayr, Michael Grossniklaus, Manuel Wimmer, Gerti Kappel:
UML Profile Generation for Annotation-based Modeling. Software Engineering & Management 2015: 101-102
Testing 1
- Kim Herzig, Sascha Just, Andreas Zeller:
It's Not a Bug, It's a Feature: How Misclassification Impacts Bug Prediction. Software Engineering & Management 2015: 103-104 - Kim Herzig, Nachiappan Nagappan:
The Impact of Test Ownership and Team Structure on the Reliability, Effectiveness of Quality Test Runs. Software Engineering & Management 2015: 105-106 - Michael Pradel, Markus Huggler, Thomas R. Gross:
Performance Regression Testing of Concurrent Classes. Software Engineering & Management 2015: 107 - Michael Felderer, Armin Beer:
Requirements-based testing with defect taxonomies. Software Engineering & Management 2015: 108-109
Software Architecture and Specification
- Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe:
Verifying Component and Connector Models against Crosscutting Structural Views. Software Engineering & Management 2015: 110-111 - Antonio Filieri, Henry Hoffmann, Martina Maggio:
Automated Design of Self-Adaptive Software with Control-Theoretical Formal Guarantees. Software Engineering & Management 2015: 112-113 - Klaus-Benedikt Schultis, Christoph Elsner, Daniel Lohmann:
Architecture Challenges for Internal Software Ecosystems: A Large-Scale Industry Case Study. Software Engineering & Management 2015: 114-115 - Reinhard von Hanxleden, Björn Duderstadt, Insa Fuhrmann, Christian Motika, Steven Smyth, Michael Mendler, Joaquín Aguado, Stephen Loftus-Mercer, Owen O'Brien:
Sequential Constructiveness, SCCharts for Safety-Critical Applications. Software Engineering & Management 2015: 116-117
Software Analytics
- Anna Lanzaro, Roberto Natella, Stefan Winter, Domenico Cotroneo, Neeraj Suri:
Error models for the representative injection of software defects. Software Engineering & Management 2015: 118-119 - Patrick Rempel, Patrick Mäder, Tobias Kuschke, Jane Cleland-Huang:
Traceability Gap Analysis for Assessing the Conformance of Software Traceability to Relevant Guidelines. Software Engineering & Management 2015: 120-121 - Dominik Renzel, Ralf Klamma, Matthias Jarke:
Requirements Bazaar: Experiences, Added-Value and Acceptance of Requirements Negotiation between End-Users and Open Source Software Developers. Software Engineering & Management 2015: 122-123 - Walid Maalej, Swapneel Sheth:
Us and Them: A Study of Privacy Requirements Across North America, Asia, and Europe. Software Engineering & Management 2015: 124 - Andreas Vogelsang, Steffen Fuhrmann:
Why Feature Dependencies Challenge the Requirements Engineering of Automotive Systems: An Empirical Study. Software Engineering & Management 2015: 125-126 - Walter Binder, Yudi Zheng, Lubomír Bulej, Haiyang Sun, Petr Tuma:
Comprehensive Multi-Platform Dynamic Program Analysis for the Java and Dalvik Virtual Machines. Software Engineering & Management 2015: 127-128
Testing 2
- Antonio Carzaniga, Alberto Goffi, Alessandra Gorla, Andrea Mattavelli, Nicolò Perino, Mauro Pezzè
, Paolo Tonella:
Intrinsic software redundancy for self-healing software systems, automated oracle generation. 129-130 - Michael Pradel, Parker Schuh, George C. Necula, Koushik Sen:
EventBreak: Analyzing the Responsiveness of User Interfaces through Performance-Guided Test Generation. 131 - Andrea Arcuri, Gordon Fraser, Juan Pablo Galeotti:
Automatische Erzeugung von Unit Tests für Klassen mit Umgebungs-Abhängigkeiten. 132 - Kaituo Li, Christoph Reichenbach, Christoph Csallner, Yannis Smaragdakis:
Residual Investigation: Predictive and Precise Bug Detection. 133-134 - Georg Püschel, Christian Piechnick, Uwe Aßmann:
Generative und simulative Softwaretests für selbst-adaptive, cyber-physikalische Systeme. 135 - Marcel Böhme, Soumya Paul:
Über die Effizienz des Automatischen Testens. 136-137
Quality of Service
- Sören Frey, Florian Fittkau, Wilhelm Hasselbring:
Optimizing the Deployment of Software in the Cloud. 138-139 - Emitza Guzman, Walid Maalej:
Do Users Like This Feature? A Fine Grained Sentiment Analysis of App Reviews. 140 - Jons-Tobias Wamhoff, Stephan Diestelhorst, Christof Fetzer, Patrick Marlier, Pascal Felber
The TURBO Diaries: Application-controlled Frequency Scaling Explained. 141-142 - Martin Franz, Andreas Holzer, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith:
Compilation for Secure Two-Party Computations. 143-145 - Eric Schmieders, Andreas Metzger, Klaus Pohl:
Ein Laufzeitmodel-basierter Ansatz zur Datenschutz-Prüfung von Cloud-Systemen. 145-146 - Irina Todoran, Norbert Seyff, Martin Glinz:
How Do Cloud Providers Elicit Consumer Requirements? 147
Software Engineering Ideas
- David Georg Reichelt, Johannes Schmidt:
Performanzanalyse von Softwaresystemversionen: Methode und erste Ergebnisse. 153-158 - Walter F. Tichy, Mathias Landhäußer, Sven J. Körner:
nlrpBENCH: A Benchmark for Natural Language Requirements Processing. 159-164 - Andreas Kaufmann, Dirk Riehle:
Improving Traceability of Requirements Through Qualitative Data Analysis. 165-170 - Johannes Meißner, Frederik Schulz, Wilhelm R. Rossak:
Analyse der sozialen Teamstruktur in Softwareprojekten. 171-176 - Florian Lautenschlager, Andreas Kumlehn, Josef Adersberger, Michael Philippsen:
Rahmenwerk zur Ausreißererkennung in Zeitreihen von Software-Laufzeitdaten. 177-182 - Wolfgang Golubski, Gerrit Beine:
Der Software-Architekt und sein Unwissen. 183-188 - Alexander Wachtel, Sebastian Weigelt, Philipp Voigt, Walter F. Tichy:
Prototyp einer natürlichsprachlichen Schnittstelle für Tabellenkalkulation. 189-194 - Christian Klauß:
Towards API Usability Engineering as a Software Engineering Paradigm. 195-200 - Patrik Feth, Thomas Bauer, Thomas Kuhn:
Virtual Validation of Cyber Physical Systems. 201-206
Software & Systems Engineering Essentials
- Margit Fries, Herbert Dietrich:
Integration der Normen zur Funktionalen Sicherheit in ein organisationsspezifisch angepasstes V-Modell XT und die Projektpraxis. 211-214 - Schlomo Schapiro:
Test Driven Infrastructure. 215-218 - Tobias Baum:
Leveraging pre-commit hooks for context-sensitive checklists: a case study. 219-222 - Edward Fischer:
Kompakte Anforderungsverfolgung in Modellen - ein Praxisbericht. 223-226
Technologietransferprogramm
- Wolfgang Böhm, Maximilian Junker:
Siemens Rail - Industrial Case Study: Model-based Development of a Train Guard MT Function. 231 - Vincent Aravantinos, Kenji Miyamoto, Zaur Molotnikov, Nikolaus Regnat, Bernhard Schätz:
Textual model-based software/system architecture documentation using MPS. 232-237 - Michael Felderer, Armin Beer:
Mutual knowledge transfer between industry and academia to improve testing with defect taxonomies. 238-242 - Timm B. Bußhaus, Stefan Fischer, Franziska Kühn, Martin Leucker, Alexander Mildner, Malte Schmitz:
Vom Forschungsprototypen zur industriellen Nutzung einer qualitätsgesicherten medizinischen Softwarekomponente - Technologietransfer im CMSSE. 243-248 - Eugen Reiswich, Heinz Züllighoven:
GeneAL - von einer Leitstandarchitektur zu innovativen Interaktionsformen. 249-254 - Benjamin Nagel, Klaus Schröder, Steffen Becker, Stefan Sauer, Gregor Engels:
Kooperative Methoden- undWerkzeugentwicklung zur Cloudmigration von proprietären Anwendungskomponenten. 255-260
Startup-Programm
- August-Wilhelm Scheer:
Keynote: Tipps für Start-ups in der Industrie 4.0. 263 - Michael Würtenberger:
Keynote: Changing Automotive Industrie. 264
Workshops
- Robert Heinrich, Reiner Jung, Marco Konersmann, Eric Schmieders:
2nd CollaborativeWorkshop on Evolution and Maintenance of Long-Living Systems (EML). 267 - Alexander Schlaefer, Sibylle Schupp:
Fail Safety in Medical Cyber-Physical Systems (FS-MCPS). 268 - Clemens Grelck, Baltasar Trancón y Widemann:
8. Arbeitstagung Programmiersprachen (ATPS 2015). 269-270 - Ottmar Bender, Wolfgang Böhm, Frank Houdek, Stefan Henkler, Andreas Vogelsang, Thorsten Weyer:
FünfterWorkshop zur Zukunft der Entwicklung softwareintensiver eingebetteter Systeme (ENVISION2020). 271-272 - Ronald Scholz, Lars Martin:
Eclipse Internet of Things (Eclipse IoT). 273-274
Tutorien
- Antonio Barresi, Mathias Payer, Thomas R. Gross:
Control-Flow Integrity. 277 - Markku Lammerz, Dennis Michielse:
C# durch die Brille des Software-Entwicklers. 278 - Harry M. Sneed:
Migrating to a Service-Oriented Architecture. 279 - Stefan Oehm, Moritz Eysholdt:
Xtext - Werkzeugunterstützung für bestehende sowie eigene Sprachen einfach entwickeln. 280-281
Doktorandensymposium
- Felix Willnecker:
Optimization of Component Allocations in Middleware Platforms using Performance Models. 287-290 - Axel Busch:
Automated Decision Support for Recurring Design Decisions Considering Non-Functional Requirements. 291-294 - Mustafa Al-Hajjaji:
Scalable Sampling and Prioritization for Product-Line Testing. 295-298 - Oliver Norkus:
Ein Ansatz zur Standardisierung von Business Intelligence in der Cloud. 299-302
Software Management
- Andreas Spillner:
Keynote: Pair - Requirements Engineering. 305-306
Wissenschaftliches Programm
Requirements
- Ursula Schmitt-Wagner, Alexander van der Vekens:
Evolutionäre Entwicklung einer Web-Anwendung im kirchlichen Umfeld. 307-318 - Jens Nerche:
Ausführbare Spezifikationen im Projektalltag - Ein Erfahrungsbericht. 319-333 - Roman Roelofsen, Stephan Wilczek:
Markup-basiertes Spezifikations- und Anforderungsmanagement in agilen Softwareprojekten. 334-345
Test
- Jan Düttmann, Stephan Kleuker:
Gegenseitige Beeinflussungen von Testautomatisierung, Testmanagement und Entwicklung. 346-361 - Anne Göthlich, Karin Eisenblätter, Michael Kroll, Johannes Schad, Heike Vocke:
Ein generativer Ansatz für den automatisierten Software-Test. 362-377 - Maximilian Azimi, Jens-Rainer Felske, Sebastian Lauber, Jan-Henrich Mattfeld, Pascal Schneider, Krischan Stapelfeldt, Timm Suhl, Nils Techau, Karin Vosseberg:
Testautomatisierung Gute Qualität fällt nicht vom Himmel. 378-385
Qualitätssicherung
- Harry M. Sneed:
Aufwandsschätzung der Softwarewartung und -evolution. 386-402 - Thomas Wolfenstetter, Jonas Zitzelsberger, Markus Böhm, Helmut Krcmar:
Traceability von Anforderungen und Tests in agilen Softwareentwicklungsprojekten. 403-418 - Jens Nerche:
Erfahrungsbericht Datenbankbasierte Metrikverarbeitung für Clean Code Development in Brownfieldprojekten. 419-432
IT-Management in Hochschulen
- Meik Teßmer:
Literate Programming zur Dokumentation in der Systemadministration. 433-445 - Gunnar Auth:
Prozessorientierte Anforderungsanalyse für die Einführung integrierter Campus-Management-Systeme. 446-461 - Ivonne Erfurth, Christian Erfurth:
Requirements Engineering aus Sicht von Hochschulrechenzentren - Analyse und Entwurf von IT-Diensten an Hochschulen. 462-469 - Ronny Kaiser, Georg Püschel, Sebastian Götz, Katrin Kahle, Uwe Aßmann:
Von der Software-Dissertation zum Lean Startup. 470-483
Tutorials
- Harry M. Sneed:
Test-Driven Requirements Management. 484 - Jens Nerche:
Ausführbare Spezifikationen mit der Language Workbench MPS. 485
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-04 20:29 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: