Jean-Michel Bruel
12
Documents
Présentation
Publications
- 12
- 9
- 6
- 6
- 3
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 10
- 5
- 2
- 1
- 2
- 1
- 1
- 1
Identifying and fixing ambiguities in, and semantically accurate formalisation of, behavioural requirementsSoftware and Systems Modeling, 2024, ⟨10.1007/s10270-023-01142-0⟩
Article dans une revue
hal-04525414v1
|
|
|
Object-Oriented Requirements: a Unified Framework for Specifications, Scenarios and TestsThe Journal of Object Technology, 2023, 22 (1), pp.1-19. ⟨10.5381/jot.2023.22.1.a3⟩
Article dans une revue
hal-04128273v1
|
The Role of Formalism in System RequirementsACM Computing Surveys, 2022, 54 (5, article 93), pp.1-36. ⟨10.1145/3448975⟩
Article dans une revue
hal-04278226v1
|
|
The Role of Formalism in System RequirementsACM Computing Surveys, 2021, 54 (5), pp.1-36. ⟨10.1145/3448975⟩
Article dans une revue
hal-03261574v1
|
|
|
AutoReq: expressing and verifying requirements for control systemsJournal of Visual Languages and Computing, 2019, 51, pp.131-142. ⟨10.1016/j.cola.2019.02.004⟩
Article dans une revue
hal-02878938v1
|
|
RQCODE – Towards Object-Oriented Requirements in the Software Security DomainIEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW 2022), Apr 2022, Valencia, Spain. pp.2-6, ⟨10.1109/ICSTW55395.2022.00015⟩
Communication dans un congrès
hal-03781938v1
|
Towards an Anatomy of Software Requirements51st International Conference on Software Technology: Methods and Tools (TOOLS 2019), Oct 2019, Innopolis, Russia. pp.10-40, ⟨10.1007/978-3-030-29852-4_2⟩
Communication dans un congrès
hal-04182587v1
|
|
|
Requirements Specific Modeling Language : un langage formel d'expression d'exigencesConférence en IngénieriE du Logiciel, Jun 2018, Grenoble, France
Communication dans un congrès
hal-01815467v1
|
|
Seamless Integration of Multirequirements in Complex Systems25th International Requirements Engineering Conference Workshops (REW 2017), Sep 2017, Lisbon, Portugal. pp.1
Communication dans un congrès
hal-03656674v1
|
|
Intégration des (multi-)exigences tout au long du développement des systèmes complexes16emes Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2017), Jun 2017, Montpellier, France. pp.57-63
Communication dans un congrès
hal-02864409v1
|
Security Requirements Formalization with RQCODE inAndrey Sadovykh; Dragos Truscan; Wissam Mallouli; Ana Rosa Cavalli; Cristina Seceleanu; Alessandra Bagnato. CyberSecurity in a DevOps Environment From Requirements to Monitoring, Springer, In press, 978-3-031-42211-9
Chapitre d'ouvrage
hal-04324243v1
|
A contract-based method to specify stimulus-response requirements2017
Autre publication scientifique
hal-03120284v1
|