Write a Blog >>
ICSE 2021
Mon 17 May - Sat 5 June 2021
Tue 25 May 2021 13:00 - 13:15 at Blended Sessions Room 4 - 1.2.4. Software Requirements Chair(s): Birgit Penzenstadler
Wed 26 May 2021 01:00 - 01:15 at Blended Sessions Room 4 - 1.2.4. Software Requirements

Traditionally, practitioners use formal methods pre-dominately for one half of the quality-assurance process: verification (do we build the software right?). The other half – validation (do we build the right software?) – has been given comparatively little attention. While verification is the core of refinement-based formal methods, where each new refinement step must preserve all properties of its abstract model, validation is usually postponed until the latest stages of the development, when models can be automatically executed. Thus mistakes in requirements or in their interpretation are caught too late: usually at the end of the development process. In this paper, we present a novel approach to check compliance between requirements and their formal refinement-based specification during the earlier stages of development. Our proposed approach – “validation obligations” – is based on the simple idea that both verification and validation are an integral part of all refinement steps of a system.

Conference Day
Tue 25 May

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

12:05 - 13:15
12:05
20m
Paper
How to identify Boundary Conditions with Contrasty Metric?Technical Track
Technical Track
Weilin LuoSun Yat-sen University, Hai WanSchool of Data and Computer Science, Sun Yat-sen University, Xiaotong SongSchool of Data and Computer Science, Sun Yat-sen University, Binhao YangSchool of Data and Computer Science, Sun Yat-sen University, Hongzhen ZhongSchool of Data and Computer Science, Sun Yat-sen University, Yin ChenDepartment of Computer Science, South China Normal University
Pre-print Media Attached
12:25
20m
Paper
Using Domain-specific Corpora for Improved Handling of Ambiguity in RequirementsArtifact ReusableTechnical TrackArtifact Available
Technical Track
Saad EzziniUniversity of Luxembourg, Sallam AbualhaijaUniversity of Luxembourg, Chetan AroraDeakin University, Mehrdad SabetzadehEECS, University of Ottawa, Lionel C. BriandEECS, University Of Ottawa
Pre-print Media Attached
12:45
15m
Paper
Investigating the potential impact of values on requirements and software engineeringSEIS
SEIS - Software Engineering in Society
Alistair SutcliffeUniversity of Aston, Peter SawyerAston University, Wei LiuKing's College London, Nelly BencomoAston University
Pre-print Media Attached
13:00
15m
Paper
Validation Obligations: A Novel Approach to check Compliance between Requirements and their Formal SpecificationNIER
NIER - New Ideas and Emerging Results
Atif MashkoorJohannes Kepler University Linz, Michael LeuschelHHU, Alexander EgyedJohannes Kepler University
Pre-print Media Attached

Conference Day
Wed 26 May

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

00:05 - 01:15
00:05
20m
Paper
How to identify Boundary Conditions with Contrasty Metric?Technical Track
Technical Track
Weilin LuoSun Yat-sen University, Hai WanSchool of Data and Computer Science, Sun Yat-sen University, Xiaotong SongSchool of Data and Computer Science, Sun Yat-sen University, Binhao YangSchool of Data and Computer Science, Sun Yat-sen University, Hongzhen ZhongSchool of Data and Computer Science, Sun Yat-sen University, Yin ChenDepartment of Computer Science, South China Normal University
Pre-print Media Attached
00:25
20m
Paper
Using Domain-specific Corpora for Improved Handling of Ambiguity in RequirementsArtifact ReusableTechnical TrackArtifact Available
Technical Track
Saad EzziniUniversity of Luxembourg, Sallam AbualhaijaUniversity of Luxembourg, Chetan AroraDeakin University, Mehrdad SabetzadehEECS, University of Ottawa, Lionel C. BriandEECS, University Of Ottawa
Pre-print Media Attached
00:45
15m
Paper
Investigating the potential impact of values on requirements and software engineeringSEIS
SEIS - Software Engineering in Society
Alistair SutcliffeUniversity of Aston, Peter SawyerAston University, Wei LiuKing's College London, Nelly BencomoAston University
Pre-print Media Attached
01:00
15m
Paper
Validation Obligations: A Novel Approach to check Compliance between Requirements and their Formal SpecificationNIER
NIER - New Ideas and Emerging Results
Atif MashkoorJohannes Kepler University Linz, Michael LeuschelHHU, Alexander EgyedJohannes Kepler University
Pre-print Media Attached