@inproceedings{c7addf0ab0c14a218ed193066670c63c,
title = "Feature interactions in a software product line for E-voting",
abstract = "A significant number of failures in e-voting systems have arisen because of poorly specified requirements, combined with an ad-hoc approach to engineering multiple variations of similar machines. We demonstrate that e-voting is a suitable domain for leveraging state-of-the-art in software product line (SPL) engineering techniques and tools. We propose, based on examples of typical requirements, that a feature-oriented approach to e-voting domain analysis is a good foundation upon which to carry out commonality and variablity analysis. Simple analysis of our core and optional features (and their variants) leads us to believe that feature interactions are a major problem in voting systems. We conclude that a formal software product line would help to manage the composition of features in such a way as to eliminate interactions in the requirements models, before particular e-voting systems are instantiated.",
keywords = "Domain Modelling, E-voting, Feature Interactions, Requirements, Software Product Line",
author = "Gibson, \{J. Paul\} and Eric Lallet and Raffy, \{Jean Luc\}",
year = "2009",
month = dec,
day = "1",
doi = "10.3233/978-1-60750-014-8-91",
language = "English",
isbn = "9781607500148",
series = "Feature Interactions in Software and Communication Systems X",
pages = "91--106",
booktitle = "Feature Interactions in Software and Communication Systems X",
note = "10th International Conference on Feature Interactions in Telecommunications and Software Systems, ICFI 2009 ; Conference date: 11-06-2009 Through 12-06-2009",
}