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...
Saved in:
Published in | 2011 Model-Driven Requirements Engineering Workshop pp. 74 - 78 |
---|---|
Main Authors | , , |
Format | Conference Proceeding |
Language | English |
Published |
IEEE
01.08.2011
|
Subjects | |
Online Access | Get full text |
Cover
Loading…
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 |