From c9a4d0dac99ac1a6ea53d2a7f5d80a878680697f Mon Sep 17 00:00:00 2001 From: pmbittner Date: Fri, 20 Dec 2024 16:26:26 +0100 Subject: [PATCH 1/5] BSM+:OOPSLA24 published --- literature.bib | 27 ++++++++++++++++----------- 1 file changed, 16 insertions(+), 11 deletions(-) diff --git a/literature.bib b/literature.bib index 762f256..9ea5edf 100644 --- a/literature.bib +++ b/literature.bib @@ -192,17 +192,6 @@ @inproceedings{KTK:VaMoS25 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}}, - year = 2024, - publisher = ACM, - address = NY, - journal = PACMPL, - number = {OOPSLA2}, - keywords = {software variability, software product lines, language comparison} -} - @inproceedings{SLT:ASE24, title = {{Efficient Slicing of Feature Models via Projected d-DNNF Compilation}}, author = {Sundermann, Chico and Loth, Jacob and Th{\"{u}}m, Thomas}, @@ -316,6 +305,22 @@ @mastersthesis{Lukas22 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 2024 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +@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}}, + publisher = ACM, + address = NY, + journal = PACMPL, + volume = {8}, + number = {OOPSLA2}, + doi = {10.1145/3689747}, + articleno = {307}, + numpages = {33}, + keywords = {configuration, language semantics, software product lines, variation}, + month = OCT, + year = 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}}, From 3f09044f312b6a949abd2dcb738ea4dcdb35a131 Mon Sep 17 00:00:00 2001 From: pmbittner Date: Fri, 20 Dec 2024 19:22:04 +0100 Subject: [PATCH 2/5] clean-to.sh: more platform independent shebang --- clean-to.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/clean-to.sh b/clean-to.sh index 493a193..f3bbf22 100755 --- a/clean-to.sh +++ b/clean-to.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash java -cp mibtex/mibtex-cleaner.jar de.mibtex.BibtexCleaner "literature.bib" -o "$1/literature-cleaned.bib" "${@:2}" cp MYabrv.bib $1 cp MYshort.bib $1 From 2005382d369cad6369373e6d2307995cd56d5c94 Mon Sep 17 00:00:00 2001 From: Rahel Sundermann Date: Thu, 2 Jan 2025 11:16:03 +0100 Subject: [PATCH 3/5] added sabrinas and rahels paper --- literature.bib | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) diff --git a/literature.bib b/literature.bib index 9ea5edf..4029028 100644 --- a/literature.bib +++ b/literature.bib @@ -180,6 +180,28 @@ @String{PhD %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% Unpublished Entries %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +@inproceedings{BSK+:ICST25, + author = {B{\"{o}}hm, Sabrina and Schmidt, Tim and Krieter, Sebastian and Pett, Tobias and Th{\"u}m, Thomas and Lochau, Malte}, + title = {{Coverage Metrics for T-Wise Feature Interactions}}, + booktitle = ICST, + publisher = IEEE, + address = Washington, + year = 2025, + note = ToAppear +} + +@inproceedings{SBK+:VaMoS25, + author = {Sundermann, Rahel and B{\"{o}}hm, Sabrina and Krieter, Sebastian and Lochau, Malte and Th{\"{u}}m, Thomas}, + title = {{Covering T-Wise Interactions of Deployed Configurations}}, + booktitle = VaMoS20, + year = 2025, + month = FEB, + publisher = ACM, + address = NY, + note = ToAppear, + keywords = {software product lines, t-wise sampling} +} + @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}}, From 4e3b6e2b60f83374cfe3ea715285010c19ec8aef Mon Sep 17 00:00:00 2001 From: Elias Kuiter Date: Thu, 2 Jan 2025 12:18:00 +0100 Subject: [PATCH 4/5] added publications from 2018 and 2017 --- MYabrv.bib | 5 + MYshort.bib | 5 + literature.bib | 575 +++++++++++++++++++++++++++++++++++++++++++++---- 3 files changed, 546 insertions(+), 39 deletions(-) diff --git a/MYabrv.bib b/MYabrv.bib index b1fc290..1accc47 100644 --- a/MYabrv.bib +++ b/MYabrv.bib @@ -60,11 +60,13 @@ @String{GPCE13 @String{HICSS = "Proc.\ Hawaii Int'l Conf.\ on System Sciences (HICSS)"} @String{HVC = "Proc.\ Int'l Haifa Verification Conf.\ (HVC)"} @String{ICAI = "Proc.\ Int'l Conf.\ on Artificial Intelligence (ICAI)"} +@String{ICAIb = "Proc.\ Int'l Conf.\ on Applied Informatics (ICAI)"} @String{ICALP = "Proc.\ Int'l Colloquium on Automata, Languages, and Programming (ICALP)"} @String{ICCAD = "Proc.\ Int'l Conf.\ on Computer-Aided Design (ICCAD)"} @String{ICCD = "Proc.\ Int'l Conf.\ on Computer Design (ICCD)"} @String{ICCS = "Proc.\ Int'l Conf.\ on Computational Science (ICCS)"} @String{ICDE = "Proc.\ Int'l Conf.\ on Data Engineering (ICDE)"} +@String{ICE = "Proc.\ Int'l Conf.\ on Engineering, Technology and Innovation (ICE/ITMC)"} @String{ICECCS = "Proc.\ Int'l Conf.\ on Engineering of Complex Computer Systems (ICECCS)"} @String{ICFEM = "Proc.\ Int'l Conf.\ on Formal Engineering Methods (ICFEM)"} @String{ICFI = "Proc.\ Int'l Conf.\ on Feature Interactions in Software and Communication Systems (ICFI)"} @@ -79,6 +81,7 @@ @String{ICSE-SEIP @String{ICSM = "Proc.\ Int'l Conf.\ on Software Maintenance (ICSM)"} @String{ICSME = "Proc.\ Int'l Conf.\ on Software Maintenance and Evolution (ICSME)"} @String{ICSR = "Proc.\ Int'l Conf.\ on Software Reuse (ICSR)"} +@String{ICSSP = "Proc.\ Int'l Conf.\ on Software and Systems Processes (ICSSP)"} @String{ICST = "Proc.\ Int'l Conf.\ on Software Testing, Verification and Validation (ICST)"} @String{ICTCS = "Proc.\ Italian Conf.\ on Theoretical Computer Science (ICTCS)"} @String{ICTSS = "Proc.\ Int'l Conf.\ on Testing Software and Systems (ICTSS)"} @@ -160,6 +163,7 @@ @String{ASAS @String{BigMDE = "Proc.\ of the Workshop on Scalability in Model Driven Engineering (BigMDE)"} @String{CFV = "Proc.\ Int'l Workshop on Constraints in Formal Verification (CFV)"} @String{CMA = "Proc.\ Int'l Workshop on Comparing Modeling Approaches (CMA)"} +@String{COMMitMDE = "Proc.\ Int'l Workshop on Collaborative Modelling in MDE (COMMitMDE)"} @String{ConfWS = "Proc.\ Configuration Workshop (ConfWS)"} @String{CVSM = "Proc.\ of the Workshop on Comparison and Versioning of Software Models (CVSM)"} @String{DSPL = "Proc.\ Int'l Workshop on Dynamic Software Product Lines (DSPL)"} @@ -283,6 +287,7 @@ @String{AIJ @String{AIR = "Artificial Intelligence Review (AIR)"} @String{AMAI = "Annals of Mathematics and Artificial Intelligence (AMAI)"} @String{AMS = "Trans.\ American Mathematical Society (AMS)"} +@String{ATDE = "Advances in Transdisciplinary Engineering (ATDE)"} @String{AS = "Applied Sciences"} @String{AUSE = "Automated Software Engineering"} @String{AUTO = "Automatisierungstechnik"} diff --git a/MYshort.bib b/MYshort.bib index 5f25d0a..6bc36f5 100644 --- a/MYshort.bib +++ b/MYshort.bib @@ -60,11 +60,13 @@ @String{GPCE13 @String{HICSS = "HICSS"} @String{HVC = "HVC"} @String{ICAI = "ICAI"} +@String{ICAIb = "ICAI"} @String{ICALP = "ICALP"} @String{ICCAD = "ICCAD"} @String{ICCD = "ICCD"} @String{ICCS = "ICCS"} @String{ICDE = "ICDE"} +@String{ICE = "ICE/ITMC"} @String{ICECCS = "ICECCS"} @String{ICFEM = "ICFEM"} @String{ICFI = "ICFI"} @@ -79,6 +81,7 @@ @String{ICSE-SEIP @String{ICSM = "ICSM"} @String{ICSME = "ICSME"} @String{ICSR = "ICSR"} +@String{ICSSP = "ICSSP"} @String{ICST = "ICST"} @String{ICTCS = "ICTCS"} @String{ICTSS = "ICTSS"} @@ -162,6 +165,7 @@ @String{ASAS @String{BigMDE = "BigMDE"} @String{CFV = "CFV"} @String{CMA = "CMA"} +@String{COMMitMDE = "COMMitMDE"} @String{ConfWS = "ConfWS"} @String{CVSM = "CVSM"} @String{DSPL = "DSPL"} @@ -282,6 +286,7 @@ @String{AIJ @String{AIR = "AIR"} @String{AMAI = "AMAI"} @String{AMS = "AMS"} +@String{ATDE = "ATDE"} @String{AS = "Applied Sciences"} @String{AUSE = "AUSE"} @String{AUTO = "AUTO"} diff --git a/literature.bib b/literature.bib index 9ea5edf..9a5cae3 100644 --- a/literature.bib +++ b/literature.bib @@ -189,7 +189,8 @@ @inproceedings{KTK:VaMoS25 publisher = ACM, address = NY, note = ToAppear, - keywords = {software product lines, software engineering teaching, software product line teaching, variability modeling} + keywords = {software product lines, software engineering teaching, software product line teaching, variability modeling}, + ek-tags = {teaching} } @inproceedings{SLT:ASE24, @@ -318,7 +319,7 @@ @article{BSM+:OOPSLA24 numpages = {33}, keywords = {configuration, language semantics, software product lines, variation}, month = OCT, - year = 2024, + year = 2024 } @proceedings{VaMoS24, @@ -710,6 +711,21 @@ @mastersthesis{Foerster24 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 2023 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +@article{CGK:OOPSLA23, + author = {Crichton, Will and Gray, Gavin and Krishnamurthi, Shriram}, + title = {{A Grounded Conceptual Model for Ownership Types in Rust}}, + year = 2023, + publisher = ACM, + address = NY, + volume = {7}, + number = {OOPSLA2}, + doi = {10.1145/3622841}, + journal = PACMPL, + month = OCT, + articleno = {265}, + ek-tags = {teaching} +} + @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}}, @@ -2454,7 +2470,8 @@ @article{CPQ+:FiP22 volume = 13, issn = {1664-1078}, doi = {10.3389/fpsyg.2022.957652}, - year = 2022 + year = 2022, + ek-tags = {teaching} } @inproceedings{FHR:SAT22, @@ -2606,7 +2623,8 @@ @inproceedings{MGPF:CAiSE21 booktitle = CAiSE, publisher = Springer, pages = {397--413}, - year = 2021 + year = 2021, + ek-tags = {category theory} } @article{NH:JIME21, @@ -2916,7 +2934,7 @@ @article{CTA+:TOSEM21 articleno = {34}, numpages = {37}, keywords = {product-line analysis, software product lines}, - ek-tags = {meta-analysis}, + ek-tags = {meta-analysis, category theory} } @inproceedings{WZL:ESECFSE21, @@ -2973,7 +2991,8 @@ @inproceedings{RBTS:FMTea21 publisher = Springer, address = BerlinHeidelberg, month = NOV, - year = 2021 + year = 2021, + ek-tags = {teaching} } @inproceedings{MAO+:GPCE21, @@ -3525,6 +3544,19 @@ @inproceedings{SL:VaMoS21 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 2020 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +@article{ABMR:ATDE20, + author = {Allabar, Sara and Bettinger, Christian and M{\"u}llen, Michael and Rock, Georg}, + title = {{scone – A Requirements Management Tool for the Specification and Variability-Based Analysis of Product Lines}}, + journal = ATDE, + volume = 12, + pages = {433--442}, + publisher = IOS, + address = Amsterdam, + year = 2020, + doi = {10.3233/ATDE200103}, + ek-tags = {tooling} +} + @techreport{BFFH:TR20, author = {Armin Biere and Katalin Fazekas and Mathias Fleury and Heisinger, Maximilian}, title = {{CaDiCaL, Kissat, Paracooba, Plingeling and Treengeling Entering the SAT Competition 2020}}, @@ -3942,7 +3974,7 @@ @inproceedings{DLP:ICTAC20 series = LNCS, isbn = {9783030642761}, tt-tags = {Compositional Feature Modeling}, - ek-tags = {slicing, compositionality}, + ek-tags = {slicing, compositionality, category theory}, } @inproceedings{AGK+:SPLC20, @@ -4220,7 +4252,7 @@ @inproceedings{FAR:SPLC20 publisher = ACM, address = NY, year = 2020, - month = OCT + month = OCT, } @inproceedings{LDJM:ICSE20, @@ -4654,7 +4686,8 @@ @proceedings{SPLTea19 doi = {10.1145/3336294.3342363}, url = {https://doi.org/10.1145/3336294.3342363}, year = 2019, - month = SEP + month = SEP, + ek-tags = {teaching} } @inproceedings{SMK+:SPLC19, @@ -5896,6 +5929,108 @@ @article{BCKW:Dagstuhl19 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 2018 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +@inproceedings{NKSL:ICSEC18, + author = {von Nostitz-Wallwitz, Ivonne and Kr\"{u}ger, Jacob and Siegmund, Janet and Leich, Thomas}, + title = {{Knowledge Transfer from Research to Industry: A Survey on Program Comprehension}}, + booktitle = ICSEC, + publisher = IEEE, + address = Washington, + pages = {300--301}, + year = 2018, + doi = {10.1145/3183440.3194980}, + ek-tags = {industry} +} + +@inproceedings{VPC:ICAI18, + author = {Vel{\'{a}}squez-Guevara, Sebastian and Pedraza, Gilberto and Chavarriaga, Jaime}, + title = {{Multi-SPLOT: Supporting Multi-user Configurations with Constraint Programming}}, + booktitle = ICAIb, + publisher = Springer, + address = Cham, + pages = {364--378}, + doi = {10.1007/978-3-030-01535-0_27}, + year = 2018, + ek-tags = {tooling} +} + +@article{SBR:ATDE18, + author = {Schmitt, Anna and Bettinger, Christian and Rock, Georg}, + title = {{Glencoe – A Tool for Specification, Visualization and Formal Analysis of Product Lines}}, + journal = ATDE, + volume = 7, + pages = {665--673}, + publisher = IOS, + address = Amsterdam, + year = 2018, + doi = {10.3233/978-1-61499-898-3-665}, + ek-tags = {tooling} +} + +@inproceedings{KLZL:SAC18, + author = {Kr{\"{u}}ger, Jacob and Ludwig, Kai and Zimmermann, Bernhard and Leich, Thomas}, + title = {{Physical Separation of Features: A Survey with CPP Developers}}, + booktitle = SAC, + publisher = ACM, + address = NY, + doi = {10.1145/3167132.3167351}, + year = 2018, + month = APR, + pages = {2042--2049}, + ek-tags = {C preprocessor} +} + +@article{KPK+:SPE18, + author = {Kr{\"{u}}ger, Jacob and Pinnecke, Marcus and Kenner, Andy and Kruczek, Christopher and Benduhn, Fabian and Leich, Thomas and Saake, Gunter}, + title = {{Composing Annotations Without Regret? Practical Experiences Using FeatureC}}, + journal = SPE, + volume = 48, + number = 3, + pages = {402--427}, + doi = {10.1002/spe.2525}, + year = 2018, + ek-tags = {C preprocessor} +} + +@article{MMJ:ICFP18, + author = {Andrey Mokhov and Neil Mitchell and Simon Peyton Jones}, + title = {{Build Systems \`{a} la Carte}}, + journal = PACMPL, + publisher = ACM, + address = NY, + volume = 2, + number = {ICFP}, + pages = {1--29}, + doi = {10.1145/3236774}, + year = 2018, + ek-tags = {category theory} +} + +@article{MNS+:SCP18, + author = {Mauro, Jacopo and Nieke, Michael and Seidl, Christoph and {Chieh Yu}, Ingrid}, + title = {{Context-Aware Reconfiguration in Evolving Software Product Lines}}, + journal = SCP, + publisher = Elsevier, + address = Amsterdam, + volume = 163, + pages = {139--159}, + doi = {10.1016/j.scico.2018.05.002}, + year = 2018, + ek-tags = {evolution} +} + +@article{HSMS:ICE18, + author = {Hohl, Philipp and Stupperich, Michael and Munch, Jurgen and Schneider, Kurt}, + title = {{Combining Agile Development and Software Product Lines in Automotive: Challenges and Recommendations}}, + journal = ICE, + publisher = IEEE, + address = Washington, + pages = {1--10}, + doi = {10.1109/ice.2018.8436277}, + year = 2018, + month = APR, + ek-tags = {industry} +} + @inproceedings{Q:SPLTea18, author = {Quinton, Cl\'{e}ment}, title = {{Giving Students a Glimpse of the SPL Lifecycle in Six Hours: Challenge Accepted!}}, @@ -5907,21 +6042,150 @@ @inproceedings{Q:SPLTea18 isbn = 9781450359450, doi = {10.1145/3236405.3237203}, year = 2018, - numpages = 2 + numpages = 2, + ek-tags = {teaching} } @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}}, + 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 + address = NY, + location = {Gothenburg, Sweden}, + pages = {46--47}, + isbn = 9781450359450, + doi = {10.1145/3236405.3237204}, + year = 2018, + numpages = 2, + ek-tags = {teaching} +} + +@incollection{DHKL18, + author = {Ferruccio Damiani and Reiner H\"{a}hnle and Eduard Kamburjan and Michael Lienhardt}, + title = {{Same Same But Different: Interoperability of Software Product Line Variants}}, + booktitle = {Principled Software Development}, + publisher = Springer, + address = Cham, + pages = {99--117}, + doi = {10.1007/978-3-319-98047-8_7}, + year = 2018 +} + +@inproceedings{KAS+:SPLC18, + author = {Kr{\"{u}}ger, Jacob and Al-Hajjaji, Mustafa and Schulze, Sandro and Saake, Gunter and Leich, Thomas}, + title = {{Towards Automated Test Refactoring for Software Product Lines}}, + booktitle = SPLC, + publisher = ACM, + address = NY, + pages = {143--148}, + doi = {10.1145/3233027.3233040}, + year = 2018, + month = SEP +} + +@inproceedings{KC:SPLC18, + author = {Krueger, Charles and Clements, Paul}, + title = {{Feature-based Systems and Software Product Line Engineering With Gears From BigLever}}, + booktitle = SPLC, + publisher = ACM, + address = NY, + pages = {1--4}, + doi = {10.1145/3236405.3236409}, + year = 2018, + month = SEP, + ek-tags = {tooling} +} + +@inproceedings{KES:SPLC18, + author = {Krafczyk, Adam and El-Sharkawy, Sascha and Schmid, Klaus}, + title = {{Reverse Engineering Code Dependencies: Converting Integer-based Variability to Propositional Logic}}, + booktitle = SPLC, + publisher = ACM, + address = NY, + pages = {34--41}, + doi = {10.1145/3236405.3237202}, + year = 2018, + month = SEP, + ek-tags = {non-Boolean variability} +} + +@inproceedings{KKH:SPLC18, + author = {Kaindl, Hermann and Kramer, Stefan and Hoch, Ralph}, + title = {{An Inductive Learning Perspective on Automated Generation of Feature Models From Given Product Specifications}}, + booktitle = SPLC, + publisher = ACM, + address = NY, + pages = {25--30}, + doi = {10.1145/3233027.3233031}, + year = 2018, + month = SEP +} + +@inproceedings{BZ:SPLC18, + author = {Becker, Martin and Zhang, Bo}, + title = {{How Do Our Neighbours Do Product Line Engineering?: A Comparison of Hardware and Software Product Line Engineering Approaches From an Industrial Perspective}}, + booktitle = SPLC, + publisher = {ACM Press}, + pages = {190--195}, + doi = {10.1145/3233027.3233045}, + url = {http://dl.acm.org/citation.cfm?doid=3233027.3233045}, + year = 2018, + ek-tags = {industry} +} + +@inproceedings{EDK+:SPLC18, + author = {El-Sharkawy, Sascha and Dhar, Saura Jyoti and Krafczyk, Adam and Duszynski, Slawomir and Beichter, Tobias and Schmid, Klaus}, + title = {{Reverse Engineering Variability in an Industrial Product Line: Observations and Lessons Learned}}, + booktitle = SPLC, + publisher = ACM, + address = NY, + pages = {215--225}, + doi = {10.1145/3233027.3233047}, + year = 2018, + month = SEP, + ek-tags = {industry} +} + +@inproceedings{GKNW:SPLC18, + author = {Gazzillo, Paul and Koc, Ugur and Nguyen, ThanhVu and Wei, Shiyi}, + title = {{Localizing Configurations in Highly-Configurable Systems}}, + booktitle = SPLC, + publisher = ACM, + address = NY, + pages = {269--273}, + doi = {10.1145/3233027.3236404}, + year = 2018, + month = SEP, + ek-tags = {KConfig, C preprocessor} +} + +@inproceedings{C:SPLC18, + author = {Hinterreiter, Daniel}, + title = {{Supporting Feature-Oriented Development and Evolution in Industrial Software Ecosystems}}, + booktitle = SPLC, + publisher = ACM, + address = NY, + pages = {79--86}, + doi = {10.1145/3236405.3236425}, + year = 2018, + month = SEP, + ek-tags = {industry} +} + +@inproceedings{BSA+:SPLC18, + author = {Bilic, Damir and Sundmark, Daniel and Afzal, Wasif and Wallin, Peter and Causevic, Adnan and Amlinger, Christoffer}, + title = {{Model-based Product Line Engineering in an Industrial Automotive Context}}, + booktitle = SPLC, + publisher = ACM, + address = NY, + location = Gothenburg, + pages = {56--63}, + isbn = {9781450359450}, + doi = {10.1145/3236405.3237200}, + year = 2018, + month = SEP, + ek-tags = {industry} } @inproceedings{RSB+:SPLC18, @@ -5949,7 +6213,8 @@ @proceedings{SPLTea18 isbn = {9781450371384}, doi = {10.1145/3233027.3241370}, year = 2018, - month = SEP + month = SEP, + ek-tags = {teaching} } @inproceedings{ASR:SPLC18, @@ -6143,7 +6408,7 @@ @inproceedings{KKK+:SPLC18b year = 2018, month = SEP, pages = {284--288}, - ek-tags = {KConfig}, + ek-tags = {KConfig, C preprocessor}, } @inproceedings{FGBP:ICSME18, @@ -6199,6 +6464,20 @@ @mastersthesis{Thiele18 year = 2018 } +@inproceedings{KGS+:VaMoS18, + author = {Kr{\"{u}}ger, Jacob and Gu, Wanzi and Shen, Hui and Mukelabai, Mukelabai and Hebig, Regina and Berger, Thorsten}, + title = {{Towards a Better Understanding of Software Features and Their Characteristics: A Case Study of Marlin}}, + booktitle = VaMoS, + year = 2018, + month = FEB, + publisher = ACM, + address = NY, + location = {Madrid, Spain}, + doi = {10.1145/3168365.3168371}, + pages = {105--112}, + ek-tags = {industry} +} + @inproceedings{PSK+:VAMOS18, author = {Pereira, Juliana Alves and Schulze, Sandro and Krieter, Sebastian and Ribeiro, M\'{a}rcio and Saake, Gunter}, title = {{A Context-Aware Recommender System for Extended Software Product Line Configurations}}, @@ -6424,6 +6703,17 @@ @inproceedings{KWF+:ICSE18 year = 2018 } +@inproceedings{LSS:SPLC18, + author = {Li, Yang and Schulze, Sandro and Saake, Gunter}, + title = {{Reverse Engineering Variability From Requirement Documents Based on Probabilistic Relevance and Word Embedding}}, + booktitle = SPLC, + publisher = ACM, + address = NY, + pages = {121--131}, + doi = {10.1145/3233027.3233033}, + year = 2018 +} + @inproceedings{KKK+:SPLC18, author = {Kuiter, Elias and Kr\"{u}ger, Jacob and Krieter, Sebastian and Leich, Thomas and Saake, Gunter}, title = {{Getting Rid of Clone-and-Own: Moving to a Software Product Line for Temperature Monitoring}}, @@ -6630,6 +6920,17 @@ @inproceedings{KTM+:SE18 year = 2018 } +@inproceedings{LDDP:VaMoS18, + author = {Lienhardt, Michael and Damiani, Ferruccio and Donetti, Simone and Paolini, Luca}, + title = {{Multi Software Product Lines in the Wild}}, + booktitle = VaMoS, + publisher = ACM, + address = NY, + pages = {89--96}, + doi = {10.1145/3168365.3170425}, + year = 2018 +} + @inproceedings{CGR+:VaMoS18, author = {Carvalho, Luiz and Guimar\~{a}es, Marcio Augusto and Ribeiro, M\'{a}rcio and Fernandes, Leonardo and Al-Hajjaji, Mustafa and Gheyi, Rohit and Th\"{u}m, Thomas}, title = {{Equivalent Mutants in Configurable Systems: An Empirical Study}}, @@ -6967,6 +7268,204 @@ @article{DBW:SCP18 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 2017 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +@inproceedings{FSS:GPCE17, + author = {Fenske, Wolfram and Schulze, Sandro and Saake, Gunter}, + title = {{How Preprocessor Annotations (Do Not) Affect Maintainability: A Case Study on Change-Proneness}}, + booktitle = GPCE, + publisher = ACM, + address = NY, + pages = {77--90}, + doi = {10.1145/3136040.3136059}, + month = OCT, + year = 2017, + ek-tags = {C preprocessor} +} + +@inproceedings{FZB:SPLC17, + author = {Fu{\ss}berger, Nicolas and Zhang, Bo and Becker, Martin}, + title = {{A Deep Dive into Android's Variability Realizations}}, + booktitle = SPLC, + publisher = ACM, + address = NY, + pages = {69--78}, + doi = {10.1145/3106195.3106213}, + year = 2017 +} + +@inproceedings{HGM+:ICSSP17, + author = {Hohl, Philipp and Ghofrani, Javad and M{\"{u}}nch, J{\"{u}}rgen and Stupperich, Michael and Schneider, Kurt}, + title = {{Searching for Common Ground: Existing Literature on Automotive Agile Software Product Lines}}, + booktitle = ICSSP, + publisher = ACM, + address = NY, + pages = {70--79}, + doi = {10.1145/3084100.3084109}, + year = 2017, + ek-tags = {industry} +} + +@inproceedings{HPF:SPLC17, + author = {Horcas, Jose-Miguel and Pinto, M{\'{o}}nica and Fuentes, Lidia}, + title = {{Green Configurations of Functional Quality Attributes}}, + booktitle = SPLC, + publisher = ACM, + address = NY, + pages = {79--83}, + doi = {10.1145/3106195.3106205}, + year = 2017, + ek-tags = {sustainability} +} + +@misc{ISO24765:17, + author = {ISO/IEC/IEEE}, + title = {{Systems and Software Engineering -- Vocabulary}}, + type = {International Standard}, + number = {24765:2017}, + doi = {10.1109/IEEESTD.2017.8016712}, + year = 2017 +} + +@inproceedings{LZRC:SPLC17, + author = {Li, Yi and Zhu, Chenguang and Rubin, Julia and Chechik, Marsha}, + title = {{FHistorian: Locating Features in Version Histories}}, + year = 2017, + isbn = {9781450352215}, + publisher = ACM, + address = NY, + doi = {10.1145/3106195.3106216}, + booktitle = SPLC, + pages = {49--58}, + location = {Sevilla, Spain}, + ek-tags = {tooling} +} + +@inproceedings{MC:SPLC17, + author = {Marimuthu, C. and Chandrasekaran, K.}, + title = {{Systematic Studies in Software Product Lines: A Tertiary Study}}, + year = 2017, + isbn = {9781450352215}, + publisher = ACM, + address = NY, + booktitle = SPLC, + location = {Sevilla, Spain}, + pages = {143--152}, + doi = {10.1145/3106195.3106212} +} + +@inproceedings{MCS:COMMitMDE17, + author = {Masson, Constantin and Corley, Jonathan and Syriani, Eugene}, + title = {{Feature Model for Collaborative Modeling Environments}}, + booktitle = COMMitMDE, + publisher = CEUR-WS, + pages = {164--173}, + url = {https://ceur-ws.org/Vol-2019/commitmde\_5.pdf}, + year = 2017, + volume = {2019} +} + +@inproceedings{MMW+:VaMoS17, + author = {Meng, Meng and Meinicke, Jens and Wong, Chu-Pan and Walkingshaw, Eric and K{\"{a}}stner, Christian}, + title = {{A Choice of Variational Stacks: Exploring Variational Data Structures}}, + booktitle = VaMoS, + publisher = ACM, + address = NY, + pages = {28--35}, + doi = {10.1145/3023956.3023966}, + year = 2017 +} + +@inproceedings{M:SPLC17, + author = {Munoz, Daniel-Jesus}, + title = {{Achieving Energy Efficiency Using a Software Product Line Approach}}, + booktitle = SPLC, + publisher = ACM, + address = NY, + pages = {131--138}, + doi = {10.1145/3109729.3109744}, + year = 2017, + ek-tags = {sustainability} +} + +@inproceedings{S:SPLC17, + author = {Silva, Cristian Vidal}, + title = {{Exploring Efficient Analysis Alternatives on Feature Models}}, + booktitle = SPLC, + publisher = ACM, + address = NY, + pages = {150--155}, + doi = {10.1145/3109729.3109747}, + year = 2017, + ek-tags = {meta-analysis} +} + +@inproceedings{TSSC:MODELS17, + author = {Taentzer, Gabriele and Salay, Rick and Str\"{u}ber, Daniel and Chechik, Marsha}, + title = {{Transformations of Software Product Lines: A Generalizing Framework Based on Category Theory}}, + booktitle = MODELS, + publisher = IEEE, + address = Washington, + pages = {101--111}, + doi = {10.1109/models.2017.22}, + year = 2017, + ek-tags = {category theory} +} + +@inproceedings{CBC+:SPLC17, + author = {Couto, Marco and Borba, Paulo and Cunha, J\'{a}come and Fernandes, Jo\~{a}o Paulo and Pereira, Rui and Saraiva, Jo\~{a}o}, + title = {{Products Go Green: Worst-Case Energy Consumption in Software Product Lines}}, + isbn = {9781450352215}, + publisher = ACM, + address = NY, + doi = {10.1145/3106195.3106214}, + booktitle = SPLC, + pages = {84--93}, + location = {Sevilla, Spain}, + year = 2017, + ek-tags = {sustainability} +} + +@inproceedings{CCJ:VACE17, + author = {Chavarriaga, Jaime and Casallas, Rubby and Jonckers, Viviane}, + title = {{Implementing Operations to Combine Feature Models: The Conditional Intersection Case}}, + booktitle = VACE, + publisher = IEEE, + address = Washington, + pages = {41--47}, + doi = {10.1109/VACE.2017.2}, + year = 2017, + ek-tags = {compositionality} +} + +@article{DBS+:SoSyM17, + author = {Dur\'{a}n, Amador and Benavides, David and Segura, Sergio and Trinidad, Pablo and Ruiz-Cort\'{e}s, Antonio}, + title = {{FLAME: A Formal Framework for the Automated Analysis of Software Product Lines Validated by Automated Specification Testing}}, + journal = SoSyM, + publisher = Springer, + address = Cham, + volume = 16, + number = 4, + pages = {1049--1082}, + doi = {10.1007/s10270-015-0503-z}, + month = OCT, + year = 2017, + ek-tags = {tooling} +} + +@article{E:ICFP17, + author = {Elliott, Conal}, + title = {{Compiling to Categories}}, + journal = PACMPL, + publisher = ACM, + address = NY, + number = {ICFP}, + year = 2017, + volume = 1, + doi = {10.1145/3110271}, + month = AUG, + articleno = 27, + ek-tags = {category theory} +} + @article{HLB+:AIJ17, author = {Frank Hutter and Marius Lindauer and Adrian Balint and Sam Bayless and Holger Hoos and Kevin Leyton-Brown}, title = {{The Configurable SAT Solver Challenge (CSSC)}}, @@ -7595,7 +8094,8 @@ @article{ALHR:TOCE17 keywords = {Software product lines, software engineering teaching, software product line teaching, variability modeling}, tt-tags = {FeatureIDE}, month = OCT, - year = 2017 + year = 2017, + ek-tags = {teaching} } @inproceedings{BTSG:ICFEM17, @@ -7721,7 +8221,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}, + ek-tags = {SPL book, teaching}, year = 2017 } @@ -10642,7 +11142,8 @@ @inproceedings{SD:SPLTea14 isbn = 9781450327398, doi = {10.1145/2647908.2655961}, year = 2014, - numpages = 8 + numpages = 8, + ek-tags = {teaching} } @inproceedings{CMU+:SPLTea14, @@ -10656,7 +11157,8 @@ @inproceedings{CMU+:SPLTea14 isbn = 9781450327398, doi = {10.1145/2647908.2655963}, year = 2014, - numpages = 4 + numpages = 4, + ek-tags = {teaching} } @article{V:CACM14, @@ -13635,7 +14137,7 @@ @book{ABKS13 publisher = Springer, address = BerlinHeidelberg, tt-tags = {Feature Orientation,Software Product Lines}, - ek-tags = {SPL book}, + ek-tags = {SPL book, teaching}, doi = {10.1007/978-3-642-37521-7}, isbn = {978-3-642-37520-0}, year = 2013 @@ -20830,7 +21332,7 @@ @book{LSR07 publisher = Springer, address = BerlinHeidelberg, tt-tags = {}, - ek-tags = {SPL book}, + ek-tags = {SPL book, teaching}, year = 2007 } @@ -22157,7 +22659,7 @@ @book{PBL05 publisher = Springer, address = BerlinHeidelberg, tt-tags = {SPL Testing,Software Product Lines}, - ek-tags = {SPL book}, + ek-tags = {SPL book, teaching}, doi = {10.1007/3-540-28901-1}, month = SEP, year = 2005 @@ -22319,7 +22821,7 @@ @book{Go04 year = 2004, isbn = {978-0201775952}, publisher = AddisonWesleyLongman, - ek-tags = {SPL book} + ek-tags = {SPL book, teaching} } @article{C:LM04, @@ -23509,11 +24011,6 @@ @article{CK:Software02 acmid = {2317782}, publisher = IEEE, address = LosAlamitos, -abstract = {Point: Being Proactive Pays Off -Software product lines represent a paradigm on the rise in software engineering that comes with true order-of-magnitude improvements in cost, schedule, and quality. As the field grows and matures, case studies are becoming more plentiful and beneficial. Books, papers, conferences, workshops, and special issues of magazines such as this one provide ideas that can inspire us. - -Counterpoint: Eliminating the Adoption Barrier -Stories of successful software product line deployments often read like epic adventures. In the end, there is triumph of inspirational proportions, but along the journey there is risk, hardship, sacrifice, heroes, antagonists, love lost, love found, and fortuitous events of both happy and tragic consequences. For example, for Cummins to achieve its impressive software product line successes, it stopped all product deployments for six months while it rearchitected its engine control software, support technology, organizational charts, and processes. Imagine the consequences if, after an extended production shutdown, unanticipated events had led to project failure.}, } @inproceedings{CL:FOAL02, @@ -24153,7 +24650,7 @@ @book{CN01 publisher = AddisonWesleyLongman, address = Boston, tt-tags = {}, - ek-tags = {SPL book}, + ek-tags = {SPL book, teaching}, year = 2001 } @@ -24242,13 +24739,13 @@ @book{S01 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 2000 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @book{Bo00, - conflicts = {G04}, + conflicts = {B00}, 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} + ek-tags = {SPL book, teaching} } @inproceedings{GS:AAI00, @@ -24530,7 +25027,7 @@ @book{CE00 publisher = ACM-AWL, address = NY, tt-tags = {Software Product Lines}, - ek-tags = {SPL book}, + ek-tags = {SPL book, teaching}, year = 2000 } @@ -26537,7 +27034,7 @@ @article{SE84 } @inbook{T83, - author = {Tseytin, Grigori S.}, + author = {Tseitin, Grigori S.}, title = {{On the Complexity of Derivation in Propositional Calculus}}, bookTitle = {Automation of Reasoning: 2: Classical Papers on Computational Logic 1967--1970}, publisher = Springer, From 947920850b6df13ff8cb57d060bf063de5bd7d05 Mon Sep 17 00:00:00 2001 From: Elias Kuiter Date: Wed, 8 Jan 2025 12:57:44 +0100 Subject: [PATCH 5/5] addressed Paul's comments --- literature.bib | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/literature.bib b/literature.bib index 9a5cae3..70b455b 100644 --- a/literature.bib +++ b/literature.bib @@ -5955,7 +5955,7 @@ @inproceedings{VPC:ICAI18 @article{SBR:ATDE18, author = {Schmitt, Anna and Bettinger, Christian and Rock, Georg}, - title = {{Glencoe – A Tool for Specification, Visualization and Formal Analysis of Product Lines}}, + title = {{Glencoe -- A Tool for Specification, Visualization and Formal Analysis of Product Lines}}, journal = ATDE, volume = 7, pages = {665--673}, @@ -6126,12 +6126,13 @@ @inproceedings{BZ:SPLC18 author = {Becker, Martin and Zhang, Bo}, title = {{How Do Our Neighbours Do Product Line Engineering?: A Comparison of Hardware and Software Product Line Engineering Approaches From an Industrial Perspective}}, booktitle = SPLC, - publisher = {ACM Press}, + publisher = ACM, + address = NY, pages = {190--195}, doi = {10.1145/3233027.3233045}, url = {http://dl.acm.org/citation.cfm?doid=3233027.3233045}, year = 2018, - ek-tags = {industry} + ek-tags = {industry} } @inproceedings{EDK+:SPLC18,