


default search action
SE/SWM 2019: Stuttgart, Germany
- Steffen Becker, Ivan Bogicevic, Georg Herzwurm, Stefan Wagner:

Software Engineering and Software Management, SE/SWM 2019, Stuttgart, Germany, February 18-22, 2019. LNI P-292, GI 2019, ISBN 978-3-88579-686-2 - Olaf Kolditz:

Keynote: Prof. Dr. Olaf Kolditz (Umweltinformatik, Helmholzzentrum für Umweltforschung). 21-22 - Jonas Huthmacher:

Keynote: Jonas Huthmacher (Senior Product Manager beim Lab1886, Daimler AG). 23 - Stefanie Betz:

Keynote: Prof. Dr. Stefanie Betz (Sozioinformatik, Hochschule Furtwangen). 25-26 - Robert Heinrich, Reiner Jung, Marco Konersmann, Eric Schmieders:

6th Collaborative Workshop on Evolution and Maintenance of Long-Living Systems. 29-30 - Steffen Helke, Ina Schaefer, Andreas Vogelsang

:
16. Workshop Automotive Software Engineering. 31-32 - Björn Annighöfer

, Andreas Schweiger, Marina Reich:
1st Workshop on Avionics Systems and Software Engineering (AVIOSE'19). 33-35 - Stephan Krusche, Marco Kuhrmann, Kurt Schneider

:
2nd Workshop on Innovative Software Engineering Education. 37-38 - Arne N. Johanson, Wilhelm Hasselbring

:
Software Engineering for Computational Science. 43-44 - Jennifer Brings, Marian Daun

, Markus Kempe, Thorsten Weyer
:
Validierung und Verifikation von emergentem Verhalten im Software Engineering - Ergebnisse eines Vergleichs unterschiedlicher Suchmethoden. 47-48 - Dominik Helm, Florian Kübler, Michael Eichberg, Michael Reif, Mira Mezini:

A Unified Lattice Model and Framework for Purity Analyses. 51-52 - Abdullah M. Alshanqiti, Reiko Heckel, Timo Kehrer:

Inferring Visual Contracts from Java Programs. 53-54 - Mario Gleirscher:

Risk Mitigation Strategies in High Automation. 55-56 - Sinem Getir, André van Hoorn, Timo Kehrer, Yannic Noller, Matthias Tichy:

Supporting Semi-Automatic Co-Evolution of Architecture and Fault Tree Models. 57-58 - Salome Maro, Jan-Philipp Steghöfer, Miroslaw Staron

:
Software Traceability in the Automotive Domain: Challenges and Solutions. 61-62 - Michael Rath, Jacob Rendall, Jin L. C. Guo, Jane Cleland-Huang, Patrick Mäder:

Traceability in the Wild: Automatically Augmenting Incomplete Trace Links. 63 - Yannic Noller, Rody Kersten, Corina S. Pasareanu:

Badger: Complexity Analysis with Fuzzing and Symbolic Execution. 65-66 - Jan Ole Johanssen, Anja Kleebaum

, Barbara Paech, Bernd Bruegge:
The Eye of Continuous Software Engineering. 67-68 - Maximilian Capraro, Dirk Riehle:

Inner Source Definition, Benefits, and Challenges. 71-72 - Christoph Stanik, Lloyd Montgomery, Daniel Martens, Davide Fucci, Walid Maalej:

A Simple NLP-based Approach to Support Onboarding and Retention in Open Source Communities. 73-74 - Sebastian Krieter, Thomas Thüm, Sandro Schulze

, Reimar Schröter, Gunter Saake:
Propagating Configuration Decisions with Modal Implication Graphs. 77-78 - Mukelabai Mukelabai, Damir Nesic, Salome Maro, Thorsten Berger, Jan-Philipp Steghöfer:

Tackling combinatorial explosion: a study of industrial needs and practices for analyzing highly configurable systems. 79-80 - Sebastian Baltes, Stephan Diehl:

Towards a Theory of Software Development Expertise. 83-84 - Jacob Krüger

, Jens Wiemann, Wolfram Fenske, Gunter Saake, Thomas Leich:
Understanding How Programmers Forget. 85-86 - Kurt Schneider

, Jil Klünder, Fabian Kortum, Lisa Handke, Julia Straube, Simone Kauffeld:
Positive affect through interactions in meetings: The role of proactive and supportive statements. 87-88 - Regina Hebig

, Christoph Seidl, Thorsten Berger, John Kook Pedersen, Andrzej Wasowski
:
Model Transformation Languages under a Magnifying Glass: A Controlled Experiment with Xtend, ATL, and QVT. 91-92 - Harald Störrle:

How are Conceptual Models used in Industrial Software Development? A Descriptive Survey. 93-94 - Oliver Karras, Alexandra Risch, Kurt Schneider

:
Linking Use Cases and Associated Requirements: On the Impact of Linking Variants on Reading Behavior. 95-96 - Jóakim von Kistowski, Simon Eismann, Norbert Schmitt, André Bauer, Johannes Grohmann, Samuel Kounev:

TeaStore: A Micro-Service Reference Application for Benchmarking, Modeling and Resource Management Research. 99-100 - Holger Knoche, Wilhelm Hasselbring

:
Experience with Microservices for Legacy Software Modernization. 101-102 - Jil Klünder, Philipp Hohl, Kurt Schneider

:
Software-Produktlinien agilisieren: Ein Transformationsmodell für große Unternehmen. 103-104 - Christian Kröher, Lea Gerling, Klaus Schmid

:
Identifying the Intensity of Variability Changes in Software Product Line Evolution. 105-106 - Micha Bosler, Christopher Jud, Georg Herzwurm

:
Connected-Car-Services: eine Klassifikation der Plattformen für das vernetzte Automobil. 109-111 - Dimitri Petrik, Georg Herzwurm

:
Stakeholderanalyse in plattformbasierten Ökosystemen für industrielle IoT-Plattformen. 113-114 - Eckhart Hanser:

Wandel der Vorgehensmodelle im Zeitalter der digitalen Transformation - Warum IT-Projekte agil werden müssen. 115-116 - Andreas Helferich, Katharina Peine:

Designing an App that promotes Sustainable Mobility - Agile and user-centered development of an app and corresponding business model. 117-118 - Morten Mossige, Arnaud Gotlieb, Helge Spieker, Hein Meling, Mats Carlsson:

Time-aware Test Execution Scheduling for Cyber-Physical Systems. 121-122 - Marian Daun

, Bastian Tenbergen
, Jennifer Brings, Patricia Aluko Obe:
Sichtenbasierte Kontextmodellierung für die Entwicklung kollaborativer cyber-physischer Systeme. 123-124 - Ronny Seiger, Steffen Huber, Peter Heisig, Uwe Assmann:

A Framework for Self-adaptive Workflows in Cyber-physical Systems. 125-126 - Harry M. Sneed:

Checking Consistency and Completeness of Software Systems. 129-132 - Daniela S. Cruzes, Michael Felderer

, Tosin Daniel Oyetoyan, Matthias Gander, Irdin Pekaric:
How is security testing done in agile teams? A cross-case analysis of four software teams. 133-134 - Marian Daun

, Jennifer Brings, Kevin Keller, Sarah Brinckmann, Thorsten Weyer
:
Erfolgreicher Technologietransfer im Software Engineering - Transferansätze, Erfolgsfaktoren und Fallstricke. 135-136 - Mohamed Soliman, Amr Rekaby Salama, Matthias Galster, Olaf Zimmermann, Matthias Riebisch:

Improving the Search for Architecture Knowledge in Online Developer Communities. 139-140 - Rick Rabiser

, Jürgen Thanhofer-Pilisch, Michael Vierhauser
, Paul Grünbacher
, Alexander Egyed:
Developing and Evolving a DSL-based Approach for Runtime Monitoring of Systems of Systems. 141-142 - Markus Voelter:

Using Language Workbenches and Domain-Specific Languages for Safety-critical Software Development. 143-144 - Gabriele Taentzer, Timo Kehrer, Christopher Pietsch, Udo Kelter:

A Formal Framework for Incremental Model Slicing. 147-149 - Dirk Beyer

, Marie-Christine Jakobs
, Thomas Lemberger, Heike Wehrheim:
Combining Verifiers in Conditional Model Checking via Reducers. 151-152 - Leen Lambers, Daniel Strüber, Gabriele Taentzer, Kristopher Born, Jevgenij Huebert:

Multi-Granular Conflict and Dependency Analysis in Software Engineering based on Graph Transformation (Summary). 153-154 - Arnab Sharma, Heike Wehrheim:

Testing Balancedness of ML Algorithms. 157-158 - Rüdiger Ehlers

, Jörg Grieser, Christoph Knieke, Andreas Rausch, Mirco Schindler:
Quality Assurance of Machine Learned Models by Integrating Domain Knowledge and Formal Verification. 159-160 - Qusai Ramadan

, Amir Shayan Ahmadian
, Jan Jürjens, Steffen Staab
, Daniel Strüber:
Explaining Algorithmic Decisions with respect to Fairness. 161-162 - Alexander Knüppel, Thomas Thüm, Carsten Immanuel Pardylla, Ina Schaefer:

Understanding Parameters of Deductive Verification: An Empirical Investigation of KeY. 165-166 - Diego Marmsoler:

Verifying Dynamic Architectures using Model Checking and Interactive Theorem Proving. 167-169 - Sascha El-Sharkawy

, Nozomi Yamagishi-Eichler, Klaus Schmid
:
Metrics for Analyzing Variability and Its Implementation in Software Product Lines: A Systematic Literature Review. 171-172 - Harald Foidl, Michael Felderer

:
Integrating software quality models into risk-based testing. 173-174 - Sardar Muhammad Sulaman, Armin Beer, Michael Felderer

, Martin Höst:
Comparison of the FMEA and STPA safety analysis methods-a case study. 175-176 - Zoltán Ádám Mann:

Architecture and Quality of Cloud Simulators. 177-178 - Jens Bürger, Daniel Strüber, Stefan Gärtner, Thomas Ruhroth, Jan Jürjens, Kurt Schneider

:
A Framework for Semi-Automated Co-Evolution of Security Knowledge and System Models (Summary). 179-180 - Thorsten Haendler

, Gustaf Neumann:
Serious Games for Software Refactoring. 181-182

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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














