Write a Blog >>
RE2021
Mon 20 - Fri 24 September 2021
Thu 23 Sep 2021 12:00 - 13:00 at Posters&Demonstrations - Posters & Demonstrations 3

Formal verification techniques enable the detection of complex quality issues within system specifications. However, the majority of system requirements are usually specified in natural language (NL). Manual formalisation of NL requirements is an error prone and labor intensive process requiring strong mathematical expertise and can be infeasible for large number of requirements. Existing automatic formalisation techniques usually support heavily constrained natural language relying on requirement boilerplates or templates. In this paper, we introduce ARF: An Automatic Requirements Formalisation Tool. ARF can automatically transform natural language requirements into temporal logic based formal notations. This is achieved through two steps: 1) extraction of key requirement attributes into an intermediate representation (we call it RCM), and 2) transformation rules that convert requirements in RCM format into formal notations.

Thu 23 Sep

Displayed time zone: Eastern Time (US & Canada) change

12:00 - 13:00
Posters & Demonstrations 3Posters and Tool Demos at Posters&Demonstrations
12:00
60m
Demonstration
ARF: Automatic Requirements Formalisation ToolDemonstration
Posters and Tool Demos
Aya Zaki Ismail Deakin University, Mohamed Osama Deakin University, Mohamed Abdelrazek Deakin University, Australia, John Grundy Monash University, Amani Ibrahim Deakin University
12:00
60m
Demonstration
CARO: A Conflict Aware Requirement Ordering Tool for DevOpsDemonstration
Posters and Tool Demos
MANDIRA ROY UNIVERSITY OF CALCUTTA, Novarun Deb Indian Institute of Information Technology, Vadodara, Agostino Cortesi Università Ca' Foscari Venezia, Rituparna Chaki UNIVERSITY OF CALCUTTA, Nabendu Chaki UNIVERSITY OF CALCUTTA
12:00
60m
Demonstration
MRDQA: A Deep Multimodal Requirement Document Quality AnalyzerDemonstration
Posters and Tool Demos
yeming ZTE, Jicheng Cao ZTE Corporation, Shengyu Cheng ZTE Corporation, Dong Liu ZTE, Shenghai Xu ZTE, Jinning He ZTE
12:00
60m
Poster
Enhancing NL Requirements Formalisation using A Quality Checking ModelPoster
Posters and Tool Demos
Mohamed Osama Deakin University, Aya Zaki Ismail Deakin University, Mohamed Abdelrazek Deakin University, Australia, John Grundy Monash University, Amani Ibrahim Deakin University
12:00
60m
Demonstration
Pri-AwaRE: Tool Support for priority-aware decision-making under uncertaintyDemonstration
Posters and Tool Demos
Huma Samin Aston University, Nelly Bencomo Durham University, Peter Sawyer Aston University
12:00
60m
Demonstration
RV-SLC: A Tool for Regression Validation of Safety and Liveness Constraints on Goal Models in DevOps EnvironmentDemonstration
Posters and Tool Demos
Palak Ambade Indian Institute of Information Technology, Vadodara, Diptiben Solanki Indian Institute of Information Technology, Vadodara, Novarun Deb Indian Institute of Information Technology, Vadodara