Analysis strategies for software product lines: A classification and survey

Abstract
Software-product-line engineering enables the efficient development of similar software products. Instead of developing each product from scratch, products are generated from common artifacts. However, the product generation is a challenge for the analysis of correctness properties. Applying traditional analysis techniques, such as type checking and model checking, to each product involves redundant effort and is often not feasible due to the combinatorial explosion of products. Approaches to scale analysis techniques to product lines have been presented in unrelated research
  • Citation
  • BibTeX
Thüm, T., Apel, S., Kästner, C., Schaefer, I. & Saake, G., (2015). Analysis strategies for software product lines: A classification and survey. In: Aßmann, U., Demuth, B., Spitta, T., Püschel, G. & Kaiser, R. (Hrsg.), Software-engineering and management 2015. Bonn: Gesellschaft für Informatik e.V.. (S. 57-58).
@inproceedings{mci/Thüm2015,
author = {Thüm, Thomas AND Apel, Sven AND Kästner, Christian AND Schaefer, Ina AND Saake, Gunter},
title = {Analysis strategies for software product lines: A classification and survey},
booktitle = {Software-engineering and management 2015},
year = {2015},
editor = {Aßmann, Uwe AND Demuth, Birgit AND Spitta, Thorsten AND Püschel, Georg AND Kaiser, Ronny} ,
pages = { 57-58 },
publisher = {Gesellschaft für Informatik e.V.},
address = {Bonn}
}
DateienGroesseFormatAnzeige
57.pdf34.89Kb PDF View/Open

Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Send Feedback

More Info

ISBN: 978-3-88579-633-6
ISSN: 1617-5468
xmlui.MetaDataDisplay.field.date: 2015
Language: en (en)
Content Type: Text/Conference Paper
Collections

Show full item record