Wed 6 Sep 2023 11:15 - 11:45 at f142 - Formal Requirements Chair(s): Paola Spoletini

Presentation of our journal paper: “The Role of Formalism in System Requirements,” published together with Sophie Ebersold, Florian Galinier, Manuel Mazzara, Alexandr Naumchev, Bertrand Meyer, in the ACM Computing Surveys, Volume 54, Issue 5, June 2021, pp 1–36.

Jean-Michel Bruel has been head of the SM@RT team of the IRIT CNRS laboratory until September 2021. His research areas include the development of software-intensive Cyber-Physical Systems, and methods/model/language integration, with a focus on Requirements and Model-Based Systems Engineering. He defended his “Habilitation à Diriger des Recherches” in December 2006 and obtained in 2008 a full professor position at the University of Toulouse. He has been Laboratory Representative for the Toulouse 2 Jean Jaurès University from 2016 to 2020. He is now head of the Computer Science department of the Technical Institute of Blagnac and has been a member of the Strategic Research Committee of the IRIT CNRS laboratory since 2021. He is the holder of the Chair of Model-Driven Systems Engineering between AIRBUS and Toulouse 2 Jean Jaurès University since 2022 and joined the International Research Laboratory in AI in 2023.

Wed 6 Sep

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:45 - 12:15
Formal RequirementsJournal-First / Industrial Innovation Papers / RE@Next! Papers at f142
Chair(s): Paola Spoletini Kennesaw State University
Requirements Analysis of Variability Constraints in a Configurable Flight Software System
Industrial Innovation Papers
A: Chin Khor Iowa State University, A: Robyn Lutz Iowa State University
The Role of Formalism in System Requirements
A: Jean-Michel Bruel IRIT (CNRS and Univ. of Toulouse)
Link to publication DOI
Research paper
Understanding Fairness Requirements for ML-based Software
RE@Next! Papers
A: Luciano Baresi Politecnico di Milano, A: Chiara Criscuolo Politecnico di Milano, A: Carlo Ghezzi Politecnico di Milano
File Attached