{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,23]],"date-time":"2025-11-23T06:13:25Z","timestamp":1763878405110},"reference-count":83,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2020,11,22]],"date-time":"2020-11-22T00:00:00Z","timestamp":1606003200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,11,22]],"date-time":"2020-11-22T00:00:00Z","timestamp":1606003200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2021,8]]},"DOI":"10.1007\/s10270-020-00839-w","type":"journal-article","created":{"date-parts":[[2020,11,22]],"date-time":"2020-11-22T08:02:36Z","timestamp":1606032156000},"page":"1043-1077","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Analysis of variability models: a systematic literature review"],"prefix":"10.1007","volume":"20","author":[{"given":"Matias","family":"Pol\u2019la","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Agustina","family":"Buccella","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alejandra","family":"Cechich","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,11,22]]},"reference":[{"key":"839_CR1","doi-asserted-by":"crossref","unstructured":"Abele, A., L\u00f6nn, H., Reiser, M., Weber, M., Glathe, H.: Epm: a prototype tool for variability management in component hierarchies. In: Proceedings of the 16th International Software Product Line Conference, vol. 2, SPLC\u201912, pp. 246\u2013249. ACM, New York(2012)","DOI":"10.1145\/2364412.2364455"},{"key":"839_CR2","unstructured":"Abele, A., Papadopoulos, Y., Servat, D., T\u00f6rngren, M., Weber, M.: The cvm framework\u2014a prototype tool for compositional variability management. In: Benavides, D., Batory, D.S., Gr\u00fcnbacher, P. (eds.) Proceeding of Variability Modelling of Software-Intensive Systems (VAMOS), vol.\u00a037 of ICB-Research Report, pp. 101\u2013105. Universit\u00e4t Duisburg-Essen (2010)"},{"issue":"6","key":"839_CR3","doi-asserted-by":"publisher","first-page":"657","DOI":"10.1016\/j.scico.2012.12.004","volume":"78","author":"M Acher","year":"2013","unstructured":"Acher, M., Collet, P., Lahire, P., France, R.B.: Familiar: a domain-specific language for large scale management of feature models. Sci. Comput. Program. 78(6), 657\u2013681 (2013)","journal-title":"Sci. Comput. Program."},{"key":"839_CR4","unstructured":"Afriyanti, I., Falakh, F.M., Azurat, A., Takwa, B.: Feature model-to-ontology for SPL application realisation (2017). CoRR, arXiv:1707.02511"},{"key":"839_CR5","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1007\/978-3-642-39259-7_14","volume-title":"Product-Focused Software Process Improvement","author":"FA Aleixo","year":"2013","unstructured":"Aleixo, F.A., Kulesza, U., Oliveira-Junior, E.A.: Modeling variabilities from software process lines with compositional and annotative techniques: a quantitative study. In: Heidrich, J., Oivo, M., Jedlitschka, A., Baldassarre, M.T. (eds.) Product-Focused Software Process Improvement, pp. 153\u2013168. Springer, Berlin (2013)"},{"key":"839_CR6","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1016\/j.infsof.2018.10.006","volume":"106","author":"A Ampatzoglou","year":"2019","unstructured":"Ampatzoglou, A., Bibi, S., Avgeriou, P., Verbeek, M., Chatzigeorgiou, A.: Identifying, categorizing and mitigating threats to validity in software engineering secondary studies. Inf. Softw. Technol. 106, 201\u2013230 (2019)","journal-title":"Inf. Softw. Technol."},{"issue":"1","key":"839_CR7","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/s10270-014-0402-8","volume":"15","author":"M Asadi","year":"2016","unstructured":"Asadi, M., Gr\u00f6ner, G., Mohabbati, B., Ga\u0161evi\u0107, D.: Goal-oriented modeling and verification of feature-oriented product lines. Softw. Syst. Model. 15(1), 257\u2013279 (2016)","journal-title":"Softw. Syst. Model."},{"issue":"3","key":"839_CR8","doi-asserted-by":"publisher","first-page":"811","DOI":"10.1007\/s10270-014-0441-1","volume":"15","author":"K Bak","year":"2016","unstructured":"Bak, K., Diskin, Z., Antkiewicz, M., Czarnecki, K., Wkasowski, A.: Clafer: unifying class and feature modeling. Softw. Syst. Model. 15(3), 811\u2013845 (2016)","journal-title":"Softw. Syst. Model."},{"issue":"1","key":"839_CR9","doi-asserted-by":"publisher","first-page":"14:1","DOI":"10.1145\/3034827","volume":"50","author":"R Bashroush","year":"2017","unstructured":"Bashroush, R., Garba, M., Rabiser, R., Groher, I., Botterweck, G.: Case tool support for variability management in software product lines. ACM Comput. Surv. 50(1), 14:1\u201314:45 (2017)","journal-title":"ACM Comput. Surv."},{"issue":"6","key":"839_CR10","doi-asserted-by":"publisher","first-page":"615","DOI":"10.1016\/j.is.2010.01.001","volume":"35","author":"D Benavides","year":"2010","unstructured":"Benavides, D., Segura, S., Ruiz-Cort\u00e9s, A.: Automated analysis of feature models 20 years later: a literature review. Inf. Syst. 35(6), 615\u2013636 (2010)","journal-title":"Inf. Syst."},{"key":"839_CR11","doi-asserted-by":"crossref","unstructured":"Berger, T., Rublack, R., Nair, D., Atlee, J.M., Becker, M., Czarnecki, K., Wasowski, A.: A survey of variability modeling in industrial practice. In: Proceedings of the 7th International Workshop on Variability Modelling of Software-intensive Systems, VaMoS\u201913, pp. 7:1\u20137:8. ACM, New York (2013)","DOI":"10.1145\/2430502.2430513"},{"key":"839_CR12","first-page":"173","volume-title":"Pure::Variants","author":"D Beuche","year":"2013","unstructured":"Beuche, D.: Pure::Variants, pp. 173\u2013182. Springer, Berlin (2013)"},{"key":"839_CR13","doi-asserted-by":"publisher","first-page":"605","DOI":"10.1016\/j.jss.2017.06.002","volume":"137","author":"M Bhushan","year":"2018","unstructured":"Bhushan, M., Goel, S., Kaur, K.: Analyzing inconsistencies in software product lines using an ontological rule-based approach. J. Syst. Softw. 137, 605\u2013617 (2018)","journal-title":"J. Syst. Softw."},{"key":"839_CR14","volume-title":"Design and Use of Software Architectures: Adopting and Evolving a Product-Line Approach","author":"J Bosch","year":"2000","unstructured":"Bosch, J.: Design and Use of Software Architectures: Adopting and Evolving a Product-Line Approach. ACM Press\/Addison-Wesley Publishing Co., New York (2000)"},{"key":"839_CR15","unstructured":"Braun, G.A., Pol\u2019la, M., Cecchi, L.A., Buccella, A., Fillottrani, P.R., Cechich, A.: A DL semantics for reasoning over ovm-based variability models. In: Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18\u201321 (2017)"},{"issue":"4","key":"839_CR16","doi-asserted-by":"publisher","first-page":"571","DOI":"10.1016\/j.jss.2006.07.009","volume":"80","author":"P Brereton","year":"2007","unstructured":"Brereton, P., Kitchenham, B.A., Budgen, D., Turner, M., Khalil, M.: Lessons from applying the systematic literature review process within the software engineering domain. J. Syst. Softw. 80(4), 571\u2013583 (2007). Software Performance","journal-title":"J. Syst. Softw."},{"key":"839_CR17","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1016\/j.cageo.2012.11.014","volume":"54","author":"A Buccella","year":"2013","unstructured":"Buccella, A., Cechich, A., Arias, M., Pol\u2019la, M., Doldan, S., Morsan, E.: Towards systematic software reuse of GIS: insights from a case study. Comput. Geosci. 54, 9\u201320 (2013)","journal-title":"Comput. Geosci."},{"key":"839_CR18","doi-asserted-by":"publisher","first-page":"210","DOI":"10.7763\/LNSE.2014.V2.125","volume":"2","author":"NC Das","year":"2014","unstructured":"Das, N.C., Ripon, S., Hossain, O., Uddin, M.S.: Requirement analysis of product line based semantic web services. Lect. Not. Softw. Eng. 2, 210\u2013217 (2014)","journal-title":"Lect. Not. Softw. Eng."},{"key":"839_CR19","doi-asserted-by":"crossref","unstructured":"Causevic, A., Sundmark, D., Punnekkat, S.: Factors limiting industrial adoption of test driven development: a systematic review. In: 4th IEEE International Conference on Software Testing, Verification and Validation, pp. 337\u2013346 (2011)","DOI":"10.1109\/ICST.2011.19"},{"key":"839_CR20","unstructured":"Chen, L., Ali Babar, M., Ali, N.: Variability management in software product lines: a systematic review. In: Proceedings of the 13th International Software Product Line Conference, SPLC\u201909, pp. 81\u201390. Carnegie Mellon University, Pittsburgh (2009)"},{"issue":"4","key":"839_CR21","doi-asserted-by":"publisher","first-page":"344","DOI":"10.1016\/j.infsof.2010.12.006","volume":"53","author":"L Chen","year":"2011","unstructured":"Chen, L., Ali Babar, M.: A systematic review of evaluation of variability management approaches in software product lines. Inf. Softw. Technol. 53(4), 344\u2013362 (2011)","journal-title":"Inf. Softw. Technol."},{"key":"839_CR22","doi-asserted-by":"publisher","first-page":"1130","DOI":"10.1016\/j.scico.2010.10.005","volume":"76","author":"A Classen","year":"2011","unstructured":"Classen, A., Boucher, Q., Heymans, P.: A text-based approach to feature modelling: syntax and semantics of tvl. Sci. Comput. Program. 76, 1130\u20131143 (2011)","journal-title":"Sci. Comput. Program."},{"key":"839_CR23","doi-asserted-by":"crossref","unstructured":"Dhungana, D., Tang, C., Weidenbach, C., Wischnewski, P.: Automated verification of interactive rule-based configuration systems. In: Proceedings of the 28th IEEE\/ACM International Conference on Automated Software Engineering, ASE\u201913, pp. 551\u2013561. IEEE Press, Piscataway (2013)","DOI":"10.1109\/ASE.2013.6693112"},{"key":"839_CR24","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1007\/978-3-540-72988-4_20","volume-title":"Advanced Information Systems Engineering","author":"O Djebbi","year":"2007","unstructured":"Djebbi, O., Salinesi, C.: Red-pl, a method for deriving product requirements from a product line requirements model. In: Krogstie, J., Opdahl, A., Sindre, G. (eds.) Advanced Information Systems Engineering, pp. 279\u2013293. Springer, Berlin (2007)"},{"issue":"4","key":"839_CR25","doi-asserted-by":"publisher","first-page":"1049","DOI":"10.1007\/s10270-015-0503-z","volume":"16","author":"A Dur\u00e1n","year":"2017","unstructured":"Dur\u00e1n, A., Benavides, D., Segura, S., Trinidad, P.P., Ruiz-Cort\u00e9s, A.: Flame: a formal framework for the automated analysis of software product lines validated by automated specification testing. Softw. Syst. Model. 16(4), 1049\u20131082 (2017)","journal-title":"Softw. Syst. Model."},{"key":"839_CR26","doi-asserted-by":"crossref","unstructured":"Eichelberger, H., Schmid, K.: A systematic analysis of textual variability modeling languages. In: Proceedings of the 17th International Software Product Line Conference, SPLC\u201913, pp. 12\u201321. ACM, New York (2013)","DOI":"10.1145\/2491627.2491652"},{"key":"839_CR27","doi-asserted-by":"crossref","unstructured":"El\u00a0Dammagh, M., De\u00a0Troyer, O.: Feature modeling tools: evaluation and lessons learned. In: De\u00a0Troyer, O., Bauzer\u00a0Medeiros, C., Billen, R., Hallot, P., Simitsis, A., Van\u00a0Mingroot, H. (eds.) Advances in Conceptual Modeling. Recent Developments and New Directions, Volume 6999 of Lecture Notes in Computer Science, pp. 120\u2013129. Springer, Berlin (2011)","DOI":"10.1007\/978-3-642-24574-9_17"},{"issue":"1","key":"839_CR28","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1111\/exsy.12116","volume":"33","author":"AO Elfaki","year":"2016","unstructured":"Elfaki, A.O.: A rule-based approach to detect and prevent inconsistency in the domain-engineering process. Expert Syst. J. Knowl. Eng. 33(1), 3\u201313 (2016)","journal-title":"Expert Syst. J. Knowl. Eng."},{"issue":"3","key":"839_CR29","doi-asserted-by":"publisher","first-page":"282","DOI":"10.1109\/TSE.2013.56","volume":"40","author":"M Galster","year":"2014","unstructured":"Galster, M., Weyns, D., Tofan, D., Michalik, B., Avgeriou, P.: Variability in software systems 2014; a systematic literature review. IEEE Trans. Softw. Eng. 40(3), 282\u2013306 (2014)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"839_CR30","unstructured":"Groher, I., Krueger, C.W., Schwanninger, C.: A tool-based approach to managing crosscutting feature implementations. In: Proceeding of 7th International Conference on Aspect-Oriented Software Development (Industry Track), AOSD, Brussels, Belgium (2008)"},{"key":"839_CR31","doi-asserted-by":"crossref","unstructured":"Guedes, G., Silva, C., Soares, M., Castro, J.: Variability management in dynamic software product lines: a systematic mapping. In: 2015 IX Brazilian Symposium on Components, Architectures and Reuse Software, pp. 90\u201399 (2015)","DOI":"10.1109\/SBCARS.2015.20"},{"key":"839_CR32","doi-asserted-by":"crossref","unstructured":"Heidenreich, F., Kopcsek, J., Wende, C.: Featuremapper: Mapping features to models. In: Companion of the 30th International Conference on Software Engineering, ICSE Companion\u201908, pp. 943\u2013944. ACM, New York (2008)","DOI":"10.1145\/1370175.1370199"},{"key":"839_CR33","doi-asserted-by":"crossref","unstructured":"Horcas, J.-M., Pinto, M., Fuentes, L.: Software product line engineering: a practical experience. In: Proceedings of the 23rd International Systems and Software Product Line Conference\u2014Volume A, SPLC 19, pp. 164\u2013176. Association for Computing Machinery, New York (2019)","DOI":"10.1145\/3336294.3336304"},{"key":"839_CR34","volume-title":"Software Abstractions: Logic, Language, and Analysis","author":"D Jackson","year":"2006","unstructured":"Jackson, D.: Software Abstractions: Logic, Language, and Analysis. The MIT Press, Cambridge (2006)"},{"key":"839_CR35","doi-asserted-by":"crossref","unstructured":"Jalali, S., Wohlin, C.: Systematic literature studies: database searches vs. backward snowballing. In: Proceedings of the 2012 ACM-IEEE International Symposium on Empirical Software Engineering and Measurement, pp. 29\u201338 (2012)","DOI":"10.1145\/2372251.2372257"},{"key":"839_CR36","doi-asserted-by":"crossref","unstructured":"Kang, K., Cohen, S., Hess, J., Nowak, W., Peterson, S.: Feature-oriented domain analysis (FODA) feasibility study. Technical Report CMU\/SEI-90-TR-21, Software Engineering Institute, Carnegie Mellon University Pittsburgh, PA (1990)","DOI":"10.21236\/ADA235785"},{"key":"839_CR37","doi-asserted-by":"crossref","unstructured":"Karata\u015f, A.S., O\u011fuzt\u00fcz\u00fcn, H., Do\u011fru, A.: From extended feature models to constraint logic programming. Science of Computer Programming, 78(12):2295\u20132312, (2013). Special Section on International Software Product Line Conference 2010 and Fundamentals of Software Engineering (selected papers of FSEN 2011)","DOI":"10.1016\/j.scico.2012.06.004"},{"key":"839_CR38","unstructured":"Kitchenham, B., Charters, S.: Guidelines for performing systematic literature reviews in software engineering. Technical Report EBSE 2007-001, Keele University and Durham University Joint Report (2007)"},{"key":"839_CR39","unstructured":"Kitchenham, B.: Procedures for performing systematic reviews. Technical Report TR\/SE-0401, Keele University, Department of Computer Science, Keele University, UK (2004)"},{"issue":"1","key":"839_CR40","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1016\/j.infsof.2008.09.009","volume":"51","author":"B Kitchenham","year":"2009","unstructured":"Kitchenham, B., Pearl Brereton, O., Budgen, D., Turner, M., Bailey, J., Linkman, S.: Systematic literature reviews in software engineering\u2014a systematic literature review. Inf. Softw. Technol. 51(1), 7\u201315 (2009). (Special Section\u2014Most Cited Articles in 2002 and Regular Research Papers)","journal-title":"Inf. Softw. Technol."},{"issue":"3","key":"839_CR41","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1145\/3093335.2993248","volume":"52","author":"M Kowal","year":"2016","unstructured":"Kowal, M., Ananieva, S., Th\u00fcm, T.: Explaining anomalies in feature models. SIGPLAN Not. 52(3), 132\u2013143 (2016)","journal-title":"SIGPLAN Not."},{"key":"839_CR42","doi-asserted-by":"crossref","unstructured":"Krieter, S., Pinnecke, M., Kr\u00fcger, J., Sprey, J., Sontag, C., Th\u00fcm, T., Leich, T., Saake, G.: Featureide: Empowering third-party developers. In: Proceedings of the 21st International Systems and Software Product Line Conference, vol. B, SPLC\u201917, pp. 42\u201345, New York, NY, USA (2017). ACM","DOI":"10.1145\/3109729.3109751"},{"key":"839_CR43","doi-asserted-by":"crossref","unstructured":"Langermeier, M., Rosina, P., Oberkampf, H., Driessen, T., Bauer, B.: Management of variability in modular ontology development. In: Lomuscio, A., Nepal, S., Patrizi, F., Benatallah, B., Brandi\u0107, I. (eds.) Service-Oriented Computing\u2014ICSOC Workshops, pp. 225\u2013239. Springer International Publishing, Cham (2014)","DOI":"10.1007\/978-3-319-06859-6_20"},{"key":"839_CR44","doi-asserted-by":"crossref","unstructured":"Lesta, U., Schaefer, I., Winkelmann, T.: Detecting and explaining conflicts in attributed feature model. In: Proceedings FMSPLE 2015 (2015). arXiv:1504.03014","DOI":"10.4204\/EPTCS.182.3"},{"issue":"1","key":"839_CR45","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.infsof.2009.05.001","volume":"52","author":"LB Lisboa","year":"2010","unstructured":"Lisboa, L.B., Garcia, V.C., Lucr\u00e9dio, D., Almeida, E.S., Meira, S.R.D.L., Fortes, R.P.M.: A systematic review of domain analysis tools. Inf. Softw. Technol. 52(1), 1\u201313 (2010)","journal-title":"Inf. Softw. Technol."},{"key":"839_CR46","doi-asserted-by":"crossref","unstructured":"L\u00fctzenberger, M., K\u00fcster, T., Konnerth, T., Thiele, A., Masuch, N., He\u00dfler, A., Keiser, J., Burkhardt, M., Kaiser, S., Tonn, J., Kaisers, M., Albayrak, S.: A multi-agent approach to professional software engineering. In: Cossentino, M., El\u00a0Fallah\u00a0Seghrouchni, A., Winikoff, M. (eds.) Engineering Multi-Agent Systems, pp. 156\u2013175. Springer, Berlin (2013)","DOI":"10.1007\/978-3-642-45343-4_9"},{"key":"839_CR47","doi-asserted-by":"crossref","unstructured":"Mauro, J., Nieke, M., Seidl, C., Yu, I.C.: Anomaly detection and explanation in context-aware software product lines. In: Proceedings of the 21st International Systems and Software Product Line Conference\u2014Volume B, SPLC\u201917, pp. 18\u201321. ACM, New York (2017)","DOI":"10.1145\/3109729.3109752"},{"key":"839_CR48","doi-asserted-by":"crossref","unstructured":"Mazo, R., Mu\u00f1oz-Fern\u00e1ndez, J.C., Rinc\u00f3n, L., Salinesi, C., Tamura, G.: Variamos: an extensible tool for engineering (dynamic) product lines. In: Proceedings of the 19th International Conference on Software Product Line, SPLC 2015, Nashville, TN, USA, July 20\u201324, 2015, pp. 374\u2013379 (2015)","DOI":"10.1145\/2791060.2791103"},{"key":"839_CR49","doi-asserted-by":"crossref","unstructured":"Meinicke, J., Th\u00fcm, T., Schr\u00f6ter, R., Benduhn, F., Saake, G.: An overview on analysis tools for software product lines. In: Proceedings of the 18th International Software Product Line Conference: Companion Volume for Workshops, Demonstrations and Tools\u2014Volume 2, SPLC\u201914, pp. 94\u2013101. ACM, New York (2014)","DOI":"10.1145\/2647908.2655972"},{"key":"839_CR50","doi-asserted-by":"crossref","unstructured":"Mendonca, M., Branco, M., Cowan, D.: S.p.l.o.t.: Software product lines online tools. In: Proceedings of the 24th ACM SIGPLAN Conference Companion on Object Oriented Programming Systems Languages and Applications, OOPSLA\u201909, pp. 761\u2013762. ACM, New York (2009)","DOI":"10.1145\/1639950.1640002"},{"key":"839_CR51","doi-asserted-by":"crossref","unstructured":"Metzger, A., Pohl, K., Heymans, P., Schobbens, P.Y., Saval, G.: Disambiguating the documentation of variability in software product lines: a separation of concerns, formalization and automated analysis. In: 15th IEEE International Requirements Engineering Conference (RE 2007), pp. 243\u2013253 (2007)","DOI":"10.1109\/RE.2007.61"},{"key":"839_CR52","doi-asserted-by":"crossref","unstructured":"Nakajima, S.: Semi-automated diagnosis of foda feature diagram. In: Proceedings of the 2010 ACM Symposium on Applied Computing, SAC\u201910, pp. 2191\u20132197. ACM, New York (2010)","DOI":"10.1145\/1774088.1774550"},{"key":"839_CR53","unstructured":"Noorian, M., Ensan, A., Bagheri, E., Boley, H., Biletskiy, Y.: Feature model debugging based on description logic reasoning. In: Conference on Distributed Multimedia Systems, pp. 158\u2013164. Knowledge Systems Institute (2011)"},{"key":"839_CR54","unstructured":"Park, K., Ryu, D., Baik, J.: An integrated software management tool for adopting software product lines. In: IEEE\/ACIS 11th International Conference on Computer and Information Science, pp. 553\u2013558 (2012)"},{"key":"839_CR55","first-page":"73","volume-title":"A Systematic Literature Review of Software Product Line Management Tools","author":"JA Pereira","year":"2014","unstructured":"Pereira, J.A., Constantino, K., Figueiredo, E.: A Systematic Literature Review of Software Product Line Management Tools, pp. 73\u201389. Springer International Publishing, Cham (2014)"},{"key":"839_CR56","doi-asserted-by":"crossref","unstructured":"Pereira, J.A., Souza, C., Figueiredo, E., Abilio, R., Vale, G., Costa, H.A.X.: Software variability management: an exploratory study with two feature modeling tools. In: 2013 VII Brazilian Symposium on Software Components, Architectures and Reuse (SBCARS), pp. 20\u201329 (2013)","DOI":"10.1109\/SBCARS.2013.13"},{"key":"839_CR57","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-28901-1","volume-title":"Software Product Line Engineering: Foundations, Principles and Techniques","author":"K Pohl","year":"2005","unstructured":"Pohl, K., B\u00f6ckle, G., van der Linden, F.J.: Software Product Line Engineering: Foundations, Principles and Techniques. Springer, New York (2005)"},{"key":"839_CR58","doi-asserted-by":"crossref","unstructured":"Pol\u2019la, M., Buccella, A., Cechich, A.: Automated analysis of variability models: The sevatax process. In: Computational Science and Its Applications\u2014ICCSA 2018\u201418th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings, Part IV, pp. 365\u2013381 (2018)","DOI":"10.1007\/978-3-319-95171-3_29"},{"key":"839_CR59","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1016\/j.entcs.2014.01.023","volume":"302","author":"LF Rinc\u00f3n","year":"2014","unstructured":"Rinc\u00f3n, L.F., Giraldo, G.L., Mazo, R., Salinesi, C.: An ontological rule-based approach for analyzing dead and false optional features in feature models. Electron. Not. Theor. Comput. Sci. 302, 111\u2013132 (2014)","journal-title":"Electron. Not. Theor. Comput. Sci."},{"key":"839_CR60","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/j.entcs.2015.05.005","volume":"314","author":"L Rinc\u00f3n","year":"2015","unstructured":"Rinc\u00f3n, L., Giraldo, G., Mazo, R., Salinesi, C., Diaz, D.: Method to identify corrections of defects on product line models. Electron. Not. Theor. Comput. Sci. 314, 61\u201381 (2015). (CLEI 2014, the XL Latin American Conference in Informatic)","journal-title":"Electron. Not. Theor. Comput. Sci."},{"issue":"1","key":"839_CR61","doi-asserted-by":"publisher","first-page":"1","DOI":"10.7763\/IJCEE.2014.V6.783","volume":"6","author":"S Ripon","year":"2014","unstructured":"Ripon, S., Piash, M.M., Hossain, S.M.A., Uddin, M.S.: Semantic web based analysis of product line variant model. Int. J. Comput. Electr. Eng. 6(1), 1 (2014)","journal-title":"Int. J. Comput. Electr. Eng."},{"key":"839_CR62","doi-asserted-by":"crossref","unstructured":"Roos-Frantz, F., Galindo, J.A., Benavides, D., Ruiz Cort\u00e9s, A.: Fama-ovm: a tool for the automated analysis of ovms. In: Proceedings of the 16th International Software Product Line Conference\u2014Volume 2, pp. 250\u2013254. ACM (2012)","DOI":"10.1145\/2364412.2364456"},{"key":"839_CR63","unstructured":"Roos-frantz, F., Benavides, D., Ruiz-cort\u00e9s, A.: Feature model to orthogonal variability model transformation towards interoperability between tools"},{"key":"839_CR64","doi-asserted-by":"crossref","unstructured":"Sannella, M.: Skyblue: a multi-way local propagation constraint solver for user interface construction. In: Proceedings of the 7th Annual ACM Symposium on User Interface Software and Technology, UIST\u201994, pp. 137\u2013146. ACM, New York (1994)","DOI":"10.1145\/192426.192485"},{"issue":"4","key":"839_CR65","doi-asserted-by":"publisher","first-page":"584","DOI":"10.1016\/j.jss.2007.06.002","volume":"81","author":"M Sinnema","year":"2008","unstructured":"Sinnema, M., Deelstra, S.: Industrial validation of COVAMOF. J. Syst. Softw. 81(4), 584\u2013600 (2008)","journal-title":"J. Syst. Softw."},{"issue":"9","key":"839_CR66","doi-asserted-by":"publisher","first-page":"733","DOI":"10.1109\/TSE.2005.97","volume":"31","author":"DIK Sjoeberg","year":"2005","unstructured":"Sjoeberg, D.I.K., Hannay, J.E., Hansen, O., Kampenes, V.B., Karahasanovic, A., Liborg, N., Rekdal, A.C.: A survey of controlled experiments in software engineering. IEEE Trans. Softw. Eng. 31(9), 733\u2013753 (2005)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"839_CR67","doi-asserted-by":"crossref","unstructured":"Sree-Kumar, A., Planas, E., Clariso, R.: Analysis of feature models using alloy: A survey. In: Proceedings 7th International Workshop on Formal Methods and Analysis in Software Product Line Engineering, FMSPLE@ETAPS 2016, Eindhoven, The Netherlands, April 3, 2016, pp. 46\u201360 (2016)","DOI":"10.4204\/EPTCS.206.5"},{"key":"839_CR68","unstructured":"Von Der\u00a0Massen, T., Lichter, H.: Deficiencies in feature models. In: Proceedings of the Workshop on Software Variability Management for Product Derivation-Towards Tool Support (2004)"},{"issue":"4","key":"839_CR69","doi-asserted-by":"publisher","first-page":"1038","DOI":"10.1016\/j.jss.2012.11.006","volume":"86","author":"L Teixeira","year":"2013","unstructured":"Teixeira, L., Borba, P., Gheyi, R.: Safe composition of configuration knowledge-based software product lines. J. Syst. Softw. 86(4), 1038\u20131053 (2013). (SI: Software Engineering in Brazil: Retrospective and Prospective Views)","journal-title":"J. Syst. Softw."},{"key":"839_CR70","doi-asserted-by":"crossref","unstructured":"Thaker, S., Batory, D., Kitchin, D., Cook, W.: Safe composition of product lines. In: Proceedings of the 6th International Conference on Generative Programming and Component Engineering, GPCE\u201907, pp. 95\u2013104. ACM, New York (2007)","DOI":"10.1145\/1289971.1289989"},{"issue":"1","key":"839_CR71","doi-asserted-by":"publisher","first-page":"6:1","DOI":"10.1145\/2580950","volume":"47","author":"T Th\u00fcm","year":"2014","unstructured":"Th\u00fcm, T., Apel, S., K\u00e4stner, C., Schaefer, I., Saake, G.: A classification and survey of analysis strategies for software product lines. ACM Comput. Surv. 47(1), 6:1\u20136:45 (2014)","journal-title":"ACM Comput. Surv."},{"key":"839_CR72","doi-asserted-by":"crossref","unstructured":"Thurimella, A.K., Janzen, D.: Metadoc feature modeler: a plug-in for ibm rational doors. In: 15th International Conference of Software Product Line (SPLC), pp. 313\u2013322 (2011)","DOI":"10.1109\/SPLC.2011.17"},{"key":"839_CR73","doi-asserted-by":"crossref","unstructured":"Tomassetti, F., Torchiano, M., Tiso, A., Ricca, F., Reggio, G.: Maturity of software modelling and model driven engineering: a survey in the Italian industry. In: IET Conference Proceedings, pp. 91\u2013100(9) (2012)","DOI":"10.1049\/ic.2012.0012"},{"key":"839_CR74","doi-asserted-by":"crossref","unstructured":"Trinidad, P., Benavides, D., Ruiz Cort\u00e9s, A., Segura, S., Jimenez, A.: FAMA framework. In: Proceedings of the International Software Product Line Conference. IEEE Computer Society, p. 359 (2008)","DOI":"10.1109\/SPLC.2008.50"},{"key":"839_CR75","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1007\/978-3-319-69341-5_11","volume-title":"Trends and Applications in Software Engineering","author":"GI Trujillo-Tzanahua","year":"2018","unstructured":"Trujillo-Tzanahua, G.I., Ju\u00e1rez-Mart\u00ednez, U., Alberto Alfonso, A.-L., Cort\u00e9s-Verd\u00edn, M.K.: Multiple software product lines: applications and challenges. In: Mejia, J., Mu\u00f1oz, M., Rocha, \u00c1., Qui\u00f1onez, Y., Calvo-Manzano, J. (eds.) Trends and Applications in Software Engineering, pp. 117\u2013126. Springer International Publishing, Cham (2018)"},{"key":"839_CR76","unstructured":"van\u00a0den Broek, P., Galv\u00e3o, I.: Analysis of feature models using generalised feature trees. In: VaMoS, volume\u00a029 of ICB Research Report, pp. 29\u201335. Universit\u00e4t Duisburg-Essen (2009)"},{"key":"839_CR77","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71437-8","volume-title":"Software Product Lines in Action: The Best Industrial Practice in Product Line Engineering","author":"F van der Linden","year":"2007","unstructured":"van der Linden, F., Schmid, K., Rommes, E.: Software Product Lines in Action: The Best Industrial Practice in Product Line Engineering. Springer, New York (2007)"},{"issue":"4","key":"839_CR78","doi-asserted-by":"publisher","first-page":"724","DOI":"10.1007\/s11390-014-1462-5","volume":"29","author":"B Wang","year":"2014","unstructured":"Wang, B., Xiong, Y., Hu, Z., Zhao, H., Zhang, W., Mei, H.: Interactive inconsistency fixing in feature modeling. J. Comput. Sci. Technol. 29(4), 724\u2013736 (2014)","journal-title":"J. Comput. Sci. Technol."},{"issue":"2","key":"839_CR79","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/j.websem.2006.11.006","volume":"5","author":"HH Wang","year":"2007","unstructured":"Wang, H.H., Li, Y.F., Sun, J., Zhang, H., Pan, J.: Verifying feature models using owl. Web Semant. Sci. Serv. Agents World Wide Web 5(2), 117\u2013129 (2007). (Software Engineering and the Semantic Web)","journal-title":"Web Semant. Sci. Serv. Agents World Wide Web"},{"key":"839_CR80","first-page":"1","volume-title":"Model-Driven Engineering Languages and Systems","author":"J Whittle","year":"2013","unstructured":"Whittle, J., Hutchinson, J., Rouncefild, M., Burden, H., Heldal, R.: Industrial adoption of model-driven engineering: are the tools really the problem? In: Moreira, A., Sch\u00e4tz, B., Gray, J., Vallecillo, A., Clarke, P. (eds.) Model-Driven Engineering Languages and Systems, pp. 1\u201317. Springer, Berlin (2013)"},{"key":"839_CR81","doi-asserted-by":"crossref","unstructured":"Zaid, L., Kleinermann, F., De Troyer, O., Applying semantic web technology to feature modeling. In: Proceedings of the 2009 ACM Symposium on Applied Computing, SAC\u201909, pp. 1252\u20131256. ACM, New York (2009)","DOI":"10.1145\/1529282.1529563"},{"issue":"6","key":"839_CR82","doi-asserted-by":"publisher","first-page":"625","DOI":"10.1016\/j.infsof.2010.12.010","volume":"53","author":"H Zhang","year":"2011","unstructured":"Zhang, H., Babar, M.A., Tell, P.: Identifying relevant studies in software engineering. Inf. Softw. Technol. 53(6), 625\u2013637 (2011). (Special Section: Best papers from the APSEC)","journal-title":"Inf. Softw. Technol."},{"key":"839_CR83","doi-asserted-by":"crossref","unstructured":"Zhou, X., Jin, Y., Zhang, H., Li, S., Huang, X.: A map of threats to validity of systematic literature reviews in software engineering. In: 2016 23rd Asia-Pacific Software Engineering Conference (APSEC), pp. 153\u2013160 (2016)","DOI":"10.1109\/APSEC.2016.031"}],"container-title":["Software and Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-020-00839-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10270-020-00839-w\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-020-00839-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,31]],"date-time":"2021-08-31T17:51:32Z","timestamp":1630432292000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10270-020-00839-w"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,11,22]]},"references-count":83,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2021,8]]}},"alternative-id":["839"],"URL":"https:\/\/doi.org\/10.1007\/s10270-020-00839-w","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,11,22]]},"assertion":[{"value":"14 June 2019","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"11 September 2020","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"27 October 2020","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"22 November 2020","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}