HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
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.
Document type :
Conference papers
Complete list of metadata

Cited literature [6 references]  Display  Hide  Download

Contributor : Atif Mashkoor Connect in order to contact the contributor
Submitted on : Friday, January 15, 2010 - 10:31:34 AM
Last modification on : Tuesday, October 19, 2021 - 4:06:41 PM
Long-term archiving on: : Tuesday, October 16, 2012 - 1:45:22 PM


Files produced by the author(s)




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⟩



Record views


Files downloads