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
`Keynotes:
“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