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 metadatas

Cited literature [31 references]  Display  Hide  Download

https://hal.univ-lorraine.fr/hal-02963472
Contributor : Jeanine Souquières <>
Submitted on : Saturday, October 10, 2020 - 2:49:41 PM
Last modification on : Wednesday, October 14, 2020 - 2:15:46 PM

File

FormReq2020.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02963472, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

8

Files downloads

12