TY  - BOOK
AU  - Beek,Maurice H.ter
AU  - Fantechi,Alessandro
AU  - Semini,Laura
AU  - Gnesi,Stefania
TI  - From software engineering to formal methods and tools, and back: essays dedicated to Stefania Gnesi on the occasion of her 65th birthday 
T2  - Lecture notes in computer science
SN  - 9783030309855
AV  - QA76.758 
U1  - 005.1 23
PY  - 2019///
CY  - Cham, Switzerland
PB  - Springer
KW  - Software engineering
KW  - Formal methods (Computer science)
KW  - Artificial intelligence
KW  - Algorithms
KW  - Artificial Intelligence
KW  - Génie logiciel
KW  - Méthodes formelles (Informatique)
KW  - Algorithmes
KW  - Intelligence artificielle
KW  - algorithms
KW  - aat
KW  - artificial intelligence
KW  - Software Development & Engineering
KW  - bisacsh
KW  - Intelligence (AI) & Semantics
KW  - COMPUTERS
KW  - Compilers
KW  - Computer Science
KW  - Programming
KW  - Discrete Mathematics
KW  - MATHEMATICS
KW  - fast
KW  - Festschriften
KW  - lcgft
N1  - Includes author index; 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
N2  - 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. --
UR  - https://link.springer.com/10.1007/978-3-030-30985-5
ER  -