Formal Requirements 2021 at RE2021 – September 21 , 2021

While the importance of requirements formalization has often been highlighted, the way to support this activity in industrial context has not been sufficiently addressed in current research. The goal of FormReq’21 is to bring together practitioners and academics that aim at contributing towards requirements formalization.

FormReq’21 helds in conjunction with RE2021

The 2021 edition of RE is focused on 5 themes, which FormReq’21 will deal with too:

1 – Discover stakeholders’ needs

2 – Societal Challenges

3 – Smart and connected

4 – Agile, DevOps, and Hybrid

 5 – AI + RE

There is a good chance that the near future will allow a continuous, formal, and AI-supported loop between requirements and their corresponding development and systems artifacts so that systems evolution in the developments can be traced back or forth.
Formality in requirements will undoubtedly contribute to building confidence in systems of the future, facing societal challenges.
Specify and validate formal requirements for intelligent and self-learning systems should ensure a good transition towards a digital world.
Keynote will be focused on the needs of stakeholders and on how to ensure a correct elicitation of requirements, thanks to formalisation.

Papers will be published by IEEE CPS 

Keynote speakers:

Panagiotis Katsaros, University of Thessaloniki, Greece

Formalisation and analysis of natural language system requirements