Jean-Michel Bruel
9
Documents
Présentation
Publications
- 9
- 9
- 6
- 6
- 3
- 1
- 1
- 1
- 1
- 7
- 3
- 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
|
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
|
A contract-based method to specify stimulus-response requirements2017
Autre publication scientifique
hal-03120284v1
|