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 metadatas

Cited literature [18 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01302223
Contributor : Imen Sayar <>
Submitted on : Wednesday, April 13, 2016 - 5:21:00 PM
Last modification on : Tuesday, December 18, 2018 - 4:38:25 PM
Long-term archiving on: : Thursday, July 14, 2016 - 5:27:04 PM

File

Souquieres_Sayar.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01302223, version 1

Collections

Citation

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

Share

Metrics

Record views

385

Files downloads

564