Skip to Main content Skip to Navigation
Conference papers

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.
Complete list of metadatas

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 : Wednesday, September 4, 2019 - 1:52:06 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

488

Files downloads

379