Towards validation of requirements models

Atif Mashkoor 1 Abderrahman Matoussi 2
1 DEDALE - Development of specifications
LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : 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.
Type de document :
Communication dans un congrès
The Second International Conference on ASM, Alloy, B and Z (ABZ 2010), Feb 2010, Orford (Québec), Canada. Springer, 5977, pp.404, 2010, Lecture Notes in Computer Science. 〈10.1007/978-3-642-11811-1_38〉
Liste complète des métadonnées

Littérature citée [6 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-00431272
Contributeur : Atif Mashkoor <>
Soumis le : vendredi 15 janvier 2010 - 10:31:34
Dernière modification le : mardi 24 avril 2018 - 13:37:14
Document(s) archivé(s) le : mardi 16 octobre 2012 - 13:45:22

Fichier

main.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

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. Springer, 5977, pp.404, 2010, Lecture Notes in Computer Science. 〈10.1007/978-3-642-11811-1_38〉. 〈hal-00431272〉

Partager

Métriques

Consultations de la notice

331

Téléchargements de fichiers

251