Efficient configuration and verification of software product lines

Ingo Feinerer

doi:10.1145/2019136.2019193

Efficient configuration and verification of software product lines

Ingo Feinerer

TU Wien

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Original language	English
Title of host publication	Proceedings of the 15th International Software Product Line Conference, SPLC'11
DOIs	https://doi.org/10.1145/2019136.2019193
Publication status	Published - 2011
Externally published	Yes
Event	15th International Software Product Line Conference, SPLC'11 - Munich, Germany Duration: 21 Aug 2011 → 26 Aug 2011

Publication series

Name	ACM International Conference Proceeding Series

Conference

Conference	15th International Software Product Line Conference, SPLC'11
Country/Territory	Germany
City	Munich
Period	21/08/11 → 26/08/11

Keywords

Configuration
Software product lines
Verification

Access to Document

10.1145/2019136.2019193

Cite this

@inproceedings{aee0386db34f40d7a958040bbcb8407c,

title = "Efficient configuration and verification of software product lines",

keywords = "Configuration, Software product lines, Verification",

author = "Ingo Feinerer",

year = "2011",

doi = "10.1145/2019136.2019193",

language = "English",

isbn = "9781450307895",

series = "ACM International Conference Proceeding Series",

booktitle = "Proceedings of the 15th International Software Product Line Conference, SPLC'11",

note = "15th International Software Product Line Conference, SPLC'11 ; Conference date: 21-08-2011 Through 26-08-2011",

}

TY - GEN

T1 - Efficient configuration and verification of software product lines

AU - Feinerer, Ingo

PY - 2011

Y1 - 2011

KW - Configuration

KW - Software product lines

KW - Verification

UR - https://www.scopus.com/pages/publications/80052682694

U2 - 10.1145/2019136.2019193

DO - 10.1145/2019136.2019193

M3 - Conference contribution

AN - SCOPUS:80052682694

SN - 9781450307895

T3 - ACM International Conference Proceeding Series

BT - Proceedings of the 15th International Software Product Line Conference, SPLC'11

T2 - 15th International Software Product Line Conference, SPLC'11

Y2 - 21 August 2011 through 26 August 2011

ER -

Efficient configuration and verification of software product lines

Publication series

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this