From software engineering to formal methods and tools, and back : essays dedicated to Stefania Gnesi on the occasion of her 65th birthday / Maurice H. ter Beek, Alessandro Fantechi, Laura Semini (eds.).

Includes author index.

Online resource; title from PDF title page (SpringerLink, viewed October 15, 2019).

Intro; Preface; Organization; Contents; The Legacy of Stefania Gnesi; 1 The Early Years; 2 Software Engineering; 3 Formal Methods and Tools; 4 Requirements Engineering/Natural Language Processing; 5 Software Product Lines; 6 Formal Verification and Applications; 7 Conclusions; References; From Dynamic Programming to Programming Science; Software Engineering; Ten Years of Self-adaptive Systems: From Dynamic Ensembles to Collective Adaptive Systems; 1 Introduction and Paper Positioning; 2 Dynamic Ensembles Using Typed Graph Grammars; 3 Ensemble Specialization and Reconfiguration

4 Collective Adaptation in Ensembles5 Implementation; 6 Conclusion and Future Directions; References; Multi-modelling and Co-simulation in the Engineering of Cyber-Physical Systems: Towards the Digital Twin; 1 Introduction; 2 Challenges in Engineering Cyber-Physical Systems; 2.1 A Future CPS at Scale; 2.2 Multi-modelling and Co-simulation; 2.3 Digital Twins; 2.4 Machine Learning for CPSs; 2.5 Decision Support and Visualisation with Digital Twins; 3 Towards a Learning Digital Twin; 4 A Case Study: The Line-Following Robot; 4.1 Introduction

4.2 Architectural Structure and Functional Mock-Up Units4.3 Matching the Descriptive Model to Deployed Components; 4.4 Operational Data Gathering; 4.5 Model and Data Processing; 4.6 Decision Enabling; 5 Looking Forward; References; Changing Software in a Changing World: How to Test in Presence of Variability, Adaptation and Evolution?; 1 Introduction; 2 Many Dimensions of Change; 2.1 Changing Software; 2.2 Changing World; 3 Testing Software that Changes; 3.1 Software Testing Foundations in Light of Change; 3.2 Testing Challenges Ahead; 3.3 Promising Testing Techniques

4 Perspectives for ResearchReferences; Improving Software Engineering Research Through Experimentation Workbenches; 1 Introduction; 2 Usage Scenario; 3 Concepts and Requirements; 4 An Experimentation Workbench for Static Product Line Analysis; 5 Challenges; 6 Experiences; 7 Conclusion; References; Formal Methods and Tools; Innovating Medical Image Analysis via Spatial Logics; 1 Introduction; 2 The Spatial Logic Framework; 3 Spatial Logic for Image Analysis; 4 Illustration: Brain Segmentation; 5 Challenges in Spatial Model Checking for Medical Imaging; 6 Related Work; 7 Conclusions; References

Formal Methods in Designing Critical Cyber-Physical Systems1 Introduction; 2 Key Factors in the Design of CPSs; 2.1 Space and Time; 2.2 Human-Robot Interaction; 2.3 Managing Uncertainty at Runtime Through Self-adaptation; 3 Case Studies; 3.1 Case Study 1: Reasoning on Space-Intensive CPS; 3.2 Case Study 2: Reasoning on Temporal Modeling of CPS; 4 Conclusions; References; Automata-Based Behavioural Contracts with Action Correlation; 1 Introduction; 2 Motivating Scenario; 3 The Formalism; 3.1 Formal Definition and Semantics; 3.2 Composition; 4 Validity

This volume was published in honor of Stefania Gnesi's 65th birthday. The Festschrift volume contains 32 papers written by close collaborators and friends of Stefania and was presented to her on October 8, 2019 one-day colloquium held in Porto, Portugal, The Festschrift consists of eight sections, seven of which reflect the main research areas to which Stefania has contributed. Following a survey of Stefania's legacy in research and a homage by her thesis supervisor, these seven sections are ordered according to Stefania's life cycle in research, from software engineering to formal methods and tools, and back: Software Engineering; Formal Methods and Tools; Requirements Engineering; Natural Language Processing; Software Product Lines; Formal Verification; and Applications. -- Provided by publisher.