This volume includes the proceedings of the Workshops of the 2020 Software Engineering conference (SE'20). SE is the leading conference on software engineering in German-speaking countries and is annually organized by the Gesellschaft fu¨r Informatik (GI). SE serves as a platform to exchange experiences and insights in the area of software engineering. The conference addresses a mixed audience from practice and academia. SE'20 was hold in Innsbruck, Austria. The workshops were hold on the 24th and 25th of February 2020.
The workshops were selected by the workshop chairs, considering the feasibility of the proposed workshop and the potential to attract an engaged audience. All four submitted proposals were of high quality and therefore were accepted. 17th Workshop on Automotive Software Engineering (ASE’20) ASE’20 focuses on methods, techniques, and tools for support software development in the automotive domain. The workshop contributions addressed techniques to support consistency of requirements, approaches to model architectures for safety critical software systems in the automotive domain, and runtime debugging techniques. 2nd Workshop on Avionics Systems and Software Engineering (AvioSE’20) AvioSE’20 focused on system and software development in the aerospace domain, especially considering issues caused by increasing complexity of systems. The contributions of this workshop concerned an approach to systematically test signal definitions for aircraft systems, the use of formal methods is prototyping, automated reasoning over under-specifications for safety-critical systems, and software architectures for decentralized avionics and rocket missions. 7th Collaborative Workshop on Evolution and Maintenance of Long-Living Systems (EMLS’20) The EMLS series focuses on the different phases in the software life-cycle, considering especially the need for long-living systems. This year’s contributions discussed model-driven development approaches to evolve secure software systems, methods for co-migration of test cases, and maintenance of long-living smart contracts. engineering, focusing especially on the quality of system requirements. Papers published at the workshop were concerned with task-oriented functional requirements, handling item characteristics in ERP systems, professionalization in ERP selection, a framework for combining corporate budgeting with agile project management, a procedural model for selecting enterprise systems, and lean management methods.
II. ACKNOWLEDGMENTS AND THANKS