Theoretical Computer Science and General Issues Lect.Notes ComputerFestschrift

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
see more benefits

Buy this book

eBook $79.99
price for USA in USD (gross)
  • ISBN 978-3-030-30985-5
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.99
price for USA in USD
  • ISBN 978-3-030-30984-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
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)

Table of contents (32 chapters)
  • The Legacy of Stefania Gnesi

    Pages 1-11

    Beek, Maurice H. (et al.)

  • From Dynamic Programming to Programming Science

    Pages 12-15

    Montanari, Ugo

  • Ten Years of Self-adaptive Systems: From Dynamic Ensembles to Collective Adaptive Systems

    Pages 19-39

    Bucchiarone, Antonio (et al.)

  • Multi-modelling and Co-simulation in the Engineering of Cyber-Physical Systems: Towards the Digital Twin

    Pages 40-55

    Fitzgerald, John (et al.)

  • Changing Software in a Changing World: How to Test in Presence of Variability, Adaptation and Evolution?

    Pages 56-66

    Bertolino, Antonia (et al.)

Buy this book

eBook $79.99
price for USA in USD (gross)
  • ISBN 978-3-030-30985-5
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.99
price for USA in USD
  • ISBN 978-3-030-30984-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

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