{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,3]],"date-time":"2025-09-03T10:59:25Z","timestamp":1756897165733,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":32,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,9,12]],"date-time":"2022-09-12T00:00:00Z","timestamp":1662940800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"European Union's H2020 research and innovation programme","award":["DAEMON 101017109"],"award-info":[{"award-number":["DAEMON 101017109"]}]},{"name":"Ministerio de Ciencia e Innovaci\u00f3n","award":["MEDEA RTI2018-099213-B-I00 and PRE2019-087496"],"award-info":[{"award-number":["MEDEA RTI2018-099213-B-I00 and PRE2019-087496"]}]},{"name":"European Union FEDER","award":["LEIA UMA18-FEDERJA-15"],"award-info":[{"award-number":["LEIA UMA18-FEDERJA-15"]}]},{"DOI":"10.13039\/501100011011","name":"Junta de Andaluc\u00eda","doi-asserted-by":"publisher","award":["Rhea P18-FR-1081"],"award-info":[{"award-number":["Rhea P18-FR-1081"]}],"id":[{"id":"10.13039\/501100011011","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,9,12]]},"DOI":"10.1145\/3503229.3547057","type":"proceedings-article","created":{"date-parts":[[2022,8,25]],"date-time":"2022-08-25T22:15:43Z","timestamp":1661465743000},"page":"132-139","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Defining categorical reasoning of numerical feature models with feature-wise and variant-wise quality attributes"],"prefix":"10.1145","author":[{"given":"Daniel-Jesus","family":"Munoz","sequence":"first","affiliation":[{"name":"Universidad de M\u00e1laga, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M\u00f3nica","family":"Pinto","sequence":"additional","affiliation":[{"name":"Universidad de M\u00e1laga, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dilian","family":"Gurov","sequence":"additional","affiliation":[{"name":"KTH Royal Institute of Technology, Stockholm, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lidia","family":"Fuentes","sequence":"additional","affiliation":[{"name":"Universidad de M\u00e1laga, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2022,9,12]]},"reference":[{"volume-title":"Category theory for computing science","author":"Barr Michael","key":"e_1_3_2_1_1_1","unstructured":"Michael Barr and Charles Wells. 1990. Category theory for computing science. Prentice Hall, Hoboken, New Jersey, USA."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3034827"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2010.01.001"},{"volume-title":"Advanced Information Systems Engineering, Oscar Pastor and Jo\u00e3o Falc\u00e3o e Cunha (Eds.)","author":"Benavides David","key":"e_1_3_2_1_4_1","unstructured":"David Benavides, Pablo Trinidad, and Antonio Ruiz-Cort\u00e9s. 2005. Automated Reasoning on Feature Models. In Advanced Information Systems Engineering, Oscar Pastor and Jo\u00e3o Falc\u00e3o e Cunha (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 491--503."},{"key":"e_1_3_2_1_5_1","volume-title":"P\u0103s\u0103reanu","author":"Borges Mateus","year":"2017","unstructured":"Mateus Borges, Quoc-Sang Phan, Antonio Filieri, and Corina S. P\u0103s\u0103reanu. 2017. Model-Counting Approaches for Nonlinear Numerical Constraints. In NASA Formal Methods, Clark Barrett, Misty Davies, and Temesghen Kahsai (Eds.). Springer International Publishing, Luxembourg, 131--138."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.commatsci.2019.04.002"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/1753235.1753247"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3382026.3425773"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2007.45"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-017-0610-0"},{"key":"e_1_3_2_1_11_1","volume-title":"International Symposium On Leveraging Applications of Formal Methods, Verification and Validation. Springer","author":"Gurov Dilian","year":"2011","unstructured":"Dilian Gurov, Bjarte M \u00d8stvold, and Ina Schaefer. 2011. A hierarchical variability model for software product lines. In International Symposium On Leveraging Applications of Formal Methods, Verification and Validation. Springer, Springer, Luxembourg, 181--199."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1287\/ijoc.14.4.295.2828"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2015.11.005"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3336294.3336304"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2020.2987024"},{"volume-title":"Principles of Functional Programming. tredition","author":"Loczewski Georg P","key":"e_1_3_2_1_17_1","unstructured":"Georg P Loczewski. 2018. A++ and the Lambda Calculus: Principles of Functional Programming. tredition, Berlin, Germany."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-61443-4_8"},{"volume-title":"Category Theory Framework for Variability Models with Non-functional Requirements","author":"Munoz Daniel-Jesus","key":"e_1_3_2_1_19_1","unstructured":"Daniel-Jesus Munoz, Dilian Gurov, Monica Pinto, and Lidia Fuentes. 2021. Category Theory Framework for Variability Models with Non-functional Requirements. In Advanced Information Systems Engineering, Marcello La Rosa, Shazia Sadiq, and Ernest Teniente (Eds.). Springer International Publishing, Cham, 397--413."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3336294.3336297"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/3288338.3288341"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3023956.3023959"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2420942.2420944"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2021.111044"},{"volume-title":"Software product line engineering: foundations, principles and techniques","author":"Pohl Klaus","key":"e_1_3_2_1_25_1","unstructured":"Klaus Pohl, G\u00fcnter B\u00f6ckle, and Frank J van Der Linden. 2005. Software product line engineering: foundations, principles and techniques. Springer Science & Business Media, Luxembourg."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-011-9152-9"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106251"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1371\/journal.pone.0024274"},{"key":"e_1_3_2_1_29_1","volume-title":"Proceedings of the 25th ACM International Systems and Software Product Line Conference-Volume A. ACM","author":"Sundermann Chico","year":"2021","unstructured":"Chico Sundermann, Kevin Feichtinger, Dominik Engelhardt, Rick Rabiser, and Thomas Th\u00fcm. 2021. Yet another textual variability language? a community effort towards a unified language. In Proceedings of the 25th ACM International Systems and Software Product Line Conference-Volume A. ACM, New York, NY, USA, 136--147."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/3302333.3302349"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2020.106397"},{"key":"e_1_3_2_1_32_1","first-page":"10","volume-title":"Proceedings of the 2nd International Workshop on Non-functional System Properties in Domain Specific Modeling Languages, Marko Bo\u0161kovi\u00e6, Dragan Ga\u0161evi\u00e6, Claus Pahl, and Bernhard Sch\u00e4tz (Eds.). ACM","author":"Yrj\u00f6nen Anton","year":"2009","unstructured":"Anton Yrj\u00f6nen and Janne Merilinna. 2009. Extending the NFR framework with measurable non-functional requirements. In Proceedings of the 2nd International Workshop on Non-functional System Properties in Domain Specific Modeling Languages, Marko Bo\u0161kovi\u00e6, Dragan Ga\u0161evi\u00e6, Claus Pahl, and Bernhard Sch\u00e4tz (Eds.). ACM, New York, New York, USA, 0--14. 2nd International Workshop on Non-functional System Properties in Domain Specific Modeling Languages, NFPinDSML2009, NFPinDSML2009; Conference date: 04-10-2009 Through 04-10-2009."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-013-9197-z"}],"event":{"name":"SPLC '22: 26th ACM International Systems and Software Product Line Conference","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Graz Austria","acronym":"SPLC '22"},"container-title":["Proceedings of the 26th ACM International Systems and Software Product Line Conference - Volume B"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3503229.3547057","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3503229.3547057","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:30:50Z","timestamp":1750188650000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3503229.3547057"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,9,12]]},"references-count":32,"alternative-id":["10.1145\/3503229.3547057","10.1145\/3503229"],"URL":"https:\/\/doi.org\/10.1145\/3503229.3547057","relation":{},"subject":[],"published":{"date-parts":[[2022,9,12]]},"assertion":[{"value":"2022-09-12","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}