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.

Additional Metadata
Keywords domain models, model-driven transformations, requirements, testing, variability, verification
Persistent URL dx.doi.org/10.1109/MoDRE.2011.6045369
Conference 2011 Model-Driven Requirements Engineering Workshop, MoDRE 2011
Citation
Corriveau, J, Bashardoust, S. (Soheila), & Radonjic, V.D. (Vojislav D.). (2011). Requirements verification in the presence of variability: On the Feasiblity of a Model-Driven Approach. Presented at the 2011 Model-Driven Requirements Engineering Workshop, MoDRE 2011. doi:10.1109/MoDRE.2011.6045369