Ek

MYabrv.bib

@@ -23,6 +23,7 @@ @String{CONCUR
 @String{COORDINATION = "Proc.\ Int'l Conf.\ on Coordination Models and Languages (COORDINATION)"}
 @String{CPAIOR = "Proc.\ Int'l Conf.\ on Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR)"}
 @String{CP = "Proc.\ Int'l Conf.\ on Principles and Practice of Constraint Programming (CP)"}
+@String{CSEET = "Proc.\ IEEE Conf.\ on Software Engineering Education and Training (CSEE\&T)"}
 @String{CSMR = "Proc.\ Europ.\ Conf.\ on Software Maintenance and Reengineering (CSMR)"}
 @String{CSMR-WCRE = "Proc.\  Software Evolution Week - IEEE Conf.\ on Software Maintenance, Reengineering, and Reverse Engineering (CSMR-WCRE)"}
 @String{DAC = "Proc.\ Anual Conf.\ on Design Automation (DAC)"}

MYshort.bib

@@ -23,6 +23,7 @@ @String{CONCUR
 @String{COORDINATION = "COORDINATION"}
 @String{CP = "CP"}
 @String{CPAIOR = "CPAIOR"}
+@String{CSEET = "CSEE\&T"}
 @String{CSMR = "CSMR"}
 @String{CSMR-WCRE = "CSMR-WCRE"}
 @String{DAC = "DAC"}

literature.bib

@@ -180,6 +180,18 @@ @String{PhD
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% Unpublished Entries %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
+@inproceedings{KTK:VaMoS25,
+	author = {Kuiter, Elias and Th{\"{u}}m, Thomas and Kehrer, Timo},
+	title = {{Teach Variability! A Modern University Course on Software Product Lines}},
+	booktitle = VaMoS20,
+	year = 2025,
+	month = FEB,
+	publisher = ACM,
+	address = NY,
+	note = ToAppear,
+	keywords = {software product lines, software engineering teaching, software product line teaching, variability modeling}
+}
+
 @article{BSM+:OOPSLA24,
 	author = {Paul Maximilian Bittner and Alexander Schulthei\ss{} and Benjamin Moosherr and Jeffrey M. Young and Leopoldo Teixeira and Eric Walkingshaw and Parisa Ataei and Thomas Th{\"{u}}m},
 	title = {{On the Expressive Power of Languages for Static Variability}},
@@ -200,6 +212,7 @@ @inproceedings{SLT:ASE24
 	address = NY,
 	booktitle = ASE,
 	typo3Tags = {FMCounting},
+	ek-tags = {slicing},
 	note = ToAppear
 }
 
@@ -303,6 +316,18 @@ @mastersthesis{Lukas22
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 2024 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
+@proceedings{VaMoS24,
+	editor    = {Timo Kehrer and Marianne Huchard and Leopoldo Teixeira and Christian Birchler},
+	title     = {{VaMoS '24: Proceedings of the 18th International Working Conference on Variability Modelling of Software-Intensive Systems}},
+	isbn      = {9798400708770},
+	location  = {Bern, Switzerland},
+	publisher = ACM,
+	address   = NY,
+	tt-tags   = {Editorial},
+	month     = FEB,
+	year      = 2024
+}
+
 @article{SRH+:TOSEM24,
 	author = {Sundermann, Chico and Raab, Heiko and He{\ss{}}, Tobias and Th{\"{u}}m, Thomas and Schaefer, Ina},
 	title = {{Reusing d-DNNFs for Efficient Feature-Model Counting}},
@@ -680,6 +705,18 @@ @mastersthesis{Foerster24
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 2023 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
+@proceedings{SPLC23,
+	editor    = {Paolo Arcaini and Maurice H. ter Beek and Gilles Perrouin and Iris Reinhartz-Berger and Miguel R. Luaces and Christa Schwanninger and Shaukat Ali and Mahsa Varshosaz and Angelo Gargantini and Stefania Gnesi and Malte Lochau and Laura Semini and Hironori Washizaki},
+	title     = {{SPLC '23: Proceedings of the 27th ACM International Systems and Software Product Line Conference}},
+	isbn      = {9798400700910},
+	publisher = ACM,
+	address   = NY,
+	location  = Tokyo,
+	tt-tags   = {Editorial},
+	month     = SEP,
+	year      = 2023
+}
+
 @mastersthesis{Guething23,
 	comments = NotToBePublished,
 	author = {G\"uthing, Lukas},
@@ -2510,10 +2547,11 @@ @inproceedings{GEQR:SPLC21
 	year = 2021
 }
 
-@inproceedings{KKS:SPLC21,
+@inproceedings{KKS:VariVolution21,
+	renamedFrom = {KKS+:SPLC21},
 	author = {Kuiter, Elias and Kr{\"u}ger, Jacob and Saake, Gunter},
 	title = {{Iterative Development and Changing Requirements: Drivers of Variability in an Industrial System for Veterinary Anesthesia}},
-	booktitle = SPLC,
+	booktitle = VariVolution,
 	publisher = ACM,
 	pages = {113--122},
 	doi = {10.1145/3461002.3473950},
@@ -5853,6 +5891,48 @@ @article{BCKW:Dagstuhl19
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 2018 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
+@inproceedings{Q:SPLTea18,
+	author    = {Quinton, Cl\'{e}ment},
+	title     = {{Giving Students a Glimpse of the SPL Lifecycle in Six Hours: Challenge Accepted!}},
+	booktitle = SPLTea,
+	publisher = ACM,
+	address   = NY,
+	location  = {Gothenburg, Sweden},
+	pages     = {42–43},
+	isbn      = 9781450359450,
+	doi       = {10.1145/3236405.3237203},
+	year      = 2018,
+	numpages  = 2
+}
+
+@inproceedings{NHF:SPLTea18,
+	author = {Nakanishi, Tsuneo and Hisazumi, Kenji and Fukuda, Akira},
+	title = {{Teaching Software Product Lines as a Paradigm to Engineers: An Experience Report in Education Programs and Seminars for Senior Engineers in Japan}},
+	booktitle = SPLTea,
+	publisher = ACM,
+	address = NY,
+	location = {Gothenburg, Sweden},
+	pages = {46--47},
+	isbn = 9781450359450,
+	doi = {10.1145/3236405.3237204},
+	year = 2018,
+	numpages = 2
+}
+
+@inproceedings{RSB+:SPLC18,
+	author    = {Rabiser, Rick and Schmid, Klaus and Becker, Martin and Botterweck, Goetz and Galster, Matthias and Groher, Iris and Weyns, Danny},
+	title     = {{A Study and Comparison of Industrial vs. Academic Software Product Line Research Published at SPLC}},
+	booktitle = SPLC,
+	publisher = ACM,
+	address   = NY,
+	location  = Gothenburg,
+	pages     = {14--24},
+	isbn      = {9781450371384},
+	doi       = {10.1145/3233027.3233028},
+	year      = 2018,
+	month     = SEP
+}
+
 @proceedings{SPLTea18,
 	editor    = {Acher, Mathieu and Rabiser, Rick and Lopez-Herrejon, Roberto E.},
 	title     = {{SPLTea 2018: Third International Workshop on Software Product Line Teaching}},
@@ -7636,6 +7716,7 @@ @book{MTS+17
 	doi = {10.1007/978-3-319-61443-4},
 	tt-tags = {FeatureIDE},
 	tc-tags = {family-specific analysis,feature-model analysis,static analysis,syntax checking,testing,type checking,family-based analysis,sample-based analysis,unoptimized product-based analysis,preprocessor,runtime variability,plug-ins,feature modules,aspects,implementation independent,domain-independent specification,feature-based specification,family-based specification,source code,tool,no evaluation},
+	ek-tags = {SPL book},
 	year = 2017
 } 
 
@@ -9042,6 +9123,7 @@ @inproceedings{KST+:SPLC16
 	keywords = {feature-model analyses, feature-model evolution, software product lines},
 	tt-tags = {Compositional Feature Modeling},
 	tc-tags = {feature-model analysis,family-based analysis,implementation independent,tool},
+	ek-tags = {slicing},
 	publisher = ACM,
 	address = NY,
 	month = SEP,
@@ -9343,6 +9425,7 @@ @techreport{KSTS:TR16
 	address = Germany,
 	issn = {1869-5078},
 	tt-tags = {Compositional Feature Modeling},
+	ek-tags = {slicing},
 	month = APR,
 	year = 2016
 }
@@ -10118,6 +10201,7 @@ @article{BKL+:AUSE15
 	pages = {687--733},
 	issn = {1573-7535},
 	doi = {10.1007/s10515-015-0185-3},
+	ek-tags = {differencing},
 	year = 2015
 }
 
@@ -10542,6 +10626,34 @@ @inproceedings{UBB+:15
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 2014 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
+@inproceedings{SD:SPLTea14,
+	author = {Seidl, Christoph and Domachowska, Irena},
+	title = {{Teaching Variability Engineering to Cognitive Psychologists}},
+	booktitle = SPLTea,
+	publisher = ACM,
+	address = NY,
+	location = {Florence, Italy},
+	pages = {16–-23},
+	isbn = 9781450327398,
+	doi = {10.1145/2647908.2655961},
+	year = 2014,
+	numpages = 8
+}
+
+@inproceedings{CMU+:SPLTea14,
+	author = {Collet, Philippe and Mosser, S\'{e}bastien and Urli, Simon and Blay-Fornarino, Mireille and Lahire, Philippe},
+	title = {{Experiences in Teaching Variability Modeling and Model-Driven Generative Techniques}},
+	booktitle = SPLTea,
+	publisher = ACM,
+	address = NY,
+	location = {Florence, Italy},
+	pages = {26–-29},
+	isbn = 9781450327398,
+	doi = {10.1145/2647908.2655963},
+	year = 2014,
+	numpages = 4
+}
+
 @article{V:CACM14,
 	author    = {Vardi, Moshe Y.},
 	title     = {{Boolean Satisfiability: Theory and Engineering}},
@@ -10663,6 +10775,7 @@ @inproceedings{PY:OOPSLA14
 	pages = {811--828},
 	numpages = {18},
 	year = 2014,
+	ek-tags = {differencing},
 	keywords = {numerical domains, abstract interpretation, equivalence checking, semantic diff, patches, differential analysis},
 	location = {Portland, Oregon, USA}
 }
@@ -13517,6 +13630,7 @@ @book{ABKS13
 	publisher = Springer,
 	address = BerlinHeidelberg,
 	tt-tags = {Feature Orientation,Software Product Lines},
+	ek-tags = {SPL book},
 	doi = {10.1007/978-3-642-37521-7},
 	isbn = {978-3-642-37520-0},
 	year = 2013
@@ -14293,6 +14407,7 @@ @inproceedings{KKOS:ICSM12
 	publisher = IEEE,
 	address = Washington,
 	pb-tags = {semantic lifting},
+	ek-tags = {differencing},
 	keywords = {graph theory;software engineering;software tools;model evolution;model differences;SiLift;model-based software development;model-based system;graph operations;abstract syntax graph;generic tool environment;EMF-based models;user-level edit operations;Unified modeling language;Adaptation models;Semantics;Engines;Conferences;Software;Software engineering;model comparison;model difference;semantic lifting;difference presentation},
 	doi = {10.1109/ICSM.2012.6405342}
 }
@@ -14546,6 +14661,7 @@ @inproceedings{AHC+:CAiSE12
 	publisher = Springer,
 	address = BerlinHeidelberg,
 	tt-tags = {Feature Model Diffing,Complex Constraints},
+	ek-tags = {differencing},
 	month = JUN,
 	year = 2012
 }
@@ -16159,6 +16275,7 @@ @inproceedings{ACLF:ASE11
 	publisher = IEEE,
 	address = Washington,
 	tt-tags = {Feature Modeling,Compositional Feature Modeling,BDDs},
+	ek-tags = {slicing},
 	year = 2011
 }
 
@@ -17235,6 +17352,18 @@ @inproceedings{RSTS:VAMOS11
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 2010 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
+@article{ANAV:IST10,
+	author = {Alves, Vander and Niu, Nan and Alves, Carina and Valen{\c{c}}a, George},
+	title = {{Requirements Engineering for Software Product Lines: A Systematic Literature Review}},
+	journal = IST,
+	publisher = Elsevier,
+	address = NY,
+	volume = 52,
+	number = 8,
+	pages = {806--820},
+	year = 2010
+}
+
 @article{MMP+:JDM10,
 	author = {Mart{\'\i}nez, Conrado and Moura, Lucia and Panario, Daniel and Stevens, Brett},
 	title = {{Locating Errors Using ELAs, Covering Arrays, and Adaptive Testing Algorithms}},
@@ -17281,7 +17410,8 @@ @inproceedings{MRR:MODELS10
 	pages = {194--203},
 	numpages = {10},
 	location = {Oslo, Norway},
-	isbn = {9783642212093}
+	isbn = {9783642212093},
+	ek-tags = {differencing}
 }
 
 @inproceedings{APS+:VaMoS10,
@@ -19120,6 +19250,17 @@ @inproceedings{KTS+:ICSE09
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 2008 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
+@inproceedings{LNAL:CSEET08,
+	author    = {Lisboa, Liana Barachisio and Nascimento, Leandro Marques and de Almeida, Eduardo Santana and de Lemos Meira, Silvio Romero},
+	title     = {{A Case Study in Software Product Lines: An Educational Experience}},
+	booktitle = CSEET,
+	publisher = IEEE,
+	address   = Washington,
+	year      = 2008,
+	pages     = {155--162},
+	doi       = {10.1109/CSEET.2008.17}
+}
+
 @book{W08,
   author    = {Woolson, R. F.},
   publisher = Wiley,
@@ -20684,6 +20825,7 @@ @book{LSR07
 	publisher = Springer,
 	address = BerlinHeidelberg,
 	tt-tags = {},
+	ek-tags = {SPL book},
 	year = 2007
 }
 
@@ -20769,6 +20911,13 @@ @article{SHTB:ComNet07
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 2006 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
+@book{SVC:06,
+	author = {Stahl, Thomas and V{\"o}lter, Markus and Czarnecki, Krzysztof},
+	title = {{Model-driven Software Development: Technology, Engineering, Management}},
+	publisher = Wiley,
+	year = 2006
+}
+
 @article{ASM:TC06,
 	author  = {Aloul, F.A. and Sakallah, K.A. and Markov, I.L.},
 	journal = TC,
@@ -22003,6 +22152,7 @@ @book{PBL05
 	publisher = Springer,
 	address = BerlinHeidelberg,
 	tt-tags = {SPL Testing,Software Product Lines},
+	ek-tags = {SPL book},
 	doi = {10.1007/3-540-28901-1},
 	month = SEP,
 	year = 2005
@@ -22157,6 +22307,16 @@ @inproceedings{LAMS05
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 2004 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
+@book{Go04,
+	conflicts = {G04},
+	author    = {Gomaa, Hassan},
+	title     = {{Designing Software Product Lines With UML: From Use Cases to Pattern-Based Software Architectures}},
+	year      = 2004,
+	isbn      = {978-0201775952},
+	publisher = AddisonWesleyLongman,
+	ek-tags   = {SPL book}
+}
+
 @article{C:LM04,
 	author = {Colbourn, Charles J},
 	title = {{Combinatorial Aspects of Covering Arrays}},
@@ -23634,6 +23794,17 @@ @inproceedings{M02
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 2001 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
+@inproceedings{KMB+:PFE01,
+	author    = {Knauber, Peter and Mu\~{n}oz, Jes\'{u}s Bermejo and B\"{o}ckle, G\"{u}nter and Leite, Julio Cesar Sampaio do Prado and Linden, Frank van der and Northrop, Linda and Stark, Michael and Weiss, David M.},
+	title     = {{Quantifying Product Line Benefits}},
+	booktitle = PFE,
+	pages     = {155--163},
+	publisher = Springer,
+	address   = BerlinHeidelberg,
+	doi       = {10.1007/3-540-47833-7_15},
+	year      = 2001
+}
+
 @inproceedings{MFH:OOPSLA01,
 	comment = {In the ACM DL, the there is a typo in the title "Fasioned". We fixed it here.},
 	author = {McDirmid, Sean and Flatt, Matthew and Hsieh, Wilson C.},
@@ -23977,6 +24148,7 @@ @book{CN01
 	publisher = AddisonWesleyLongman,
 	address = Boston,
 	tt-tags = {},
+	ek-tags = {SPL book},
 	year = 2001
 }
 
@@ -24064,6 +24236,16 @@ @book{S01
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 2000 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
+@book{Bo00,
+	conflicts = {G04},
+	author    = {Bosch, Jan},
+	title     = {{Design and Use of Software Architectures: Adopting and Evolving a Product-Line Approach}},
+	year      = 2000,
+	publisher = Pearson,
+	isbn      = {978-0201674941},
+	ek-tags   = {SPL book}
+}
+
 @inproceedings{GS:AAI00,
 	author    = {Giunchiglia, Enrico and Sebastiani, Roberto},
 	title     = {{Applying the Davis-Putnam Procedure to Non-Clausal Formulas}},
@@ -24343,6 +24525,7 @@ @book{CE00
 	publisher = ACM-AWL,
 	address = NY,
 	tt-tags = {Software Product Lines},
+	ek-tags = {SPL book},
 	year = 2000
 }