DocumentCode
1818538
Title
Requirements verification in the presence of variability
Author
Corriveau, J. -Pierre ; Bashardoust, Soheila ; Radonjic, Vojislav D.
Author_Institution
Sch. of Comput. Sci., Carleton Univ., Ottawa, ON, Canada
fYear
2011
fDate
29-29 Aug. 2011
Firstpage
74
Lastpage
78
Abstract
The emergence of Software Product Lines and System Family Engineering emphasizes the importance of the notions of variability and commonalities across a domain. Yet, how to integrate these notions into the task of verifying requirements against the actual behavior of an implementation has received little attention. In this paper, our position is that a model-driven approach to requirements verification in the presence of variability is entirely feasible.
Keywords
formal verification; model-driven approach; requirements verification; software product lines; system family engineering; Analytical models; Computational modeling; Contracts; Object oriented modeling; Software; Testing; Unified modeling language; domain models; model-driven transformations; requirements; testing; variability; verification;
fLanguage
English
Publisher
ieee
Conference_Titel
Model-Driven Requirements Engineering Workshop (MoDRE), 2011
Conference_Location
Trento
Print_ISBN
978-1-4577-0957-9
Electronic_ISBN
978-1-4577-0959-3
Type
conf
DOI
10.1109/MoDRE.2011.6045369
Filename
6045369
Link To Document