Towards validation of requirements models - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2010

Towards validation of requirements models

Atif Mashkoor
  • Fonction : Auteur
  • PersonId : 854132

Résumé

The aim of this paper is to gradually introduce formalism in the requirement engineering phase in order to facilitate its validation. We analyze and elicit our requirements with KAOS, specify them into Event-B language, and then use the animation technique to rigourously validate the derived formal specification and consequently its semi-formal counterpart goal model against original customers' requirements.
Fichier principal
Vignette du fichier
main.pdf (50.3 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00431272 , version 1 (15-01-2010)

Identifiants

Citer

Atif Mashkoor, Abderrahman Matoussi. Towards validation of requirements models. The Second International Conference on ASM, Alloy, B and Z (ABZ 2010), Feb 2010, Orford (Québec), Canada. pp.404, ⟨10.1007/978-3-642-11811-1_38⟩. ⟨hal-00431272⟩
288 Consultations
291 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More