| Vol-2581 urn:nbn:de:0074-2581-0 Copyright © 2020 for the individual papers by the papers' authors. Copyright © 2020 for the volume as a collection by its editors. This volume and its papers are published under the Creative Commons License Attribution 4.0 International (CC BY 4.0).

# SE-WS 2020
Software Engineering Workshops 2020

### Combined Proceedings of the Workshops at Software Engineering 2020
Co-located with the German Software Engineering Conference 2020 (SE 2020)

### Innsbruck, Österreich, March 05, 2020.

Edited by

### Regina Hebig (Chalmers | University of Gothenburg, Sweden)
Robert Heinrich (Karlsruher Institut für Technologie, Germany)

## Table of Contents

- Message from the Workshop Chairs
  Regina Hebig, Robert Heinrich

### ASE 2020: 17th Workshop on Automotive Software Engineering

- ASE 2020 Preface
  Patrick Ebel, Steffen Helke, Ina Schaefer, Andreas Vogelsang
- Partial Consistency for Requirement Engineering with Traffic Sequence Charts
  Jan Steffen Becker
- A Domain-Specific Language Based Architecture Modeling Approach for Safety Critical Automotive Software Systems
  Stefan Schlichthaerle, Klaus Becker, Sebastian Sperber
- FPGA-Based Debugging with Dynamic SignalSelection at Run-Time
  Gernot Fiala, Tobias Scheipel, Werner Neuwirth, Marcel Baunach

### AESP 2020: 1st Workshop Requirement Management in Enterprise Systems Projects

- AESP 2020 Preface
  Christoph Weiss, Johannes Keckeis
- Tailoring and Evaluating Non-Functional Interests Towards Task-Oriented Functional Requirements
  Philipp Haindl, Reinhold Plösch, Christian Körner
- A Logic to Handle, Define and Process Item Characteristics in ERP
  S. Ender Hancioglu
- Professionalisation in ERP Selection
  Stefan Humpl
- A Framework to Combine Corporate Budgeting with Agile Project Management
  Christian Ploder, Thomas Dilger, Reinhard Bernsteiner
- Procedural Model for Selecting Enterprise Systems Based on Project Management Software
  Christoph Weiss, Johannes Keckeis
- Exploration of Lean Management Methods
  Robert Friedemann, Michaela Gläß

### AVIOSE 2020: 2nd Workshop on Avionics Systems and Software Engineering

- AVIOSE 2020 Preface
  Björn Annighöfer, Andreas Schweiger, Marina Reich
- Approach to Systematic Test Signal Definition forOperation Scenarios of Aircraft Systems
  Dennis Hillig, Frank Thielecke
- Towards Using Formal Methods in Prototyping:Advantage or Impediment?
  Sebastian Schirmer, Tino Teige, Christoph Torens, Udo Brockmeyer
- An Approach for Logic-based Knowledge Representation and Automated Reasoning over Underspecification and Refinement in Safety-Critical Cyber-Physical Systems
  Hendrik Kausch, Mathias Pfeiffer, Deni Raco, Bernhard Rumpe
- Decentralised Avionics and Software Architecture for Sounding Rocket Missions
  Jasminka Matevska , Enrico Noack, Manuel Reinhold, Eike-Kristian Diekmann

### EMLS 2020: 7th Collaborative Workshop on Evolution and Maintenance of Long-Living Systems

- EMLS 2020 Preface
  Reiner Jung, Marco Konersmann, Eric Schmieders
- Model-driven Development of Evolving Secure Software Systems
  Sven Peldszus
- Test Case Co-Migration Method Patterns
  Ivan Jovanovikj, Enes Yigitbas, Stefan Sauer, Gregor Engels
- Maintenance of Long-Living Smart Contracts
  Matthias Lohr, Sven Peldszus

2020-03-20: submitted by Regina Hebig, metadata incl. bibliographic data published under Creative Commons CC0
2020-03-23: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|