Skip to Main content Skip to Navigation
Conference papers

La Validation dans le Processus de Développement

Imen Sayar 1 Jeanine Souquières 1 
1 DEDALE - Development of specifications
LORIA - FM - Department of Formal Methods
Abstract : The amelioration of the quality of a system begins by the requirements elicitation. Our goal is to bridge the gap between requirements, those of the client, and the specification, this of the computer scientist. In this paper, we talk about the validation all along the development of a system, taking into account its requirements and its Event-B specification. The verification may also detect incoherences in the requirements. The Rodin platform is important all along to improve the quality and the documentation of the system, both of its specification and its development process. We illustrate our approach on the case study of an aircraft landing system.
Complete list of metadata

Cited literature [18 references]  Display  Hide  Download
Contributor : Imen Sayar Connect in order to contact the contributor
Submitted on : Wednesday, April 13, 2016 - 5:21:00 PM
Last modification on : Wednesday, November 3, 2021 - 7:57:41 AM
Long-term archiving on: : Thursday, July 14, 2016 - 5:27:04 PM


Files produced by the author(s)


  • HAL Id : hal-01302223, version 1



Imen Sayar, Jeanine Souquières. La Validation dans le Processus de Développement. 34ème Congrès INFORSID, May 2016, Grenoble, France. ⟨hal-01302223v1⟩



Record views


Files downloads