14h: Introduction to the Workshop
Florian Galinier, Universityof Toulouse, France
SteveTueno, University of Sherbrooke, Canada
14h15: Keynote 1:
“Formality in software requirements”
Jean-Michel Bruel
IRIT, University of Toulouse, France
An approach to validation of combined natural language and formal requirements for control systems
Mark Trakhtenbrot
Israel Holon Institute of Technology
Formal Requirements and Constraints Modelling in FORM-L for the Engineering of Complex Socio-Technical Systems
Thuy Nguyen
EDF, France
Coffee break
16h45: Academic Session:
Bridging the Gap Between Requirements Document and Formal Specifications using Development Patterns
Imen Sayar and Jeanine Souquières
France LORIA – Université de Lorraine
17h15: Keynote 2:
“The Requirements Engineering Reference Model: A Fundamental Impediment to Using Formal Methods in Software Systems Development“
Daniel M. Berry
Cheriton School of Computer Science, University of Waterloo, Canada