Skip to Main content Skip to Navigation
Conference papers

Formalization of Requirements for Correct Systems

Abstract : Improving the quality of a system begins by their requirements elicitation: the challenge is to bridge the gap between the requirements of the client and their formal specification defined by the scientist. A first step consists on understanding and rewriting the existing requirements. Along the development process, we introduce formal terms in the requirements coming the formal specification and make explicit the interactions between them by a glossary. The trace of the requirements and their corresponding specification is managed and serves to simplify the activities of validation and verification. The validation is studied since the understanding of the first requirements and all along the development of their formal specification. The verification may detect imperfections like incoherences and ambiguities in both the formal specification and their corresponding requirements.
Document type :
Conference papers
Complete list of metadata

Cited literature [31 references]  Display  Hide  Download
Contributor : Jeanine Souquières Connect in order to contact the contributor
Submitted on : Saturday, October 10, 2020 - 2:49:41 PM
Last modification on : Wednesday, November 3, 2021 - 7:09:16 AM
Long-term archiving on: : Monday, January 11, 2021 - 6:14:30 PM


Files produced by the author(s)


  • HAL Id : hal-02963472, version 1



Imen Sayar, Jeanine Souquières. Formalization of Requirements for Correct Systems. Formal Requirements 2020, Sophie Ebersold (University of Toulouse, France); Regine Laleau (University of Paris-Est Creteil, France); Manuel Mazzara (Innopolis University, Russia), Aug 2020, Zurich, Switzerland. ⟨hal-02963472⟩



Record views


Files downloads