Analysis strategies for software product lines: A classification and survey
| dc.contributor.author | Thüm, Thomas | |
| dc.contributor.author | Apel, Sven | |
| dc.contributor.author | Kästner, Christian | |
| dc.contributor.author | Schaefer, Ina | |
| dc.contributor.author | Saake, Gunter | |
| dc.contributor.editor | Aßmann, Uwe | |
| dc.contributor.editor | Demuth, Birgit | |
| dc.contributor.editor | Spitta, Thorsten | |
| dc.contributor.editor | Püschel, Georg | |
| dc.contributor.editor | Kaiser, Ronny | |
| dc.date.accessioned | 2017-06-30T20:56:05Z | |
| dc.date.available | 2017-06-30T20:56:05Z | |
| dc.date.issued | 2015 | |
| dc.description.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 | en |
| dc.identifier.isbn | 978-3-88579-633-6 | |
| dc.identifier.pissn | 1617-5468 | |
| dc.language.iso | en | |
| dc.publisher | Gesellschaft für Informatik e.V. | |
| dc.relation.ispartof | Software-engineering and management 2015 | |
| dc.relation.ispartofseries | Lecture Notes in Informatics (LNI) - Proceedings, Volume P-239 | |
| dc.title | Analysis strategies for software product lines: A classification and survey | en |
| dc.type | Text/Conference Paper | |
| gi.citation.endPage | 58 | |
| gi.citation.publisherPlace | Bonn | |
| gi.citation.startPage | 57 | |
| gi.conference.date | 17.-20. März 2015 | |
| gi.conference.location | Dresden |
Dateien
Originalbündel
1 - 1 von 1