Towards Validation of Requirements Models

13 years 11 months ago
Towards Validation of Requirements Models
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.
Atif Mashkoor, Abderrahman Matoussi
Added 11 Mar 2010
Updated 11 Mar 2010
Type Conference
Year 2010
Where ASM
Authors Atif Mashkoor, Abderrahman Matoussi
Comments (0)