Daniel M. Berry, Cheriton School of Computer Science, University of Waterloo, Canada:
The Requirements Engineering Reference Model: A Fundamental Impediment to Using Formal Methods in Software Systems Development
This talk attempts to explain why formal methods are not being used to develop large-scale software-intensive computer-based system by appealing to the Reference Model for Requirements and Specifications by Gunter, Gunter, Jackson, and Zave.
Jean-Michel Bruel, IRIT, University of Toulouse, France:
Formality in software requirements
This talk will present how formal languages can be used to help writing better requirements, when used properly (right level, right person, right moment)