Formalization of Requirements for Correct Systems - Université de Lorraine Access content directly
Conference Papers Year : 2020

Formalization of Requirements for Correct Systems

Formalisation des exigences pour décrire des systèmes corrects

Imen Sayar
  • Function : Author
  • PersonId : 1078973
Jeanine Souquières


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.
Fichier principal
Vignette du fichier
FormReq2020.pdf (169.24 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-02963472 , version 1 (10-10-2020)


  • 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⟩
99 View
218 Download


Gmail Facebook X LinkedIn More