Formal Requirements 2019

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

FormReq’19 helds in conjunction with RE’19

Papers will be published by IEEE CPS 
The Requirements Engineering Reference Model: A Fundamental Impediment to Using Formal Methods in Software Systems Development” by Daniel M. Berry, Cheriton School of Computer Science, University of Waterloo,  Canada 
Formality in software requirements” by Jean-Michel Bruel, IRIT, University of Toulouse, France