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.
Document type :
Conference papers
Liste complète des métadonnées

Cited literature [6 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00431272
Contributor : Atif Mashkoor <>
Submitted on : Friday, January 15, 2010 - 10:31:34 AM
Last modification on : Tuesday, April 24, 2018 - 1:37:14 PM
Document(s) archivé(s) le : Tuesday, October 16, 2012 - 1:45:22 PM

File

main.pdf
Files produced by the author(s)

Identifiers

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. pp.404, ⟨10.1007/978-3-642-11811-1_38⟩. ⟨hal-00431272⟩

Share

Metrics

Record views

399

Files downloads

273