SPL Conqueror: Toward optimization of non-functional properties in software product lines

A software product line (SPL) is a family of related programs of a domain. The programs of an SPL are distinguished in terms of features, which are end-user visible characteristics of programs. Based on a selection of features, stakeholders can derive tailor-made programs that satisfy functional req...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Software quality journal Jg. 20; H. 3-4; S. 487 - 517
Hauptverfasser:	Siegmund, Norbert, Rosenmüller, Marko, Kuhlemann, Martin, Kästner, Christian, Apel, Sven, Saake, Gunter
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Boston Springer US 01.09.2012 Springer Nature B.V
Schlagworte:	Analysis Compilers Computer programs Computer Science Concrete Data Structures and Information Theory Derivation Embedded systems End users Energy consumption Footprints Interpreters Operating Systems Optimization Product development Product lines Programming Programming Languages Software Software development Software Engineering/Programming and Operating Systems Software industry Studies Software product lines Feature-oriented software development SPL Conqueror Non-functional properties Measurement and optimization
ISSN:	0963-9314, 1573-1367
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Abstract	A software product line (SPL) is a family of related programs of a domain. The programs of an SPL are distinguished in terms of features, which are end-user visible characteristics of programs. Based on a selection of features, stakeholders can derive tailor-made programs that satisfy functional requirements. Besides functional requirements, different application scenarios raise the need for optimizing non-functional properties of a variant. The diversity of application scenarios leads to heterogeneous optimization goals with respect to non-functional properties (e.g., performance vs. footprint vs. energy optimized variants). Hence, an SPL has to satisfy different and sometimes contradicting requirements regarding non-functional properties. Usually, the actually required non-functional properties are not known before product derivation and can vary for each application scenario and customer. Allowing stakeholders to derive optimized variants requires us to measure non-functional properties after the SPL is developed. Unfortunately, the high variability provided by SPLs complicates measurement and optimization of non-functional properties due to a large variant space. With SPL Conqueror, we provide a holistic approach to optimize non-functional properties in SPL engineering. We show how non-functional properties can be qualitatively specified and quantitatively measured in the context of SPLs. Furthermore, we discuss the variant-derivation process in SPL Conqueror that reduces the effort of computing an optimal variant. We demonstrate the applicability of our approach by means of nine case studies of a broad range of application domains (e.g., database management and operating systems). Moreover, we show that SPL Conqueror is implementation and language independent by using SPLs that are implemented with different mechanisms, such as conditional compilation and feature-oriented programming.
AbstractList	Issue Title: Special Issue: Quality Engineering for Software Product Lines A software product line (SPL) is a family of related programs of a domain. The programs of an SPL are distinguished in terms of features, which are end-user visible characteristics of programs. Based on a selection of features, stakeholders can derive tailor-made programs that satisfy functional requirements. Besides functional requirements, different application scenarios raise the need for optimizing non-functional properties of a variant. The diversity of application scenarios leads to heterogeneous optimization goals with respect to non-functional properties (e.g., performance vs. footprint vs. energy optimized variants). Hence, an SPL has to satisfy different and sometimes contradicting requirements regarding non-functional properties. Usually, the actually required non-functional properties are not known before product derivation and can vary for each application scenario and customer. Allowing stakeholders to derive optimized variants requires us to measure non-functional properties after the SPL is developed. Unfortunately, the high variability provided by SPLs complicates measurement and optimization of non-functional properties due to a large variant space. With SPL Conqueror, we provide a holistic approach to optimize non-functional properties in SPL engineering. We show how non-functional properties can be qualitatively specified and quantitatively measured in the context of SPLs. Furthermore, we discuss the variant-derivation process in SPL Conqueror that reduces the effort of computing an optimal variant. We demonstrate the applicability of our approach by means of nine case studies of a broad range of application domains (e.g., database management and operating systems). Moreover, we show that SPL Conqueror is implementation and language independent by using SPLs that are implemented with different mechanisms, such as conditional compilation and feature-oriented programming.[PUBLICATION ABSTRACT] A software product line (SPL) is a family of related programs of a domain. The programs of an SPL are distinguished in terms of features, which are end-user visible characteristics of programs. Based on a selection of features, stakeholders can derive tailor-made programs that satisfy functional requirements. Besides functional requirements, different application scenarios raise the need for optimizing non-functional properties of a variant. The diversity of application scenarios leads to heterogeneous optimization goals with respect to non-functional properties (e.g., performance vs. footprint vs. energy optimized variants). Hence, an SPL has to satisfy different and sometimes contradicting requirements regarding non-functional properties. Usually, the actually required non-functional properties are not known before product derivation and can vary for each application scenario and customer. Allowing stakeholders to derive optimized variants requires us to measure non-functional properties after the SPL is developed. Unfortunately, the high variability provided by SPLs complicates measurement and optimization of non-functional properties due to a large variant space. With SPL Conqueror, we provide a holistic approach to optimize non-functional properties in SPL engineering. We show how non-functional properties can be qualitatively specified and quantitatively measured in the context of SPLs. Furthermore, we discuss the variant-derivation process in SPL Conqueror that reduces the effort of computing an optimal variant. We demonstrate the applicability of our approach by means of nine case studies of a broad range of application domains (e.g., database management and operating systems). Moreover, we show that SPL Conqueror is implementation and language independent by using SPLs that are implemented with different mechanisms, such as conditional compilation and feature-oriented programming.
Author	Rosenmüller, Marko Kuhlemann, Martin Apel, Sven Siegmund, Norbert Kästner, Christian Saake, Gunter
Author_xml	– sequence: 1 givenname: Norbert surname: Siegmund fullname: Siegmund, Norbert email: nsiegmun@ovgu.de organization: University of Magdeburg – sequence: 2 givenname: Marko surname: Rosenmüller fullname: Rosenmüller, Marko organization: University of Magdeburg – sequence: 3 givenname: Martin surname: Kuhlemann fullname: Kuhlemann, Martin organization: University of Magdeburg – sequence: 4 givenname: Christian surname: Kästner fullname: Kästner, Christian organization: Philipps University Marburg – sequence: 5 givenname: Sven surname: Apel fullname: Apel, Sven organization: University of Passau – sequence: 6 givenname: Gunter surname: Saake fullname: Saake, Gunter organization: University of Magdeburg
BookMark	eNp9kE1LxDAQhoOs4O7qD_AW8OIlmjRJ23iTxS9YUHA9eCppmkqWblKTFNFfb2o9iKCnMMPzZGbeBZhZZzUAxwSfEYyL80BIRgTChCBBeIbEHpgTXlBEaF7MwByLnCJBCTsAixC2GI8Wm4Pnx4c1XDn7Omjv_AXcuDfpG-j6aHbmQ0bjLHQtTNNQO1g11rKDvXe99tHoAI2FwbUxWXpsN4OKsDNWh0Ow38ou6KPvdwmerq82q1u0vr-5W12ukaJMRKSpoiJvCa0bxZpSZjoTdZmlTs3LhpVCqLR7XdeSqUTqXLRENaUSijY0bzVdgtPp3zQ9XRFitTNB6a6TVrshVCQlQAtecpbQk1_o1g0-HZQoTEXGOeM0UWSilHcheN1WvTc76d8TVI2xVVPYVQq7GsOuRHKKX44y8Su96KXp_jWzyQxpin3R_udOf0mfxjOWgQ
CitedBy_id	crossref_primary_10_1002_spe_2463 crossref_primary_10_4018_ijkss_2014100103 crossref_primary_10_1007_s10664_014_9359_z crossref_primary_10_1016_j_infsof_2017_08_010 crossref_primary_10_1007_s10270_013_0337_5 crossref_primary_10_1145_3176644 crossref_primary_10_1109_TSE_2025_3525955 crossref_primary_10_1111_itor_12414 crossref_primary_10_1007_s10515_020_00273_8 crossref_primary_10_1007_s00165_021_00563_2 crossref_primary_10_1016_j_jss_2017_02_044 crossref_primary_10_1016_j_jss_2023_111671 crossref_primary_10_1109_TSE_2021_3116768 crossref_primary_10_1007_s10515_018_0247_4 crossref_primary_10_1109_TSE_2022_3171404 crossref_primary_10_1016_j_jss_2023_111915 crossref_primary_10_1016_j_jss_2023_111913 crossref_primary_10_1145_3712193 crossref_primary_10_1145_3702986 crossref_primary_10_1109_MS_2020_2987024 crossref_primary_10_1016_j_jss_2019_04_026 crossref_primary_10_1016_j_neucom_2019_06_075 crossref_primary_10_1007_s10270_022_01011_2 crossref_primary_10_1145_2775053_2658767 crossref_primary_10_1109_TSE_2024_3491945 crossref_primary_10_1007_s10009_019_00532_4 crossref_primary_10_1016_j_infsof_2020_106371 crossref_primary_10_1186_s40411_015_0022_1 crossref_primary_10_1145_3611663 crossref_primary_10_1145_3093335_2993246 crossref_primary_10_1145_3093335_2993248 crossref_primary_10_1007_s10664_022_10217_3 crossref_primary_10_1016_j_jss_2021_111044 crossref_primary_10_1134_S1995080221070192 crossref_primary_10_1007_s11219_017_9400_8 crossref_primary_10_1016_j_jlamp_2015_08_003 crossref_primary_10_1007_s10664_017_9573_6 crossref_primary_10_1016_j_jss_2021_110909 crossref_primary_10_1016_j_scico_2018_12_002 crossref_primary_10_1145_2189751_2047866 crossref_primary_10_1145_2936314_2814220 crossref_primary_10_1002_smr_1870 crossref_primary_10_1016_j_jss_2025_112434 crossref_primary_10_1145_2897760 crossref_primary_10_1016_j_jss_2018_07_054 crossref_primary_10_1007_s10664_022_10250_2 crossref_primary_10_3390_e16063329 crossref_primary_10_1145_3643743 crossref_primary_10_1016_j_jss_2019_05_001
Cites_doi	10.1109/APSEC.2008.45 10.1145/513829.513838 10.1109/32.730542 10.1109/SPLINE.2006.1691581 10.21236/ADA235785 10.1109/TSE.1976.233837 10.1023/A:1024424811345 10.1145/1868688.1868690 10.1145/1656437.1656441 10.1007/s00158-003-0368-6 10.1145/1276958.1277179 10.1007/978-3-540-71289-3_32 10.1023/A:1015729001611 10.1109/MS.2006.61 10.1145/1287624.1287641 10.1109/ISRE.1997.566873 10.1109/SPLC.2011.20 10.1007/3-540-28901-1 10.1109/IJCNN.2002.1007518 10.1109/APSEC.2010.26 10.1007/978-1-4615-5269-7 10.1145/1324969.1324971 10.1145/976270.976281 10.1126/science.103.2684.677 10.1007/978-3-642-02463-4_19 10.1109/QSIC.2010.9 10.1109/LPE.1994.573195 10.1016/S0950-5849(97)00053-0 10.1109/RE.2007.45 10.1109/52.754056 10.1109/ISRE.1995.512554 10.1109/SPLINE.2007.19 10.1016/j.jss.2009.02.011 10.1016/S0950-5849(01)00194-X 10.1109/TSE.2004.23 10.1109/SPLINE.2006.1691576
ContentType	Journal Article
Copyright	Springer Science+Business Media, LLC 2011 Springer Science+Business Media, LLC 2012
Copyright_xml	– notice: Springer Science+Business Media, LLC 2011 – notice: Springer Science+Business Media, LLC 2012
DBID	AAYXX CITATION 3V. 7SC 7WY 7WZ 7XB 87Z 8AL 8AO 8FD 8FE 8FG 8FK 8FL 8G5 ABUWG AFKRA ARAPS AZQEC BENPR BEZIV BGLVJ CCPQU DWQXO FRNLG F~G GNUQQ GUQSH HCIFZ JQ2 K60 K6~ K7- L.- L.0 L7M L~C L~D M0C M0N M2O MBDVC P5Z P62 PHGZM PHGZT PKEHL PQBIZ PQBZA PQEST PQGLB PQQKQ PQUKI Q9U
DOI	10.1007/s11219-011-9152-9
DatabaseName	CrossRef ProQuest Central (Corporate) Computer and Information Systems Abstracts ABI/INFORM Collection ABI/INFORM Global (PDF only) ProQuest Central (purchase pre-March 2016) ABI/INFORM Collection Computing Database (Alumni Edition) ProQuest Pharma Collection Technology Research Database ProQuest SciTech Collection ProQuest Technology Collection ProQuest Central (Alumni) (purchase pre-March 2016) ABI/INFORM Collection (Alumni) Research Library (Alumni) ProQuest Central (Alumni) ProQuest Central UK/Ireland Advanced Technologies & Computer Science Collection ProQuest Central Essentials ProQuest Central Business Premium Collection Technology Collection ProQuest One ProQuest Central Korea Business Premium Collection (Alumni) ABI/INFORM Global (Corporate) ProQuest Central Student ProQuest Research Library SciTech Premium Collection ProQuest Computer Science Collection ProQuest Business Collection (Alumni Edition) ProQuest Business Collection Computer Science Database ABI/INFORM Professional Advanced ABI/INFORM Professional Standard Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Academic Computer and Information Systems Abstracts Professional ABI/INFORM Global Computing Database Research Library Research Library (Corporate) ProQuest advanced technologies & aerospace journals ProQuest Advanced Technologies & Aerospace Collection Proquest Central Premium ProQuest One Academic (New) ProQuest One Academic Middle East (New) ProQuest One Business ProQuest One Business (Alumni) ProQuest One Academic Eastern Edition (DO NOT USE) ProQuest One Applied & Life Sciences ProQuest One Academic (retired) ProQuest One Academic UKI Edition ProQuest Central Basic
DatabaseTitle	CrossRef ABI/INFORM Global (Corporate) ProQuest Business Collection (Alumni Edition) ProQuest One Business Research Library Prep Computer Science Database ProQuest Central Student Technology Collection Technology Research Database Computer and Information Systems Abstracts – Academic ProQuest One Academic Middle East (New) ProQuest Advanced Technologies & Aerospace Collection ProQuest Central Essentials ProQuest Computer Science Collection Computer and Information Systems Abstracts ProQuest Central (Alumni Edition) SciTech Premium Collection ProQuest One Community College Research Library (Alumni Edition) ProQuest Pharma Collection ABI/INFORM Complete ProQuest Central ABI/INFORM Professional Advanced ProQuest One Applied & Life Sciences ABI/INFORM Professional Standard ProQuest Central Korea ProQuest Research Library ProQuest Central (New) Advanced Technologies Database with Aerospace ABI/INFORM Complete (Alumni Edition) Advanced Technologies & Aerospace Collection Business Premium Collection ABI/INFORM Global ProQuest Computing ABI/INFORM Global (Alumni Edition) ProQuest Central Basic ProQuest Computing (Alumni Edition) ProQuest One Academic Eastern Edition ProQuest Technology Collection ProQuest SciTech Collection ProQuest Business Collection Computer and Information Systems Abstracts Professional Advanced Technologies & Aerospace Database ProQuest One Academic UKI Edition ProQuest One Business (Alumni) ProQuest One Academic ProQuest One Academic (New) ProQuest Central (Alumni) Business Premium Collection (Alumni)
DatabaseTitleList	ABI/INFORM Global (Corporate) Computer and Information Systems Abstracts
Database_xml	– sequence: 1 dbid: BENPR name: ProQuest Central url: https://www.proquest.com/central sourceTypes: Aggregation Database
DeliveryMethod	fulltext_linktorsrc
Discipline	Computer Science
EISSN	1573-1367
EndPage	517
ExternalDocumentID	2759526331 10_1007_s11219_011_9152_9
Genre	Feature
GroupedDBID	-4Z -59 -5G -BR -EM -Y2 -~C .4S .86 .DC .VR 06D 0R~ 0VY 123 1N0 1SB 2.D 203 28- 2J2 2JN 2JY 2KG 2LR 2P1 2VQ 2~H 30V 3V. 4.4 406 408 409 40D 40E 5QI 5VS 67Z 6NX 7WY 8AO 8FE 8FG 8FL 8G5 8TC 95- 95. 95~ 96X AAAVM AABHQ AACDK AAHNG AAIAL AAJBT AAJKR AANZL AAOBN AARHV AARTL AASML AATNV AATVU AAUYE AAWCG AAYIU AAYOK AAYQN AAYTO AAYZH ABAKF ABBBX ABBXA ABDPE ABDZT ABECU ABFTD ABFTV ABHLI ABHQN ABJNI ABJOX ABKCH ABKTR ABMNI ABMQK ABNWP ABQBU ABQSL ABSXP ABTEG ABTHY ABTKH ABTMW ABULA ABUWG ABWNU ABXPI ACAOD ACBXY ACDTI ACGFS ACHSB ACHXU ACKNC ACMDZ ACMLO ACOKC ACOMO ACPIV ACSNA ACZOJ ADHHG ADHIR ADIMF ADINQ ADKNI ADKPE ADMLS ADRFC ADTPH ADURQ ADYFF ADZKW AEBTG AEFIE AEFQL AEGAL AEGNC AEJHL AEJRE AEKMD AEMSY AENEX AEOHA AEPYU AESKC AETLH AEVLU AEXYK AFBBN AFEXP AFGCZ AFKRA AFLOW AFQWF AFWTZ AFZKB AGAYW AGDGC AGGDS AGJBK AGMZJ AGQEE AGQMX AGRTI AGWIL AGWZB AGYKE AHAVH AHBYD AHSBF AHYZX AIAKS AIGIU AIIXL AILAN AITGF AJBLW AJRNO AJZVZ ALMA_UNASSIGNED_HOLDINGS ALWAN AMKLP AMXSW AMYLF AMYQR AOCGG ARAPS ARCSS ARMRJ ASPBG AVWKF AXYYD AYJHY AZFZN AZQEC B-. BA0 BBWZM BDATZ BENPR BEZIV BGLVJ BGNMA BPHCQ BSONS CAG CCPQU COF CS3 CSCUP DDRTE DL5 DNIVK DPUIP DU5 DWQXO EBLON EBS EDO EIOEI EJD ESBYG FEDTE FERAY FFXSO FIGPU FINBP FNLPD FRNLG FRRFC FSGXE FWDCC GGCAI GGRSB GJIRD GNUQQ GNWQR GQ6 GQ7 GQ8 GROUPED_ABI_INFORM_COMPLETE GUQSH GXS H13 HCIFZ HF~ HG5 HG6 HMJXF HQYDN HRMNR HVGLF HZ~ I09 IHE IJ- IKXTQ ITM IWAJR IXC IZIGR IZQ I~X I~Z J-C J0Z JBSCW JCJTX JZLTJ K60 K6V K6~ K7- KDC KOV KOW LAK LLZTM M0C M0N M2O M4Y MA- N2Q NB0 NDZJH NPVJJ NQJWS NU0 O9- O93 O9G O9I O9J OAM OVD P19 P2P P62 P9O PF0 PQBIZ PQBZA PQQKQ PROAC PT4 PT5 Q2X QOK QOS R4E R89 R9I RHV RIG RNI ROL RPX RSV RZC RZE RZK S16 S1Z S26 S27 S28 S3B SAP SCJ SCLPG SCO SDH SDM SHX SISQX SJYHP SNE SNPRN SNX SOHCF SOJ SPISZ SRMVM SSLCW STPWE SZN T13 T16 TEORI TSG TSK TSV TUC TUS U2A UG4 UOJIU UTJUX UZXMN VC2 VFIZW W23 W48 WK8 YLTOR Z45 Z7R Z7S Z7X Z7Z Z81 Z83 Z88 Z8M Z8N Z8R Z8T Z8W Z92 ZMTXR ~A9 ~EX AAPKM AAYXX ABBRH ABDBE ABFSG ABRTQ ACSTC ADHKG AEZWR AFDZB AFFHD AFHIU AFOHR AGQPQ AHPBZ AHWEU AIXLP ATHPR AYFIA CITATION PHGZM PHGZT PQGLB 7SC 7XB 8AL 8FD 8FK JQ2 L.- L.0 L7M L~C L~D MBDVC PKEHL PQEST PQUKI Q9U PUEGO
ID	FETCH-LOGICAL-c349t-e3c396f13bdc4d8a2e29b826f1b58d4899c096bbba4cc39e69f1cd8c9c3d36fe3
IEDL.DBID	M0C
ISICitedReferencesCount	112
ISICitedReferencesURI	http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000308001900003&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
ISSN	0963-9314
IngestDate	Fri Sep 05 09:22:43 EDT 2025 Tue Nov 04 20:04:46 EST 2025 Sat Nov 29 03:13:11 EST 2025 Tue Nov 18 21:37:28 EST 2025 Fri Feb 21 02:36:40 EST 2025
IsPeerReviewed	true
IsScholarly	true
Issue	3-4
Keywords	Software product lines Feature-oriented software development SPL Conqueror Non-functional properties Measurement and optimization
Language	English
License	http://www.springer.com/tdm
LinkModel	DirectLink
MergedId	FETCHMERGED-LOGICAL-c349t-e3c396f13bdc4d8a2e29b826f1b58d4899c096bbba4cc39e69f1cd8c9c3d36fe3
Notes	SourceType-Scholarly Journals-1 ObjectType-Feature-1 content type line 14 ObjectType-Article-2 content type line 23
PQID	1039255453
PQPubID	29106
PageCount	31
ParticipantIDs	proquest_miscellaneous_1136375854 proquest_journals_1039255453 crossref_primary_10_1007_s11219_011_9152_9 crossref_citationtrail_10_1007_s11219_011_9152_9 springer_journals_10_1007_s11219_011_9152_9
PublicationCentury	2000
PublicationDate	2012-09-01
PublicationDateYYYYMMDD	2012-09-01
PublicationDate_xml	– month: 09 year: 2012 text: 2012-09-01 day: 01
PublicationDecade	2010
PublicationPlace	Boston
PublicationPlace_xml	– name: Boston – name: Dordrecht
PublicationTitle	Software quality journal
PublicationTitleAbbrev	Software Qual J
PublicationYear	2012
Publisher	Springer US Springer Nature B.V
Publisher_xml	– name: Springer US – name: Springer Nature B.V
References	Siegmund, N., Rosenmüller, M., Kuhlemann, M., Kästner, C., & Saake, G. (2008b). Measuring non-functional properties in software product lines for product derivation. In Proceedings of the Asia-Pacific Software Engineering Conference (APSEC), IEEE Computer Society, pp. 187–194. KhoshgoftaarTMSeliyaNFault prediction modeling for software quality estimation: Comparing commonly used techniquesEmpirical Software Engineering2003825528310.1023/A:1024424811345 SQLite.org (2010). Press release. http://www.sqlite.org/mostdeployed.html [Accessed at: 19th May 2011]. Trendowicz, A., & Punter, T. (2003). Quality modeling for software product lines. In ECOOP Workshop on Quantitative Approaches in Object-Oriented Software Engineering (QAOOSE). Götz, S., & Pukall, M. (2009). On performance of delegation in Java. In Proceedings of the International Workshop on Hot Topics in Software Upgrades (HotSWUp) (pp. 1–6). New York: ACM Press. Pure-systems GmbH (2004). Technical white paper: Variant management with pure::variants. [Avaiblable online at: http://www.pure-systems.com. RobertsonSRobertsonJMastering the requirements process1999New YorkACM Press ChungLNixonBAYuEMylopoulosJNon-functional requirements in software engineering1999BerlinSpringer10.1007/978-1-4615-5269-7 KarlssonJWohlinCRegnellBAn evaluation of methods for prioritizing software requirementsInformation and Software Technology19983914–1593994710.1016/S0950-5849(97)00053-0 Yu, E. S. K. (1997). Towards modeling and reasoning support for early-phase requirements engineering. In Proceedings of the International Symposium on Requirements Engineering (RE), IEEE Computer Society, pp. 226–235. Saliu, M. O., & Ruhe, G. (2007). Bi-objective release planning for evolving software systems. In Proceedings of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC-FSE) (pp. 105–114). New York: ACM Press, FSE. Benavides, D., Ruiz-Cortés, A., & Trinidad, P. (2005). Automated reasoning on feature models. In International Conference on Advanced Information Systems Engineering (CAISE) (Vol. 3520, pp. 491–503). Berlin: Springer, LNCS. Czarnecki, K., Kim, C. H. P., & Kalleberg, K. T. (2006). Feature models are views on ontologies. In Proceedings of the International Software Product Line Conference (SPLC), IEEE Computer Society, pp. 41–51. Sincero, J., Schröder-Preikschat, W., & Spinczyk, O. (2010). Approaching non-functional properties of software product lines: Learning from products. In Proceedings of Asia-Pacific Software Engineering Conference (APSEC), IEEE Computer Society, pp. 147–155. Rana, Z. A., Shamail, S., & Awais, M. M. (2007). A survey of measurement-based software quality prediction techniques. Tech. Rep. Lahore University of Management Sciences. CzarneckiKEiseneckerUGenerative programming: Methods, tools, and applications2000MAAddison-Wesley MarlerRAroraJSurvey of multi-objective optimization methods for engineeringStructural and Multidisciplinary Optimization200426636939520573771243.9019910.1007/s00158-003-0368-6 Tiwari, V., Malik, S., & Wolfe, A. (1994). Compilation techniques for low energy: An overview. In Proceedings of Symposium on Low Power Electronics (ISLPED), IEEE Computer Society, pp. 38–39. White, J., Schmidt, D. C., Wuchner, E., & Nechypurenko, A. (2007). Automating product-line variant selection for mobile devices. In Proceedings of the International Software Product Line Conference (SPLC), IEEE Computer Society, pp. 129–140. Chung, L., Nixon, B. A., & Yu, E. (1995). Using non-functional requirements to systematically support change. In Proceedings of the International Symposium on Requirements Engineering (RE), IEEE Computer Society, pp. 132–139. Zhang, Y., Harman, M., & Mansouri, S. A. (2007). The multi-objective next release problem. In Proceedings of the Annual Conference on Genetic and Evolutionary Computation (GECCO) (pp. 1129–1137). New York: ACM Press. Chung, L., & do Prado Leite, J. (2009). On non-functional requirements in software engineering. In Conceptual modeling: Foundations and applications (Vol. 5600, Chap 19, pp. 363–379). Berlin: Springer, LNCS. Hunleth, F., & Cytron, R. (2002). Footprint and feature management using aspect-oriented programming techniques. In Proceedings of Joint Conference on Languages, Compilers, and Tools for Embedded Systems & Software and Compilers for Embedded Systems (LCTES/SCOPES) (pp. 38–45). New York: ACM Press. PohlKBöckleGvan der LindenFSoftware product line engineering: Foundations, principles and techniques2005BerlinSpringer1075.68575 FeiYRaviSRaghunathanAJhaNKEnergy-optimizing source code transformations for operating system-driven embedded softwareACM Transaction on Embedded Computer Systems20077112610.1145/1324969.1324971 CooperKDSubramanianDTorczonLAdaptive optimizing compilers for the 21st centuryJournal of Supercomputing20022317220994.6853710.1023/A:1015729001611 FlochJHallsteinsenSStavEEliassenFLundKGjorvenEUsing architecture models for runtime adaptabilityIEEE Software200623627010.1109/MS.2006.61 Glinz, M. (2007). On non-functional requirements. In Proceedings of the International Conference on Requirements Engineering (RE), IEEE Computer Society, pp. 21–26. Göbel, S., Pohl, C., Röttger, S., & Zschaler, S. (2004). The COMQUAD component model: Enabling dynamic selection of implementations by weaving non-functional aspects. In International Conference on Aspect-oriented Software Development (AOSD) (pp. 74–82). New York: ACM Press. Siegmund, N., Kuhlemann, M., Apel, S., & Pukall, M. (2010a). Optimizing non-functional properties of software product lines by means of refactorings. In Proceedings of Workshop Variability Modelling of Software-intensive Systems (VaMoS) (pp. 115–122). University of Duisburg-Essen. WhiteJDoughertyBSchmidtDCSelecting highly optimal architectural feature sets with filtered cartesian flatteningJournal of Systems and Software20098281268128410.1016/j.jss.2009.02.011 Pizzi, N. J., Summers, R., & Pedrycz, W. (2002). Software quality prediction using median-adjusted class labels. In International Joint Conference on Neural Networks (IJCNN), IEEE Computer Society, pp. 2405–2409. Kästner, C., Apel, S., ur Rahman, S. S., Rosenmüller, M., Batory, D. & Saake, G. (2009). On the impact of the optional feature problem: Analysis and case studies. In Proceedings of the International Software Product Line Conference (SPLC), Software Engineering Institute (SEI), pp. 181–190. Siegmund, N., Kuhlemann, M., Rosenmüller, M., Kästner, C., & Saake, G. (2008a). Integrated product line model for semi-automated product derivation using non-functional properties. In Workshop on Variability Modelling of Software-intensive Systems (VaMoS) (pp. 25–31). University of Duisburg-Essen. BatoryDSarvelaJNRauschmayerAScaling step-wise refinementIEEE Transactions on Software Engineering (TSE)200430635537110.1109/TSE.2004.23 Sincero, J., Spinczyk, O., & Schröder-Preikschat, W. (2007). On the configuration of non-functional properties in software product lines. In Software Product Line Conference (SPLC), Doctoral Symposium (pp. 167–173). Kindai Kagaku Sha Co. Ltd. Siegmund, N., Rosenmüller, M., & Apel, S. (2010b). Automating energy optimization with features. In Proceedings of International Workshop on Feature-oriented Software Development (FOSD) (pp. 2–9). New York: ACM Press. Li, Y., & Henkel, J. (2002). A framework for estimating and minimizing energy dissipation of embedded HW/SW systems (pp. 259–264). Dordrecht: Kluwer Academic Publishers. Czarnecki, K., Helsen, S., & Eisenecker, U. W. (2004). Staged configuration using feature models. In Proceedings of the International Software Product Line Conference (SPLC) (Vol. 3154, pp. 266–283). Berlin: Springer, LNCS. Lopez-Herrejon, R., & Apel, S. (2007). Measuring and characterizing crosscutting in aspect-based programs: Basic metrics and case studies. In Proceedings of the International Conference on Fundamental Approaches to Software Engineering (FASE) (pp. 423–437). Berlin: Springer Antkiewicz, M., & Czarnecki, K. (2004). Featureplugin: Feature modeling plug-in for Eclipse. In Workshop on eclipse technology eXchange (pp. 67–72). New York: ACM Press. Kang, K., Cohen, S., Hess, J., Novak, W., & Peterson, A. (1990). Feature-oriented domain analysis (FODA) feasibility study. Tech. Rep. CMU/SEI-90-TR-21, Software Engineering Institute, Carnegie Mellon University. Mccall, J. A., Richards, P. K., & Walters, G. F. (1977). Factors in software quality. Vol. 1. Concepts and definitions of software quality. Technical Report ADA049014, General Electric Co Sunnyvale California. Siegmund, N., Rosenmüller, M., Kästner, C., Giarusso, P. G., Apel, S., & Kolesnikov, S. S. (2011). Scalable prediction of non-functional properties in software product lines. In Software Product Line Conference (SPLC), IEEE Computer Society. Batory, D. (2005). Feature models, grammars, and propositional formulas. In Proceedings of the International Software Product Line Conference (SPLC) (Vol. 3714, pp. 7–20). Berlin: Springer, LNCS. BoehmBWBrownJRKasparHLipowMMacleodGJMerrittMJCharacteristics of software wuality (TRW series of software technology)1978AmsterdamElsevier Apel, S., & Beyer, D. (2011). Feature cohesion in software product lines: An exploratory study. In Proceedings of the International Software Engineering Conference (ICSE) (pp. 421–430). New York: ACM Press. van LamsweerdeADarimontRLetierEManaging conflicts in goal-driven requirements engineeringIEEE Transactions on Software Engineering1998241190892610.1109/32.730542 Botterweck, G., Nestor, D., Preußner, A., Cawley, C., & Thiel, S. (2007). Towards supporting feature configuration by interactive visualization. In Proceedings of Workshop on Visualisation in Software Product Line Engineering (ViSPLE), IEEE Computer Society, pp. 125–131. van Lamsweerde, A. (2001). Goal-oriented requirements engineering: a guided tour. In International Symposium on Requirements Engineering (RE), IEEE Computer Society, pp. 249–262. BøeghJDepanfilisSKitc KD Cooper (9152_CR15) 2002; 23 9152_CR2 9152_CR1 9152_CR4 A Lamsweerde van (9152_CR32) 1998; 24 9152_CR6 9152_CR18 9152_CR7 9152_CR26 9152_CR25 9152_CR28 9152_CR22 9152_CR21 J Floch (9152_CR20) 2006; 23 9152_CR24 9152_CR23 9152_CR62 9152_CR61 9152_CR60 P Clements (9152_CR14) 2002 AJ Bagnall (9152_CR3) 2001; 43 Y Fei (9152_CR19) 2007; 7 S Robertson (9152_CR45) 1999 9152_CR58 9152_CR17 9152_CR11 9152_CR10 9152_CR54 K Czarnecki (9152_CR16) 2000 9152_CR57 9152_CR12 9152_CR56 9152_CR51 9152_CR50 9152_CR53 9152_CR52 D Batory (9152_CR5) 2004; 30 L Chung (9152_CR13) 1999 J White (9152_CR59) 2009; 82 9152_CR48 9152_CR47 9152_CR49 9152_CR44 9152_CR43 TM Khoshgoftaar (9152_CR29) 2003; 8 9152_CR46 SS Stevens (9152_CR55) 1946; 103 9152_CR40 J Bøegh (9152_CR8) 1999; 16 9152_CR42 T McCabe (9152_CR37) 1976; 2 J Karlsson (9152_CR27) 1998; 39 9152_CR39 9152_CR38 9152_CR33 K Pohl (9152_CR41) 2005 BW Boehm (9152_CR9) 1978 9152_CR35 9152_CR34 9152_CR31 9152_CR30 R Marler (9152_CR36) 2004; 26
References_xml	– reference: Mccall, J. A., Richards, P. K., & Walters, G. F. (1977). Factors in software quality. Vol. 1. Concepts and definitions of software quality. Technical Report ADA049014, General Electric Co Sunnyvale California. – reference: Siegmund, N., Kuhlemann, M., Apel, S., & Pukall, M. (2010a). Optimizing non-functional properties of software product lines by means of refactorings. In Proceedings of Workshop Variability Modelling of Software-intensive Systems (VaMoS) (pp. 115–122). University of Duisburg-Essen. – reference: SQLite.org (2010). Press release. http://www.sqlite.org/mostdeployed.html [Accessed at: 19th May 2011]. – reference: Li, Y., & Henkel, J. (2002). A framework for estimating and minimizing energy dissipation of embedded HW/SW systems (pp. 259–264). Dordrecht: Kluwer Academic Publishers. – reference: Chung, L., & do Prado Leite, J. (2009). On non-functional requirements in software engineering. In Conceptual modeling: Foundations and applications (Vol. 5600, Chap 19, pp. 363–379). Berlin: Springer, LNCS. – reference: Botterweck, G., Nestor, D., Preußner, A., Cawley, C., & Thiel, S. (2007). Towards supporting feature configuration by interactive visualization. In Proceedings of Workshop on Visualisation in Software Product Line Engineering (ViSPLE), IEEE Computer Society, pp. 125–131. – reference: Benavides, D., Ruiz-Cortés, A., & Trinidad, P. (2005). Automated reasoning on feature models. In International Conference on Advanced Information Systems Engineering (CAISE) (Vol. 3520, pp. 491–503). Berlin: Springer, LNCS. – reference: Benavides, D., Segura, S., Trinidad, P., & Cortés, A. R. (2007). FAMA: Tooling a framework for the automated analysis of feature models. In Proceedings of the Workshop on Variability Modelling of Software-intensive Systems (VaMoS) (pp. 129–134). Berlin: Springer. – reference: BoehmBWBrownJRKasparHLipowMMacleodGJMerrittMJCharacteristics of software wuality (TRW series of software technology)1978AmsterdamElsevier – reference: RobertsonSRobertsonJMastering the requirements process1999New YorkACM Press – reference: Pure-systems GmbH (2004). Technical white paper: Variant management with pure::variants. [Avaiblable online at: http://www.pure-systems.com. – reference: Czarnecki, K., Kim, C. H. P., & Kalleberg, K. T. (2006). Feature models are views on ontologies. In Proceedings of the International Software Product Line Conference (SPLC), IEEE Computer Society, pp. 41–51. – reference: Siegmund, N., Rosenmüller, M., & Apel, S. (2010b). Automating energy optimization with features. In Proceedings of International Workshop on Feature-oriented Software Development (FOSD) (pp. 2–9). New York: ACM Press. – reference: Zubrow, D., & Chastek, G. (2003). Measures for software product lines. Tech. Rep. CMU/SEI-2003-TN-031, Carnegie Mellon University. – reference: CzarneckiKEiseneckerUGenerative programming: Methods, tools, and applications2000MAAddison-Wesley – reference: Czarnecki, K., Helsen, S., & Eisenecker, U. W. (2004). Staged configuration using feature models. In Proceedings of the International Software Product Line Conference (SPLC) (Vol. 3154, pp. 266–283). Berlin: Springer, LNCS. – reference: Antkiewicz, M., & Czarnecki, K. (2004). Featureplugin: Feature modeling plug-in for Eclipse. In Workshop on eclipse technology eXchange (pp. 67–72). New York: ACM Press. – reference: BagnallAJRayward-SmithVJWhittleyIMThe next release problemInformation and Software Technology2001431488389010.1016/S0950-5849(01)00194-X – reference: Siegmund, N., Rosenmüller, M., Kuhlemann, M., Kästner, C., & Saake, G. (2008b). Measuring non-functional properties in software product lines for product derivation. In Proceedings of the Asia-Pacific Software Engineering Conference (APSEC), IEEE Computer Society, pp. 187–194. – reference: StevensSSOn the theory of scales of measurementSciences194610326846776801226.9105010.1126/science.103.2684.677 – reference: White, J., Schmidt, D. C., Wuchner, E., & Nechypurenko, A. (2007). Automating product-line variant selection for mobile devices. In Proceedings of the International Software Product Line Conference (SPLC), IEEE Computer Society, pp. 129–140. – reference: Kang, K., Cohen, S., Hess, J., Novak, W., & Peterson, A. (1990). Feature-oriented domain analysis (FODA) feasibility study. Tech. Rep. CMU/SEI-90-TR-21, Software Engineering Institute, Carnegie Mellon University. – reference: McCabeTA complexity measureIEEE Transactions on Software Engineering1976243083204459040352.6806610.1109/TSE.1976.233837 – reference: Hunleth, F., & Cytron, R. (2002). Footprint and feature management using aspect-oriented programming techniques. In Proceedings of Joint Conference on Languages, Compilers, and Tools for Embedded Systems & Software and Compilers for Embedded Systems (LCTES/SCOPES) (pp. 38–45). New York: ACM Press. – reference: Siegmund, N., Rosenmüller, M., Kästner, C., Giarusso, P. G., Apel, S., & Kolesnikov, S. S. (2011). Scalable prediction of non-functional properties in software product lines. In Software Product Line Conference (SPLC), IEEE Computer Society. – reference: Lincke, R., Gutzmann, T., & Löwe, W. (2010). Software quality prediction models compared. In International Conference on Quality Software (ISCQ), IEEE Computer Society, pp. 82–91. – reference: Siegmund, N., Kuhlemann, M., Rosenmüller, M., Kästner, C., & Saake, G. (2008a). Integrated product line model for semi-automated product derivation using non-functional properties. In Workshop on Variability Modelling of Software-intensive Systems (VaMoS) (pp. 25–31). University of Duisburg-Essen. – reference: BatoryDSarvelaJNRauschmayerAScaling step-wise refinementIEEE Transactions on Software Engineering (TSE)200430635537110.1109/TSE.2004.23 – reference: WhiteJDoughertyBSchmidtDCSelecting highly optimal architectural feature sets with filtered cartesian flatteningJournal of Systems and Software20098281268128410.1016/j.jss.2009.02.011 – reference: KarlssonJWohlinCRegnellBAn evaluation of methods for prioritizing software requirementsInformation and Software Technology19983914–1593994710.1016/S0950-5849(97)00053-0 – reference: Rabiser, R., Dhungana, D., & Grünbacher, P. (2007). Tool support for product derivation in large-scale product lines: A wizard-based approach. In Workshop on Visualisation in Software Product Line Engineering (ViSPLE), IEEE Computer Society, pp. 119–124. – reference: Rana, Z. A., Shamail, S., & Awais, M. M. (2007). A survey of measurement-based software quality prediction techniques. Tech. Rep. Lahore University of Management Sciences. – reference: CooperKDSubramanianDTorczonLAdaptive optimizing compilers for the 21st centuryJournal of Supercomputing20022317220994.6853710.1023/A:1015729001611 – reference: Lopez-Herrejon, R., & Apel, S. (2007). Measuring and characterizing crosscutting in aspect-based programs: Basic metrics and case studies. In Proceedings of the International Conference on Fundamental Approaches to Software Engineering (FASE) (pp. 423–437). Berlin: Springer – reference: Saliu, M. O., & Ruhe, G. (2007). Bi-objective release planning for evolving software systems. In Proceedings of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC-FSE) (pp. 105–114). New York: ACM Press, FSE. – reference: Krueger, C. W. (2006). New methods in software product line development. In Proceedings of the International Software Product Line Conference (SPLC), IEEE Computer Society, pp. 95–102. – reference: Pizzi, N. J., Summers, R., & Pedrycz, W. (2002). Software quality prediction using median-adjusted class labels. In International Joint Conference on Neural Networks (IJCNN), IEEE Computer Society, pp. 2405–2409. – reference: MarlerRAroraJSurvey of multi-objective optimization methods for engineeringStructural and Multidisciplinary Optimization200426636939520573771243.9019910.1007/s00158-003-0368-6 – reference: Kästner, C., Apel, S., ur Rahman, S. S., Rosenmüller, M., Batory, D. & Saake, G. (2009). On the impact of the optional feature problem: Analysis and case studies. In Proceedings of the International Software Product Line Conference (SPLC), Software Engineering Institute (SEI), pp. 181–190. – reference: PohlKBöckleGvan der LindenFSoftware product line engineering: Foundations, principles and techniques2005BerlinSpringer1075.68575 – reference: International Organization for Standardization (ISO) (2001). Software engineering—Product quality, Part 1: Quality model. In JTC 1/SC 7—Software and systems engineering, ISO/IEC 9126-1. – reference: Sincero, J., Schröder-Preikschat, W., & Spinczyk, O. (2010). Approaching non-functional properties of software product lines: Learning from products. In Proceedings of Asia-Pacific Software Engineering Conference (APSEC), IEEE Computer Society, pp. 147–155. – reference: FeiYRaviSRaghunathanAJhaNKEnergy-optimizing source code transformations for operating system-driven embedded softwareACM Transaction on Embedded Computer Systems20077112610.1145/1324969.1324971 – reference: Glinz, M. (2007). On non-functional requirements. In Proceedings of the International Conference on Requirements Engineering (RE), IEEE Computer Society, pp. 21–26. – reference: ChungLNixonBAYuEMylopoulosJNon-functional requirements in software engineering1999BerlinSpringer10.1007/978-1-4615-5269-7 – reference: KhoshgoftaarTMSeliyaNFault prediction modeling for software quality estimation: Comparing commonly used techniquesEmpirical Software Engineering2003825528310.1023/A:1024424811345 – reference: BøeghJDepanfilisSKitchenhamBPasquiniAA method for software quality planning, control, and evaluationIEEE Software199916697710.1109/52.754056 – reference: Zhang, Y., Harman, M., & Mansouri, S. A. (2007). The multi-objective next release problem. In Proceedings of the Annual Conference on Genetic and Evolutionary Computation (GECCO) (pp. 1129–1137). New York: ACM Press. – reference: Tiwari, V., Malik, S., & Wolfe, A. (1994). Compilation techniques for low energy: An overview. In Proceedings of Symposium on Low Power Electronics (ISLPED), IEEE Computer Society, pp. 38–39. – reference: Batory, D. (2005). Feature models, grammars, and propositional formulas. In Proceedings of the International Software Product Line Conference (SPLC) (Vol. 3714, pp. 7–20). Berlin: Springer, LNCS. – reference: Chung, L., Nixon, B. A., & Yu, E. (1995). Using non-functional requirements to systematically support change. In Proceedings of the International Symposium on Requirements Engineering (RE), IEEE Computer Society, pp. 132–139. – reference: van LamsweerdeADarimontRLetierEManaging conflicts in goal-driven requirements engineeringIEEE Transactions on Software Engineering1998241190892610.1109/32.730542 – reference: ClementsPNorthropLSoftware product lines: Practices and patterns2002MAAddison-Wesley – reference: Trendowicz, A., & Punter, T. (2003). Quality modeling for software product lines. In ECOOP Workshop on Quantitative Approaches in Object-Oriented Software Engineering (QAOOSE). – reference: Yu, E. S. K. (1997). Towards modeling and reasoning support for early-phase requirements engineering. In Proceedings of the International Symposium on Requirements Engineering (RE), IEEE Computer Society, pp. 226–235. – reference: Apel, S., & Beyer, D. (2011). Feature cohesion in software product lines: An exploratory study. In Proceedings of the International Software Engineering Conference (ICSE) (pp. 421–430). New York: ACM Press. – reference: van Lamsweerde, A. (2001). Goal-oriented requirements engineering: a guided tour. In International Symposium on Requirements Engineering (RE), IEEE Computer Society, pp. 249–262. – reference: Göbel, S., Pohl, C., Röttger, S., & Zschaler, S. (2004). The COMQUAD component model: Enabling dynamic selection of implementations by weaving non-functional aspects. In International Conference on Aspect-oriented Software Development (AOSD) (pp. 74–82). New York: ACM Press. – reference: Götz, S., & Pukall, M. (2009). On performance of delegation in Java. In Proceedings of the International Workshop on Hot Topics in Software Upgrades (HotSWUp) (pp. 1–6). New York: ACM Press. – reference: FlochJHallsteinsenSStavEEliassenFLundKGjorvenEUsing architecture models for runtime adaptabilityIEEE Software200623627010.1109/MS.2006.61 – reference: Oracle (2006). Oracle press release. http://www.oracle.com/corporate/press/2006_sep/oracle_bdb_4-5.htm – reference: Sincero, J., Spinczyk, O., & Schröder-Preikschat, W. (2007). On the configuration of non-functional properties in software product lines. In Software Product Line Conference (SPLC), Doctoral Symposium (pp. 167–173). Kindai Kagaku Sha Co. Ltd. – ident: 9152_CR7 – volume-title: Characteristics of software wuality (TRW series of software technology) year: 1978 ident: 9152_CR9 – ident: 9152_CR42 – volume-title: Software product lines: Practices and patterns year: 2002 ident: 9152_CR14 – ident: 9152_CR48 doi: 10.1109/APSEC.2008.45 – ident: 9152_CR24 doi: 10.1145/513829.513838 – volume: 24 start-page: 908 issue: 11 year: 1998 ident: 9152_CR32 publication-title: IEEE Transactions on Software Engineering doi: 10.1109/32.730542 – volume-title: Generative programming: Methods, tools, and applications year: 2000 ident: 9152_CR16 – ident: 9152_CR30 doi: 10.1109/SPLINE.2006.1691581 – ident: 9152_CR49 – ident: 9152_CR62 – ident: 9152_CR26 doi: 10.21236/ADA235785 – volume: 2 start-page: 308 issue: 4 year: 1976 ident: 9152_CR37 publication-title: IEEE Transactions on Software Engineering doi: 10.1109/TSE.1976.233837 – volume: 8 start-page: 255 year: 2003 ident: 9152_CR29 publication-title: Empirical Software Engineering doi: 10.1023/A:1024424811345 – ident: 9152_CR50 doi: 10.1145/1868688.1868690 – ident: 9152_CR18 – ident: 9152_CR39 – ident: 9152_CR23 doi: 10.1145/1656437.1656441 – volume: 26 start-page: 369 issue: 6 year: 2004 ident: 9152_CR36 publication-title: Structural and Multidisciplinary Optimization doi: 10.1007/s00158-003-0368-6 – volume-title: Mastering the requirements process year: 1999 ident: 9152_CR45 – ident: 9152_CR61 doi: 10.1145/1276958.1277179 – ident: 9152_CR10 – ident: 9152_CR35 doi: 10.1007/978-3-540-71289-3_32 – volume: 23 start-page: 7 issue: 1 year: 2002 ident: 9152_CR15 publication-title: Journal of Supercomputing doi: 10.1023/A:1015729001611 – ident: 9152_CR31 – volume: 23 start-page: 62 year: 2006 ident: 9152_CR20 publication-title: IEEE Software doi: 10.1109/MS.2006.61 – ident: 9152_CR46 doi: 10.1145/1287624.1287641 – ident: 9152_CR60 doi: 10.1109/ISRE.1997.566873 – ident: 9152_CR6 – ident: 9152_CR25 – ident: 9152_CR2 – ident: 9152_CR51 doi: 10.1109/SPLC.2011.20 – ident: 9152_CR44 – ident: 9152_CR38 – volume-title: Software product line engineering: Foundations, principles and techniques year: 2005 ident: 9152_CR41 doi: 10.1007/3-540-28901-1 – ident: 9152_CR40 doi: 10.1109/IJCNN.2002.1007518 – ident: 9152_CR52 doi: 10.1109/APSEC.2010.26 – volume-title: Non-functional requirements in software engineering year: 1999 ident: 9152_CR13 doi: 10.1007/978-1-4615-5269-7 – ident: 9152_CR28 – ident: 9152_CR53 – ident: 9152_CR57 – volume: 7 start-page: 1 issue: 1 year: 2007 ident: 9152_CR19 publication-title: ACM Transaction on Embedded Computer Systems doi: 10.1145/1324969.1324971 – ident: 9152_CR22 doi: 10.1145/976270.976281 – ident: 9152_CR47 – ident: 9152_CR1 – volume: 103 start-page: 677 issue: 2684 year: 1946 ident: 9152_CR55 publication-title: Sciences doi: 10.1126/science.103.2684.677 – ident: 9152_CR43 – ident: 9152_CR11 doi: 10.1007/978-3-642-02463-4_19 – ident: 9152_CR34 doi: 10.1109/QSIC.2010.9 – ident: 9152_CR56 doi: 10.1109/LPE.1994.573195 – volume: 39 start-page: 939 issue: 14–15 year: 1998 ident: 9152_CR27 publication-title: Information and Software Technology doi: 10.1016/S0950-5849(97)00053-0 – ident: 9152_CR33 – ident: 9152_CR21 doi: 10.1109/RE.2007.45 – ident: 9152_CR54 – volume: 16 start-page: 69 year: 1999 ident: 9152_CR8 publication-title: IEEE Software doi: 10.1109/52.754056 – ident: 9152_CR12 doi: 10.1109/ISRE.1995.512554 – ident: 9152_CR58 doi: 10.1109/SPLINE.2007.19 – ident: 9152_CR4 – volume: 82 start-page: 1268 issue: 8 year: 2009 ident: 9152_CR59 publication-title: Journal of Systems and Software doi: 10.1016/j.jss.2009.02.011 – volume: 43 start-page: 883 issue: 14 year: 2001 ident: 9152_CR3 publication-title: Information and Software Technology doi: 10.1016/S0950-5849(01)00194-X – volume: 30 start-page: 355 issue: 6 year: 2004 ident: 9152_CR5 publication-title: IEEE Transactions on Software Engineering (TSE) doi: 10.1109/TSE.2004.23 – ident: 9152_CR17 doi: 10.1109/SPLINE.2006.1691576
SSID	ssj0010074
Score	2.3460674
Snippet	A software product line (SPL) is a family of related programs of a domain. The programs of an SPL are distinguished in terms of features, which are end-user... Issue Title: Special Issue: Quality Engineering for Software Product Lines A software product line (SPL) is a family of related programs of a domain. The...
SourceID	proquest crossref springer
SourceType	Aggregation Database Enrichment Source Index Database Publisher
StartPage	487
SubjectTerms	Analysis Compilers Computer programs Computer Science Concrete Data Structures and Information Theory Derivation Embedded systems End users Energy consumption Footprints Interpreters Operating Systems Optimization Product development Product lines Programming Programming Languages Software Software development Software Engineering/Programming and Operating Systems Software industry Studies
SummonAdditionalLinks	– databaseName: SpringerLINK Contemporary 1997-Present dbid: RSV link: http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV3dS8MwED90-uCL3-J0SgSflMDSpF3jm4jiwxBxOuZTadIUBG1HO_37vevaTUUFfW0vbbjkvnK53wEcC2eSVHUlT1RSnVZ1ufF6Pk9i1Ik2DWNTtW8b9ns3N-FopG_rOu6yue3epCQrTT0vdhMeFdwIgQLqe1wvwhJau5D6NdwNhrPUARnFCmAvkFxLoZpU5nef-GyM5h7ml6RoZWuu1v41y3VYrV1Ldj7dCxuw4LJNWGvaNrBairfgcXDbZxd5hrMo8uKM3Vc3Z1mOyuOlrspkecqyPONk9aaHhWxMp_YFwa-yp4yVqL1xlKPHhBjLyFstt-Hh6vL-4prXHRa4lUpPuJNW6iAV0iQW1yr2nKcNBhypMH6YKIzFLPLRGBMri5Qu0KkgMAFtZSKD1MkdaOFs3C4wKUQiTej3VByq0HVDbdA5wWAmph6VadCGbsPqyNbw49QF4zmaAycT6yJkXUSsi3QbTmZDxlPsjd-IO836RbUYlhHluTFmUr5sw9HsNQoQZUXizOWvSCNkIClqUm04bdb04yd--OHen6j3YQVdLW96O60DrUnx6g5g2b5NnsrisNrB7_uZ6tU priority: 102 providerName: Springer Nature
Title	SPL Conqueror: Toward optimization of non-functional properties in software product lines
URI	https://link.springer.com/article/10.1007/s11219-011-9152-9 https://www.proquest.com/docview/1039255453 https://www.proquest.com/docview/1136375854
Volume	20
WOSCitedRecordID	wos000308001900003&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
hasFullText	1
inHoldings	1
isFullTextHit
isPrint
journalDatabaseRights	– providerCode: PRVPQU databaseName: ABI/INFORM Collection customDbUrl: eissn: 1573-1367 dateEnd: 20171231 omitProxy: false ssIdentifier: ssj0010074 issn: 0963-9314 databaseCode: 7WY dateStart: 19970101 isFulltext: true titleUrlDefault: https://www.proquest.com/abicomplete providerName: ProQuest – providerCode: PRVPQU databaseName: ABI/INFORM global customDbUrl: eissn: 1573-1367 dateEnd: 20171231 omitProxy: false ssIdentifier: ssj0010074 issn: 0963-9314 databaseCode: M0C dateStart: 19970101 isFulltext: true titleUrlDefault: https://search.proquest.com/abiglobal providerName: ProQuest – providerCode: PRVPQU databaseName: Computer Science Database customDbUrl: eissn: 1573-1367 dateEnd: 20171231 omitProxy: false ssIdentifier: ssj0010074 issn: 0963-9314 databaseCode: K7- dateStart: 19970101 isFulltext: true titleUrlDefault: http://search.proquest.com/compscijour providerName: ProQuest – providerCode: PRVPQU databaseName: ProQuest advanced technologies & aerospace journals customDbUrl: eissn: 1573-1367 dateEnd: 20171231 omitProxy: false ssIdentifier: ssj0010074 issn: 0963-9314 databaseCode: P5Z dateStart: 19970101 isFulltext: true titleUrlDefault: https://search.proquest.com/hightechjournals providerName: ProQuest – providerCode: PRVPQU databaseName: ProQuest Central customDbUrl: eissn: 1573-1367 dateEnd: 20171231 omitProxy: false ssIdentifier: ssj0010074 issn: 0963-9314 databaseCode: BENPR dateStart: 19970101 isFulltext: true titleUrlDefault: https://www.proquest.com/central providerName: ProQuest – providerCode: PRVPQU databaseName: ProQuest research library customDbUrl: eissn: 1573-1367 dateEnd: 20171231 omitProxy: false ssIdentifier: ssj0010074 issn: 0963-9314 databaseCode: M2O dateStart: 19970101 isFulltext: true titleUrlDefault: https://search.proquest.com/pqrl providerName: ProQuest – providerCode: PRVAVX databaseName: SpringerLINK Contemporary 1997-Present customDbUrl: eissn: 1573-1367 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0010074 issn: 0963-9314 databaseCode: RSV dateStart: 19970101 isFulltext: true titleUrlDefault: https://link.springer.com/search?facet-content-type=%22Journal%22 providerName: Springer Nature
link	http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpR3LbtQwcERbDlxanmLbsjISJ5BFHDsPc0GwaoVEWVZtKS2XKH5EqkSTbbLt9zOTdXYBiV64WEpix5bH8x7PALwS3rhKRZI75XprVcRNnCXclUgTbZWXpi_fdnaUTaf5-bmeBYNbF8IqB5rYE2rXWLKRvyWXJYq_KpHv59ecqkaRdzWU0NiALZJsKKTvSzRZeRGIP_a59lLJtRRq8Gr2V-dETNd3hEB0T2Ku_-RLa2HzL_9oz3YOd_53wQ9hOwic7MPyhDyCe75-DDtDMQcWcPsJXJzMjtikqXGKtmnfsdM-npY1SFKuwl1N1lSsbmpOvHBpQmRzsuW3lJSVXdasQ5qOozy9pjyyjGTY7il8Ozw4nXzioe4Ct1LpBffSSp1WQhpnEYJl7GNtUA2phElyp1BDs7ilxphSWezpU10JSjGgrXQyrbx8Bpu4Gv8cmBTCSZMnmSpzlfso1wZFFlRxSqpcWaUjiIZdL2xISk61MX4W63TKBKgCAVUQoAo9gterIfNlRo67Ou8PwCkCcnbFGjIjeLn6jGhFvpKy9s0N9hEylaRLqRG8GY7A77_4x4S7d0-4Bw9Q4oqXQWr7sLlob_wLuG9vF5ddO4aN7PvFGLY-Hkxnx_j0OePj_kRTG3_Fdpb8wPb45OwXw-n7ug
linkProvider	ProQuest
linkToHtml	http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V1Lb9QwEB6VFgkulFfFQgFXggvI6jp2HkZCCLVUrXa7qsSCyimNH5EqtcmSbEH9U_2NzOSxC0j01gPXxI84_jzz2eOZAXglvHG5GkrulGtOq4bcBHHIXYYy0eZJZpr0bV_H8WSSHB_roxW46n1h6FplLxMbQe1KS2fk22SyRPqrQvlh9p1T1iiyrvYpNFpYjPzlT9yy1e8PdnF-XwfB3qfpzj7vsgpwK5Wecy-t1FEupHEWvy8LfKANkuxcmDBxCvcfFmm9MSZTFkv6SOeCHOi1lU5GuZfY7i1YUzKJaV2NYr6wWpA-bmL7RZJrKVRvRW1c9URA7kJCoHgJA67_1INLcvuXPbZRc3vr_9sPug_3OkLNPrYr4AGs-OIhrPfJKlgnux7Bt89HY7ZTFjikqqzesWlzX5iVKDLPO19UVuasKAtOur49ImUzslVUFHSWnRasRp2FtTw9pji5jDh6_Ri-3MgAN2AVv8Y_ASaFcNIkYayyRCV-mGiDlAy3cBll5syjAQz7WU5tF3Sdcn-cpctw0QSMFIGREjBSPYA3iyqzNuLIdYU3ezCknfCp0yUSBrC1eI1ig2xBWeHLCywjZCRpr6gG8LaH3O9N_KPDp9d3-BLu7E8Px-n4YDJ6BneRXQbthbxNWJ1XF_453LY_5qd19aJZOQxObhqJvwBa_1T9
linkToPdf	http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V1ba9RAFD7UKtIX65WurTqCvihDdzKTbEYQkdbF0mVZsEr1JWZuUGiTNdla_Gv-Os_JZVcF-9YHX5NJJpdvzvnOnBvAM-GNC2oouVOu2a0achONYu5ylIk2pLlp2rd9moym0_T4WM_W4GefC0Nhlb1MbAS1Ky3tke-SyxLpr4rlbujCImb74zfzb5w6SJGntW-n0ULk0P-4QPOtfn2wj__6eRSN3x3tveddhwFupdIL7qWVOglCGmfxWfPIR9og4Q7CxKlTaItYpPjGmFxZHOkTHQQl02srnUyCl3jfa3B9hDYmhRPO4i9LDwbp5qbOXyK5lkL1HtUmbU9ElDokBIqaOOL6T524Irp_-WYblTfe_J8_1m241RFt9rZdGXdgzRd3YbNvYsE6mXYPPn-YTdheWeDrVWX1ih01ccSsRFF61uWosjKwoiw4cYB265TNyYdRUTFadlKwGnUZXuXpMNXPZcTd6_vw8Upe8AGs49P4LWBSCCdNGo9UnqrUD1NtkKqhaZdTx86QDGDY__HMdsXYqSfIabYqI00gyRAkGYEk0wN4sbxk3lYiuWzwTg-MrBNKdbZCxQCeLk-jOCEfUV748hzHCJlIsiHVAF728Pv9Fv-Y8OHlEz6BmwjAbHIwPdyGDSSdURuntwPri-rcP4Ib9vvipK4eN4uIwderBuIvdjJeIQ
openUrl	ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=SPL+Conqueror%3A+Toward+optimization+of+non-functional+properties+in+software+product+lines&rft.jtitle=Software+quality+journal&rft.au=Siegmund%2C+Norbert&rft.au=Rosenm%C3%BCller%2C+Marko&rft.au=Kuhlemann%2C+Martin&rft.au=K%C3%A4stner%2C+Christian&rft.date=2012-09-01&rft.pub=Springer+Nature+B.V&rft.issn=0963-9314&rft.eissn=1573-1367&rft.volume=20&rft.issue=3-4&rft.spage=487&rft_id=info:doi/10.1007%2Fs11219-011-9152-9&rft.externalDBID=HAS_PDF_LINK&rft.externalDocID=2759526331
thumbnail_l	http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0963-9314&client=summon
thumbnail_m	http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0963-9314&client=summon
thumbnail_s	http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0963-9314&client=summon