Formal Requirements 2020 – August 31, 2020

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’20 is to bring together practitioners and academics that aim at contributing towards requirements formalization.

FormReq’20 helds in conjunction with RE’20

The 2020 edition of RE is “Requirements Engineering for a Digital World”.
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 digital systems.
Specify and validate formal requirements for intelligent and self-learning systems should ensure a good transition toward a digital world.

Papers will be published by IEEE CPS 

Keynote speakers:

Xiaohong Chen, ECNU, China

Antonio Bucchiarone, Fondazione Bruno Kessler- IRST, Italia