Skip to main content
SpringerLink
Log in

From Software Engineering to Formal Methods and Tools, and Back

Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday

  • Book
  • © 2019

Overview

Editors:
  1. Maurice H. ter Beek

    1. Consiglio Nazionale delle Ricerche, Pisa, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Alessandro Fantechi

    1. Università degli Studi di Firenze, Florence, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Laura Semini

    1. Università di Pisa, Pisa, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Written by well-known experts
  • High quality selected papers
  • Honorary volume dedicated to Stefania Gnesi on the occasion of Her 65th birthday

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (32 chapters)

  1. Front Matter

    Pages i-xiii
    Download chapter PDF

  2. The Legacy of Stefania Gnesi

    • Maurice H. ter Beek, Alessandro Fantechi, Laura Semini
    Pages 1-11

  3. From Dynamic Programming to Programming Science

    • Ugo Montanari
    Pages 12-15

  4. Software Engineering

    1. Front Matter

      Pages 17-17
      Download chapter PDF

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

      • Antonio Bucchiarone, Marina Mongiello
      Pages 19-39

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

      • John Fitzgerald, Peter Gorm Larsen, Ken Pierce
      Pages 40-55

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

      • Antonia Bertolino, Paola Inverardi
      Pages 56-66

    5. Improving Software Engineering Research Through Experimentation Workbenches

      • Klaus Schmid, Sascha El-Sharkawy, Christian Kröher
      Pages 67-82

  5. Formal Methods and Tools

    1. Front Matter

      Pages 83-83
      Download chapter PDF

    2. Innovating Medical Image Analysis via Spatial Logics

      • Gina Belmonte, Vincenzo Ciancia, Diego Latella, Mieke Massink
      Pages 85-109

    3. Formal Methods in Designing Critical Cyber-Physical Systems

      • Mehrnoosh Askarpour, Carlo Ghezzi, Dino Mandrioli, Matteo Rossi, Christos Tsigkanos
      Pages 110-130

    4. Automata-Based Behavioural Contracts with Action Correlation

      • Davide Basile, Rosario Pugliese, Francesco Tiezzi, Pierpaolo Degano, Gian-Luigi Ferrari
      Pages 131-151

    5. Logical Support for Bike-Sharing System Design

      • Ionuţ Ţuţu, Claudia Elena Chiriţă, Antónia Lopes, José Luiz Fiadeiro
      Pages 152-171

    6. A Generic Dynamic Logic with Applications to Interaction-Based Systems

      • Rolf Hennicker, Martin Wirsing
      Pages 172-187

  6. Requirements Engineering

    1. Front Matter

      Pages 189-189
      Download chapter PDF

    2. Ambiguity in Requirements Engineering: Towards a Unifying Framework

      • Vincenzo Gervasi, Alessio Ferrari, Didar Zowghi, Paola Spoletini
      Pages 191-210

    3. QuARS: A Pioneer Tool for NL Requirement Analysis

      • Giuseppe Lami, Mario Fusani, Gianluca Trentanni
      Pages 211-219

    4. Detecting Feature Interactions in FORML Models

      • Sandy Beidu, Joanne M. Atlee
      Pages 220-235

  7. Natural Language Processing

    1. Front Matter

      Pages 237-237
      Download chapter PDF

    2. Comparing Results of Natural Language Disambiguation Tools with Reports of Manual Reviews of Safety-Related Standards

      • Isabella Biscoglio, Attilio Ciancabilla, Mario Fusani, Giuseppe Lami, Gianluca Trentanni
      Pages 239-249
Back to top

Keywords

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.

Editors and Affiliations

  • Consiglio Nazionale delle Ricerche, Pisa, Italy

    Maurice H. ter Beek

  • Università degli Studi di Firenze, Florence, Italy

    Alessandro Fantechi

  • Università di Pisa, Pisa, Italy

    Laura Semini

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation