From Software Engineering to Formal Methods and Tools, and Back
Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday
Editors: ter Beek, Maurice H., Fantechi, Alessandro, Semini, Laura (Eds.)
Free Preview- Written by well-known experts
- High quality selected papers
- Honorary volume dedicated to Stefania Gnesi on the occasion of Her 65th birthday
Buy this book
- About this book
-
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.
- Table of contents (32 chapters)
-
-
The Legacy of Stefania Gnesi
Pages 1-11
-
From Dynamic Programming to Programming Science
Pages 12-15
-
Ten Years of Self-adaptive Systems: From Dynamic Ensembles to Collective Adaptive Systems
Pages 19-39
-
Multi-modelling and Co-simulation in the Engineering of Cyber-Physical Systems: Towards the Digital Twin
Pages 40-55
-
Changing Software in a Changing World: How to Test in Presence of Variability, Adaptation and Evolution?
Pages 56-66
-
Table of contents (32 chapters)
Recommended for you
Bibliographic Information
- Bibliographic Information
-
- Book Title
- From Software Engineering to Formal Methods and Tools, and Back
- Book Subtitle
- Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday
- Editors
-
- Maurice H. ter Beek
- Alessandro Fantechi
- Laura Semini
- Series Title
- Theoretical Computer Science and General Issues
- Series Volume
- 11865
- Copyright
- 2019
- Publisher
- Springer International Publishing
- Copyright Holder
- Springer Nature Switzerland AG
- eBook ISBN
- 978-3-030-30985-5
- DOI
- 10.1007/978-3-030-30985-5
- Softcover ISBN
- 978-3-030-30984-8
- Edition Number
- 1
- Number of Pages
- XIII, 574
- Number of Illustrations
- 601 b/w illustrations, 91 illustrations in colour
- Topics
