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