Classen, Andreas; Heymans, Patrick; Tun, Thein and Nuseibeh, Bashar
(2009).
![]()
|
PDF (Version of Record)
- Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
Download (142kB) |
DOI (Digital Object Identifier) Link: | https://doi.org/10.1109/ICSE-COMPANION.2009.5070988 |
---|---|
Google Scholar: | Look up in Google Scholar |
Abstract
Determining whether a set of features can be composed, or safe composition, is a hard problem in software product line engineering because the number of feature combinations can be exponential. We argue that synergies between current approaches to safe composition should be exploited and propose a combined approach. At the heart of our proposal is a merge operation that creates a behavioural description for the entire product family from a feature diagram and descriptions of individual feature behaviour. As a result, we intend to verify more efficiently safe composition for an exponential number of feature combinations.
Item Type: | Conference or Workshop Item |
---|---|
Copyright Holders: | 2009 IEEE |
Academic Unit/School: | Faculty of Science, Technology, Engineering and Mathematics (STEM) > Computing and Communications Faculty of Science, Technology, Engineering and Mathematics (STEM) |
Research Group: | Centre for Research in Computing (CRC) |
Item ID: | 27060 |
Depositing User: | Thein Tun |
Date Deposited: | 25 Jan 2011 11:01 |
Last Modified: | 08 Dec 2018 06:44 |
URI: | http://oro.open.ac.uk/id/eprint/27060 |
Share this page: | ![]() ![]() ![]() ![]() |
Metrics
Altmetrics from Altmetric | Citations from Dimensions |
Download history for this item
These details should be considered as only a guide to the number of downloads performed manually. Algorithmic methods have been applied in an attempt to remove automated downloads from the displayed statistics but no guarantee can be made as to the accuracy of the figures.