From Software Engineering to Formal Methods and Tools, and Back

This collection honors Stefania Gnesi’s research contributions through 32 papers by colleagues, reflecting her influence in various fields.

This volume, titled From Software Engineering to Formal Methods and Tools, and Back, celebrates the remarkable contributions of Stefania Gnesi on the occasion of her 65th birthday. It features a collection of 32 papers authored by her close collaborators and friends, reflecting the profound impact of her work in the fields of software engineering and formal methods. The book was presented to Stefania during a one-day colloquium held in Porto, Portugal, on October 8, 2019.

The structure of the volume is thoughtfully organized into eight sections, with seven dedicated to the key research areas that define Stefania's career. These sections encompass a wide range of topics, including Software Engineering, Formal Methods and Tools, Requirements Engineering, Natural Language Processing, Software Product Lines, Formal Verification, and Applications. Each section not only highlights significant advancements in these fields but also serves as a tribute to Stefania's legacy and influence.

The initial section provides a survey of Stefania's research legacy, followed by a homage from her thesis supervisor. This arrangement mirrors the trajectory of her professional journey, transitioning from software engineering to formal methods and tools, and back again. From Software Engineering to Formal Methods and Tools, and Back is not just a collection of scholarly articles; it is a heartfelt acknowledgment of a life dedicated to advancing knowledge and fostering collaboration in the academic community.