Requirements verification in the presence of variability

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 l...

Full description

Saved in:
Bibliographic Details
Published in2011 Model-Driven Requirements Engineering Workshop pp. 74 - 78
Main Authors Corriveau, J.-Pierre, Bashardoust, S., Radonjic, V. D.
Format Conference Proceeding
LanguageEnglish
Published IEEE 01.08.2011
Subjects
Analytical models
Computational modeling
Contracts
domain models
model-driven transformations
Object oriented modeling
requirements
Software
Testing
Unified modeling language
variability
verification
Online AccessGet full text

Cover

More Information
Summary: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.
ISBN:1457709570
9781457709579
DOI:10.1109/MoDRE.2011.6045369