Advertisement

Table of contents

  1. Front Matter
    Pages i-xiii
    PDF
  2. The Legacy of Stefania Gnesi
    Maurice H. ter Beek, Alessandro Fantechi, Laura Semini
    Pages 1-11
    PDF
  3. From Dynamic Programming to Programming Science
    Ugo Montanari
    Pages 12-15
    PDF

  4. Software Engineering

    1. Front Matter
      Pages 17-17
      PDF
    2. Ten Years of Self-adaptive Systems: From Dynamic Ensembles to Collective Adaptive Systems
      Antonio Bucchiarone, Marina Mongiello
      Pages 19-39
      PDF
    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
      PDF
    4. Changing Software in a Changing World: How to Test in Presence of Variability, Adaptation and Evolution?
      Antonia Bertolino, Paola Inverardi
      Pages 56-66
      PDF
    5. Improving Software Engineering Research Through Experimentation Workbenches
      Klaus Schmid, Sascha El-Sharkawy, Christian Kröher
      Pages 67-82
      PDF

  5. Formal Methods and Tools

    1. Front Matter
      Pages 83-83
      PDF
    2. Innovating Medical Image Analysis via Spatial Logics
      Gina Belmonte, Vincenzo Ciancia, Diego Latella, Mieke Massink
      Pages 85-109
      PDF
    3. Formal Methods in Designing Critical Cyber-Physical Systems
      Mehrnoosh Askarpour, Carlo Ghezzi, Dino Mandrioli, Matteo Rossi, Christos Tsigkanos
      Pages 110-130
      PDF
    4. Automata-Based Behavioural Contracts with Action Correlation
      Davide Basile, Rosario Pugliese, Francesco Tiezzi, Pierpaolo Degano, Gian-Luigi Ferrari
      Pages 131-151
      PDF
    5. Logical Support for Bike-Sharing System Design
      Ionuţ Ţuţu, Claudia Elena Chiriţă, Antónia Lopes, José Luiz Fiadeiro
      Pages 152-171
      PDF
    6. A Generic Dynamic Logic with Applications to Interaction-Based Systems
      Rolf Hennicker, Martin Wirsing
      Pages 172-187
      PDF

  6. Requirements Engineering

    1. Front Matter
      Pages 189-189
      PDF
    2. Ambiguity in Requirements Engineering: Towards a Unifying Framework
      Vincenzo Gervasi, Alessio Ferrari, Didar Zowghi, Paola Spoletini
      Pages 191-210
      PDF
    3. QuARS: A Pioneer Tool for NL Requirement Analysis
      Giuseppe Lami, Mario Fusani, Gianluca Trentanni
      Pages 211-219
      PDF
    4. Detecting Feature Interactions in FORML Models
      Sandy Beidu, Joanne M. Atlee
      Pages 220-235
      PDF

  7. Natural Language Processing

    1. Front Matter
      Pages 237-237
      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
      PDF
    3. Looking Inside the Black Box: Core Semantics Towards Accountability of Artificial Intelligence
      Roberto Garigliano, Luisa Mich
      Pages 250-266
      PDF
    4. QuOD: An NLP Tool to Improve the Quality of Business Process Descriptions
      Alessio Ferrari, Giorgio O. Spagnolo, Antonella Fiscella, Guido Parente
      Pages 267-281
      PDF

  8. Software Product Lines

    1. Front Matter
      Pages 283-283
      PDF
    2. A Decade of Featured Transition Systems
      Maxime Cordy, Xavier Devroey, Axel Legay, Gilles Perrouin, Andreas Classen, Patrick Heymans et al.
      Pages 285-312
      PDF
    3. Product Line Verification via Modal Meta Model Checking
      Tim Tegeler, Alnis Murtovi, Markus Frohme, Bernhard Steffen
      Pages 313-337
      PDF
    4. Towards Model Checking Product Lines in the Digital Humanities: An Application to Historical Data
      Ciara Breathnach, Najhan M. Ibrahim, Stuart Clancy, Tiziana Margaria
      Pages 338-364
      PDF
    5. Variability Modelling and Analysis During 30 Years
      David Benavides
      Pages 365-373
      PDF

  9. Formal Verification

    1. Front Matter
      Pages 375-375
      PDF
    2. A Systematic Approach to Programming and Verifying Attribute-Based Communication Systems
      Rocco De Nicola, Tan Duong, Omar Inverso, Franco Mazzanti
      Pages 377-396
      PDF
    3. On the Prediction of Smart Contracts’ Behaviours
      Cosimo Laneve, Claudio Sacerdoti Coen, Adele Veschetti
      Pages 397-415
      PDF
    4. Hunting Superfluous Locks with Model Checking
      Viet-Anh Nguyen, Wendelin Serwe, Radu Mateescu, Eric Jenn
      Pages 416-432
      PDF
    5. Formal Verification of Railway Timetables - Using the UPPAAL Model Checker
      Anne E. Haxthausen, Kristian Hede
      Pages 433-448
      PDF
    6. An Axiomatization of Strong Distribution Bisimulation for a Language with a Parallel Operator and Probabilistic Choice
      Jan Friso Groote, Erik P. de Vink
      Pages 449-463
      PDF

  10. Applications

    1. Front Matter
      Pages 465-465
      PDF
    2. Enabling Auditing of Smart Contracts Through Process Mining
      Flavio Corradini, Fausto Marcantoni, Andrea Morichetta, Andrea Polini, Barbara Re, Massimiliano Sampaolo
      Pages 467-480
      PDF
    3. A Refined Framework for Model-Based Assessment of Energy Consumption in the Railway Sector
      Silvano Chiaradonna, Felicita Di Giandomenico, Giulio Masetti, Davide Basile
      Pages 481-501
      PDF
    4. Modelling of Railway Signalling System Requirements by Controlled Natural Languages: A Case Study
      Gabriele Lenzini, Marinella Petrocchi
      Pages 502-518
      PDF
    5. Single-Step and Asymptotic Mutual Information in Bipartite Boolean Nets
      Tommaso Bolognesi
      Pages 519-530
      PDF
    6. Application of Model Checking to Fault Tolerance Analysis
      Cinzia Bernardeschi, Andrea Domenici
      Pages 531-547
      PDF
    7. How Formal Methods Can Contribute to 5G Networks
      María-del-Mar Gallardo, Francisco Luque-Schempp, Pedro Merino-Gómez, Laura Panizo
      Pages 548-571
      PDF
  11. Back Matter
    Pages 573-574
    PDF

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