The Role of Formalism in System Requirements
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. https://dl.acm.org/doi/10.1145/3448975.
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 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
10:45 - 12:15
|Requirements Analysis of Variability Constraints in a Configurable Flight Software System
Industrial Innovation PapersPre-print
|The Role of Formalism in System Requirements
A: Jean-Michel Bruel IRIT (CNRS and Univ. of Toulouse)Link to publication DOI
|Understanding Fairness Requirements for ML-based Software
A: Luciano Baresi Politecnico di Milano, A: Chiara Criscuolo Politecnico di Milano, A: Carlo Ghezzi Politecnico di MilanoFile Attached