Advertisement

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
Book

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
    3. Alessio Ferrari, Giorgio O. Spagnolo, Antonella Fiscella, Guido Parente
      Pages 267-281
  7. Software Product Lines

    1. Front Matter
      Pages 283-283
    2. Maxime Cordy, Xavier Devroey, Axel Legay, Gilles Perrouin, Andreas Classen, Patrick Heymans et al.
      Pages 285-312
    3. Tim Tegeler, Alnis Murtovi, Markus Frohme, Bernhard Steffen
      Pages 313-337
    4. Ciara Breathnach, Najhan M. Ibrahim, Stuart Clancy, Tiziana Margaria
      Pages 338-364
  8. Formal Verification

    1. Front Matter
      Pages 375-375
    2. Rocco De Nicola, Tan Duong, Omar Inverso, Franco Mazzanti
      Pages 377-396
    3. Cosimo Laneve, Claudio Sacerdoti Coen, Adele Veschetti
      Pages 397-415
    4. Viet-Anh Nguyen, Wendelin Serwe, Radu Mateescu, Eric Jenn
      Pages 416-432
    5. Anne E. Haxthausen, Kristian Hede
      Pages 433-448
  9. Applications

    1. Front Matter
      Pages 465-465
    2. Flavio Corradini, Fausto Marcantoni, Andrea Morichetta, Andrea Polini, Barbara Re, Massimiliano Sampaolo
      Pages 467-480
    3. Silvano Chiaradonna, Felicita Di Giandomenico, Giulio Masetti, Davide Basile
      Pages 481-501
    4. Cinzia Bernardeschi, Andrea Domenici
      Pages 531-547
    5. María-del-Mar Gallardo, Francisco Luque-Schempp, Pedro Merino-Gómez, Laura Panizo
      Pages 548-571
  10. Back Matter
    Pages 573-574

About this book

Introduction

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.

Keywords

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

  • DOI https://doi.org/10.1007/978-3-030-30985-5
  • Copyright Information Springer Nature Switzerland AG 2019
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-030-30984-8
  • Online ISBN 978-3-030-30985-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site