Model-Driven Engineering for End-Users in the Loop in Smart Ambient Systems

Autor: Sylvie Trouilhet, Jean-Paul Arcangeli, Jean-Michel Bruel, Maroun Koussaifi

Publikováno v: Journal of Universal Computer Science, Vol 27, Iss 7, Pp 755-773 (2021)

At the heart of cyber-physical and ambient systems, the user should permanently benefit from applications adapted to the situation and her/his needs. To do this, she/he must be able to configure her/his software environment and be supported as much a

Externí odkaz: https://doaj.org/article/401766df17ed46bfa0f4e2c8089d2dac

Simulation System Design Methodology in Extended Enterprise Context

Autor: Renan Leroux‐Beaudout, Jean‐Michel Bruel, Ileana Ober, Marc Pantel

Publikováno v: INSIGHT. 24:38-42

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::b33c72e5784b41a35506f4246aa0b783
https://doi.org/10.1002/inst.12362

RQCODE – Towards Object-Oriented Requirements in the Software Security Domain

Autor: Ildar Nigmatullin, Andrey Sadovykh, Nan Messe, Sophie Ebersold, Jean-Michel Bruel

Publikováno v: 2022 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) ; Electronic ISBN: 978-1-6654-9628-5
IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW 2022)
IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW 2022), Apr 2022, Valencia, Spain. pp.2-6, ⟨10.1109/ICSTW55395.2022.00015⟩

International audience; For the last 20 years, the number of vulnerabilities has increased near 20 times, according to NIST statistics. Vulnerabilities expose companies to risks that may seriously threaten their operations. Therefore, for a long time

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7321a21438cb2c264e8d02f5248558dc
https://hal.science/hal-03781938/file/ITEQS2022-RQCODE.pdf

Requirements Engineering in the DevOps Era

Autor: Jean-Michel Bruel, Sébastien Mosser

Publikováno v: RE

Traditional requirements engineering does not benefit from modern software development techniques. The goal of this tutorial is to revisit requirements elicitation and to bridge the gap between traditional requirements engineering and modern software

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::e8226d0dd9160473f8992eee3fd2c5d3
https://doi.org/10.1109/re51729.2021.00079

The Role of Formalism in System Requirements

Autor: Bertrand Meyer, Alexandr Naumchev, Florian Galinier, Sophie Ebersold, Jean-Michel Bruel, Manuel Mazzara

Publikováno v: ACM Computing Surveys
ACM Computing Surveys, Association for Computing Machinery, 2021, 54 (5), pp.1-36. ⟨10.1145/3448975⟩

A major determinant of the quality of software systems is the quality of their requirements, which should be both understandable and precise. Most requirements are written in natural language, which is good for understandability but lacks precision.

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::28b2f2e413464cba44aa57467851eede
https://hal.archives-ouvertes.fr/hal-03261574