Write a Blog >>
ICSE 2020
Wed 24 June - Thu 16 July 2020
Tue 7 Jul 2020 16:05 - 16:17 at Baekje - A4-Cyber-Physical Systems Chair(s): Joanne M. Atlee

The engineering of high-quality software requirements generally relies on properties and assumptions about the environment in which the software-to-be has to operate. Such properties and assumptions, referred to as environment conditions in this paper, are highly subject to changes over time or from one software variant to another. As a consequence, the requirements engineered for a specific set of environment conditions may no longer be adequate, complete and consistent for another set.

The paper addresses this problem through an automated requirements adaptation technique. A formal requirements modelling framework is considered to make requirements refinements and dependencies on environment conditions explicit. When environment conditions change, an adapted requirements model is computed that is correct with respect to the new environment conditions. The space of possible adaptations is not fixed a priori; the required changes are expected to meet one or more environment-independent goal(s) to be satisfied in both system versions. The adapted requirements model is generated using a new counterexample-guided learning procedure that ensures the correctness of the updated requirements, giving preference to least costly adaptations.

Tue 7 Jul
Times are displayed in time zone: (UTC) Coordinated Universal Time change

icse-2020-paper-presentations
16:05 - 17:05: Paper Presentations - A4-Cyber-Physical Systems at Baekje
Chair(s): Joanne M. AtleeUniversity of Waterloo
icse-2020-papers16:05 - 16:17
Talk
Dalal AlrajehImperial College London, Antoine CailliauICTEAM, UCLouvain, Axel van LamsweerdeUniversité catholique de Louvain
icse-2020-papers16:17 - 16:29
Talk
Alessio FerrariCNR-ISTI, Franco MazzantiISTI-CNR, Davide BasileUniversity of Florence, Maurice H. ter BeekISTI-CNR, Alessandro FantechiUniversity of Florence
DOI Pre-print
Demonstrations16:29 - 16:32
Talk
Shafiul Azam ChowdhuryUniversity of Texas at Arlington, Sohil Lal ShresthaThe University of Texas at Arlington, Taylor T JohnsonVanderbilt University, Christoph CsallnerUniversity of Texas at Arlington
Link to publication DOI Media Attached
icse-2020-Software-Engineering-in-Practice16:32 - 16:44
Talk
Anders Fischer-NielsenIT University of Copenhagen, Zhoulai FuIT University of Copenhagen, Denmark, Ting SuETH Zurich, Switzerland, Andrzej WąsowskiIT University of Copenhagen, Denmark
Pre-print
Demonstrations16:44 - 16:47
Talk
Sergio GarciaChalmers | University of Gothenburg, Patrizio PelliccioneUniversity of L'Aquila and Chalmers | University of Gothenburg, Claudio MenghiUniversity of Luxembourg, Thorsten BergerChalmers | University of Gothenburg, Tomas BuresCharles University, Czech Republic
icse-2020-Software-Engineering-in-Practice16:47 - 16:59
Talk
Ivano MalavoltaVrije Universiteit Amsterdam, Grace LewisCarnegie Mellon Software Engineering Institute, Bradley SchmerlCarnegie Mellon University, USA, Patricia LagoVrije Universiteit Amsterdam, David GarlanCarnegie Mellon University