Jean-Michel Bruel
Jean-Michel Bruel
Home
People
Publications
Talks
Teachings
Projects
CV
Experience
Fun
Contact
Light
Dark
Automatic
Special Issue on New Paradigms of Software Production and Deployment
Alfredo Capozucca
,
Jean-Michel Bruel
,
Manuel Mazzara
,
Bertrand Meyer
January 2022
PDF
Cite
DOI
Type
Journal article
Publication
SN Comput. Sci.
Jean-Michel Bruel
Professor of Software Engineering
My research interests include Model-Based Systems Engineering and Requirements Engineering.
Bertrand Meyer
Professor of Software Engineering
Related
AutoReq: expressing and verifying requirements for control systems
The Role of Formalism in System Requirements
Towards an Anatomy of Software Requirements
Reflections on Teaching Formal Methods for Software Development in Higher Education
Identifying and fixing ambiguities in, and semantically accurate formalisation of, behavioural requirements