Bridging the Gap Between Requirements Document and Formal Specifications using Development Patterns - Université de Lorraine Accéder directement au contenu
Communication Dans Un Congrès Année : 2019

Bridging the Gap Between Requirements Document and Formal Specifications using Development Patterns

Imen Sayar
  • Fonction : Auteur
  • PersonId : 1078940

Résumé

Guaranteeing the correctness of critical and complex software and systems is a challenge that needs to be tackled right from the requirements engineering phase. This paper introduces two development patterns linked to the shape of requirements. The first one allows to automatically formalize a constraint and introduce it in an existing system. The second one is interested on requirements describing a sequence of operations. The verification activity is partly automated and the validation becomes easier to manage. The approach using these development patterns allow us an incremental development of formal specifications and their associated requirements, linked by a glossary. The case study of a hemodialysis system is used as a running example throughout this paper.
Fichier principal
Vignette du fichier
FormReqs-2019.pdf (269.51 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02962897 , version 1 (09-10-2020)

Identifiants

Citer

Imen Sayar, Jeanine Souquières. Bridging the Gap Between Requirements Document and Formal Specifications using Development Patterns. IEEE 27th International Requirements Engineering Conference Workshops (REW), Sep 2019, Jeju Island, South Korea. ⟨10.1109/REW.2019.00026⟩. ⟨hal-02962897⟩
58 Consultations
144 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More