SE-WS 2020
Software Engineering Workshops 2020

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