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
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
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
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
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
Understanding How Programmers Forget. 85-86 - Kurt Schneider
Positive affect through interactions in meetings: The role of proactive and supportive statements. 87-88 - Regina Hebig
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
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
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
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
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
Quality Assurance of Machine Learned Models by Integrating Domain Knowledge and Formal Verification. 159-160 - Qusai Ramadan
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
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.
last updated on 2025-01-02 17:59 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: