Jean-Michel Bruel
7
Documents
Présentation
Publications
- 7
- 6
- 6
- 4
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 6
- 1
- 1
- 2
- 1
- 1
|
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
|
|
Examining Requirements Documentation through the Focused Conversation Method29th International Conference on Information Systems Development (ISD 2021), Sep 2021, València, Spain
Communication dans un congrès
hal-03435282v1
|
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
|
A contract-based method to specify stimulus-response requirements2017
Autre publication scientifique
hal-03120284v1
|