© 2019

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

Part of the Lecture Notes in Computer Science book series (LNCS, volume 11865)

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 11865)

Table of contents

  1. Front Matter
    Pages i-xiii
  2. Maurice H. ter Beek, Alessandro Fantechi, Laura Semini
    Pages 1-11
  3. Software Engineering

  4. Formal Methods and Tools

    1. Front Matter
      Pages 83-83
    2. Gina Belmonte, Vincenzo Ciancia, Diego Latella, Mieke Massink
      Pages 85-109
    3. Mehrnoosh Askarpour, Carlo Ghezzi, Dino Mandrioli, Matteo Rossi, Christos Tsigkanos
      Pages 110-130
    4. Davide Basile, Rosario Pugliese, Francesco Tiezzi, Pierpaolo Degano, Gian-Luigi Ferrari
      Pages 131-151
    5. Ionuţ Ţuţu, Claudia Elena Chiriţă, Antónia Lopes, José Luiz Fiadeiro
      Pages 152-171
    6. Rolf Hennicker, Martin Wirsing
      Pages 172-187
  5. Requirements Engineering

    1. Front Matter
      Pages 189-189
    2. Vincenzo Gervasi, Alessio Ferrari, Didar Zowghi, Paola Spoletini
      Pages 191-210
    3. Giuseppe Lami, Mario Fusani, Gianluca Trentanni
      Pages 211-219
    4. Sandy Beidu, Joanne M. Atlee
      Pages 220-235
  6. Natural Language Processing

    1. Front Matter
      Pages 237-237
    2. Isabella Biscoglio, Attilio Ciancabilla, Mario Fusani, Giuseppe Lami, Gianluca Trentanni
      Pages 239-249

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.


artificial intelligence computer architecture formal logic formal methods formal model formal verification model checking natural language processing programming languages requirements engineering semantics software engineering software evaluation software product lines specifications temporal logic testing theorem proving theoretical computer science verification

Editors and affiliations

  1. 1.Consiglio Nazionale delle RicerchePisaItaly
  2. 2.Università degli Studi di FirenzeFlorenceItaly
  3. 3.Università di PisaPisaItaly

Bibliographic information