1 Table of Contents: “...Automating Software Re-Engineering (Introduction to the ISoLA 2020 Track) -- Formal Verification...”

2 Table of Contents: “... -- Engineering of Digital Twins for Cyber-Physical Systems -- Understanding Digital Twins for Cyber-Physical...”

3 Table of Contents: “... -- Cyber-Physical Systems Engineering: An Introduction -- Intelligent Adaption Process in Cyber-Physical...”

4 Table of Contents: “... Introduction to Language-Driven Engineering -- Tutorial: an Overview of Malware Detection and Evasion...”

5 Subjects: “...Software engineering...”

6 Subjects: “...Software engineering...”

7 Table of Contents: “... Improvement -- Focus on SME Issues -- Determining Practice Achievement in Project Management Using a Two-Phase...”

8 Subjects: “...Software engineering...”

9 Subjects: “...Software engineering...”

10 Table of Contents: “... -- Agile Business Engineering: From Transformation Towards Continuous Innovation -- Towards Living Canvases...”

11 Subjects: “...Software engineering...”

12 Table of Contents: “... Simulation-Based Analysis of Linear Hybrid Systems -- HARE: A Hybrid Abstraction Refinement Engine...”

13 Subjects: “...Software engineering...”

14 Subjects: “...Software engineering...”

15 Subjects: “...Software engineering...”

16 Table of Contents: “... Perspective.- Product Line Engineering Applied to CBTC Systems Development.- Improving Verification Process...”

17 Table of Contents: “... and Explicit Semantics: Integration Issues in Proof-Based Development of Systems Version to Read – Version...”

18 Table of Contents: “... with DyWA.,- Domain-Specific Languages for Enterprise Systems -- Introduction to “Rigorous Engineering...”

19 Table of Contents: “... of Static and Dynamic Analysis -- Safer Refactorings -- Rigorous Engineering of Collective Adaptive Systems...”

20 Table of Contents: “... - Engineering -- On a Unified View of Modeling and Programming: Position Paper -- On the Feasibility of a...”