Formalization of Requirements for Correct Systems - Université de Lorraine Accéder directement au contenu
Communication Dans Un Congrès Année : 2020

Formalization of Requirements for Correct Systems

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

Imen Sayar
  • Fonction : Auteur
  • PersonId : 1078973
Jeanine Souquières

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

  • HAL Id : hal-02963472 , version 1

Citer

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⟩
110 Consultations
238 Téléchargements

Partager

Gmail Facebook X LinkedIn More