{"id":"https://openalex.org/W3161677868","doi":"https://doi.org/10.1145/3442389","title":"A Formal Framework of Software Product Line Analyses","display_name":"A Formal Framework of Software Product Line Analyses","publication_year":2021,"publication_date":"2021-04-23","ids":{"openalex":"https://openalex.org/W3161677868","doi":"https://doi.org/10.1145/3442389","mag":"3161677868"},"language":"en","primary_location":{"id":"doi:10.1145/3442389","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3442389","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3442389","source":{"id":"https://openalex.org/S142627899","display_name":"ACM Transactions on Software Engineering and Methodology","issn_l":"1049-331X","issn":["1049-331X","1557-7392"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Software Engineering and Methodology","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3442389","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5030386650","display_name":"Thiago Castro","orcid":"https://orcid.org/0000-0001-5758-2097"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Thiago Castro","raw_affiliation_strings":["Systems Development Center\u2014Brazilian Army"],"affiliations":[{"raw_affiliation_string":"Systems Development Center\u2014Brazilian Army","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5061752509","display_name":"Leopoldo Teixeira","orcid":"https://orcid.org/0000-0002-6154-1666"},"institutions":[{"id":"https://openalex.org/I25112270","display_name":"Universidade Federal de Pernambuco","ror":"https://ror.org/047908t24","country_code":"BR","type":"education","lineage":["https://openalex.org/I25112270"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Leopoldo Teixeira","raw_affiliation_strings":["Federal University of Pernambuco"],"affiliations":[{"raw_affiliation_string":"Federal University of Pernambuco","institution_ids":["https://openalex.org/I25112270"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5038044293","display_name":"Vander Alves","orcid":"https://orcid.org/0000-0003-1573-048X"},"institutions":[{"id":"https://openalex.org/I150729083","display_name":"Universidade de Bras\u00edlia","ror":"https://ror.org/02xfp8v59","country_code":"BR","type":"education","lineage":["https://openalex.org/I150729083"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Vander Alves","raw_affiliation_strings":["University of Bras\u00edlia"],"affiliations":[{"raw_affiliation_string":"University of Bras\u00edlia","institution_ids":["https://openalex.org/I150729083"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5054951840","display_name":"Sven Apel","orcid":"https://orcid.org/0000-0003-3687-2233"},"institutions":[{"id":"https://openalex.org/I91712215","display_name":"Saarland University","ror":"https://ror.org/01jdpyv68","country_code":"DE","type":"education","lineage":["https://openalex.org/I91712215"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Sven Apel","raw_affiliation_strings":["Saarland University, Saarland Informatics Campus"],"affiliations":[{"raw_affiliation_string":"Saarland University, Saarland Informatics Campus","institution_ids":["https://openalex.org/I91712215"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5000695937","display_name":"Maxime Cordy","orcid":"https://orcid.org/0000-0001-8312-1358"},"institutions":[{"id":"https://openalex.org/I186903577","display_name":"University of Luxembourg","ror":"https://ror.org/036x5ad56","country_code":"LU","type":"education","lineage":["https://openalex.org/I186903577"]}],"countries":["LU"],"is_corresponding":false,"raw_author_name":"Maxime Cordy","raw_affiliation_strings":["University of Luxembourg"],"affiliations":[{"raw_affiliation_string":"University of Luxembourg","institution_ids":["https://openalex.org/I186903577"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5075988425","display_name":"Rohit Gheyi","orcid":"https://orcid.org/0000-0002-5562-4449"},"institutions":[{"id":"https://openalex.org/I41455075","display_name":"Universidade Federal de Campina Grande","ror":"https://ror.org/00eftnx64","country_code":"BR","type":"education","lineage":["https://openalex.org/I41455075"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Rohit Gheyi","raw_affiliation_strings":["Federal University of Campina Grande"],"affiliations":[{"raw_affiliation_string":"Federal University of Campina Grande","institution_ids":["https://openalex.org/I41455075"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5030386650"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.8398,"has_fulltext":true,"cited_by_count":8,"citation_normalized_percentile":{"value":0.78239585,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":"30","issue":"3","first_page":"1","last_page":"37"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9883999824523926,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9883000254631042,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7834067940711975},{"id":"https://openalex.org/keywords/soundness","display_name":"Soundness","score":0.6468678712844849},{"id":"https://openalex.org/keywords/software-product-line","display_name":"Software product line","score":0.5583613514900208},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.45752108097076416},{"id":"https://openalex.org/keywords/generality","display_name":"Generality","score":0.45411208271980286},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.44735538959503174},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.42927467823028564},{"id":"https://openalex.org/keywords/product","display_name":"Product (mathematics)","score":0.41949838399887085},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3906324505805969},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.27298158407211304},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.22725120186805725},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.0942583978176117}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7834067940711975},{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.6468678712844849},{"id":"https://openalex.org/C2778177629","wikidata":"https://www.wikidata.org/wiki/Q2111823","display_name":"Software product line","level":4,"score":0.5583613514900208},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.45752108097076416},{"id":"https://openalex.org/C2780767217","wikidata":"https://www.wikidata.org/wiki/Q5532421","display_name":"Generality","level":2,"score":0.45411208271980286},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.44735538959503174},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.42927467823028564},{"id":"https://openalex.org/C90673727","wikidata":"https://www.wikidata.org/wiki/Q901718","display_name":"Product (mathematics)","level":2,"score":0.41949838399887085},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3906324505805969},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.27298158407211304},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.22725120186805725},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0942583978176117},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C542102704","wikidata":"https://www.wikidata.org/wiki/Q183257","display_name":"Psychotherapist","level":1,"score":0.0},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/3442389","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3442389","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3442389","source":{"id":"https://openalex.org/S142627899","display_name":"ACM Transactions on Software Engineering and Methodology","issn_l":"1049-331X","issn":["1049-331X","1557-7392"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Software Engineering and Methodology","raw_type":"journal-article"},{"id":"pmh:doi:10.22028/d291-46979","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4406922384","display_name":"Open MIND","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},{"id":"pmh:oai:orbilu.uni.lu:10993/45577","is_oa":true,"landing_page_url":"https://orbilu.uni.lu/handle/10993/45577","pdf_url":null,"source":{"id":"https://openalex.org/S4306401815","display_name":"Open Repository and Bibliography (University of Luxembourg)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I186903577","host_organization_name":"University of Luxembourg","host_organization_lineage":["https://openalex.org/I186903577"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ACM Transactions on Software Engineering and Methodology, 30 (3), 1-37 (2021-04-23)","raw_type":"peer reviewed"}],"best_oa_location":{"id":"doi:10.1145/3442389","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3442389","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3442389","source":{"id":"https://openalex.org/S142627899","display_name":"ACM Transactions on Software Engineering and Methodology","issn_l":"1049-331X","issn":["1049-331X","1557-7392"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Software Engineering and Methodology","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G118422810","display_name":null,"funder_award_id":"117875 and 175956","funder_id":"https://openalex.org/F4320321091","funder_display_name":"Coordena\u00e7\u00e3o de Aperfei\u00e7oamento de Pessoal de N\u00edvel Superior"},{"id":"https://openalex.org/G127476806","display_name":null,"funder_award_id":"AP 206/6 and AP 206/11","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G1474790084","display_name":null,"funder_award_id":"00000","funder_id":"https://openalex.org/F4320323350","funder_display_name":"Funda\u00e7\u00e3o de Apoio \u00e0 Pesquisa do Distrito Federal"},{"id":"https://openalex.org/G2286822848","display_name":null,"funder_award_id":"2018-0","funder_id":"https://openalex.org/F4320322025","funder_display_name":"Conselho Nacional de Desenvolvimento Cient\u00edfico e Tecnol\u00f3gico"},{"id":"https://openalex.org/G237172224","display_name":null,"funder_award_id":"-0 and","funder_id":"https://openalex.org/F4320322025","funder_display_name":"Conselho Nacional de Desenvolvimento Cient\u00edfico e Tecnol\u00f3gico"},{"id":"https://openalex.org/G3056055956","display_name":null,"funder_award_id":"05/2018","funder_id":"https://openalex.org/F4320323350","funder_display_name":"Funda\u00e7\u00e3o de Apoio \u00e0 Pesquisa do Distrito Federal"},{"id":"https://openalex.org/G3098655683","display_name":null,"funder_award_id":"426005/2018-0 and 311442/2019-6","funder_id":"https://openalex.org/F4320322025","funder_display_name":"Conselho Nacional de Desenvolvimento Cient\u00edfico e Tecnol\u00f3gico"},{"id":"https://openalex.org/G3133083182","display_name":null,"funder_award_id":"26/2019","funder_id":"https://openalex.org/F4320322025","funder_display_name":"Conselho Nacional de Desenvolvimento Cient\u00edfico e Tecnol\u00f3gico"},{"id":"https://openalex.org/G316434218","display_name":null,"funder_award_id":"00000","funder_id":"https://openalex.org/F4320321091","funder_display_name":"Coordena\u00e7\u00e3o de Aperfei\u00e7oamento de Pessoal de N\u00edvel Superior"},{"id":"https://openalex.org/G3331681876","display_name":null,"funder_award_id":"CAPES","funder_id":"https://openalex.org/F4320322025","funder_display_name":"Conselho Nacional de Desenvolvimento Cient\u00edfico e Tecnol\u00f3gico"},{"id":"https://openalex.org/G3367297716","display_name":null,"funder_award_id":"APQ-0399-1.03/17","funder_id":"https://openalex.org/F4320321091","funder_display_name":"Coordena\u00e7\u00e3o de Aperfei\u00e7oamento de Pessoal de N\u00edvel Superior"},{"id":"https://openalex.org/G3648430758","display_name":null,"funder_award_id":"465614/2014-0","funder_id":"https://openalex.org/F4320322025","funder_display_name":"Conselho Nacional de Desenvolvimento Cient\u00edfico e Tecnol\u00f3gico"},{"id":"https://openalex.org/G370582200","display_name":null,"funder_award_id":"AP 206/11","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G3802305096","display_name":null,"funder_award_id":"APQ-0399-1.03/17","funder_id":"https://openalex.org/F4320323678","funder_display_name":"Funda\u00e7\u00e3o de Amparo \u00e0 Ci\u00eancia e Tecnologia do Estado de Pernambuco"},{"id":"https://openalex.org/G3823120080","display_name":null,"funder_award_id":"14/2014","funder_id":"https://openalex.org/F4320321091","funder_display_name":"Coordena\u00e7\u00e3o de Aperfei\u00e7oamento de Pessoal de N\u00edvel Superior"},{"id":"https://openalex.org/G3914732244","display_name":null,"funder_award_id":"2018-5","funder_id":"https://openalex.org/F4320321091","funder_display_name":"Coordena\u00e7\u00e3o de Aperfei\u00e7oamento de Pessoal de N\u00edvel Superior"},{"id":"https://openalex.org/G4041182205","display_name":null,"funder_award_id":"00000","funder_id":"https://openalex.org/F4320308269","funder_display_name":"Alexander von Humboldt-Stiftung"},{"id":"https://openalex.org/G4115431553","display_name":null,"funder_award_id":"310757/2018-5","funder_id":"https://openalex.org/F4320322025","funder_display_name":"Conselho Nacional de Desenvolvimento Cient\u00edfico e Tecnol\u00f3gico"},{"id":"https://openalex.org/G4260201384","display_name":null,"funder_award_id":"PRONEX","funder_id":"https://openalex.org/F4320322025","funder_display_name":"Conselho Nacional de Desenvolvimento Cient\u00edfico e Tecnol\u00f3gico"},{"id":"https://openalex.org/G4486587802","display_name":null,"funder_award_id":"CAPES","funder_id":"https://openalex.org/F4320308269","funder_display_name":"Alexander von Humboldt-Stiftung"},{"id":"https://openalex.org/G4873020225","display_name":null,"funder_award_id":"(AP 206/6","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G5054621807","display_name":null,"funder_award_id":"14/2014","funder_id":"https://openalex.org/F4320322025","funder_display_name":"Conselho Nacional de Desenvolvimento Cient\u00edfico e Tecnol\u00f3gico"},{"id":"https://openalex.org/G5079005330","display_name":null,"funder_award_id":"support","funder_id":"https://openalex.org/F4320322025","funder_display_name":"Conselho Nacional de Desenvolvimento Cient\u00edfico e Tecnol\u00f3gico"},{"id":"https://openalex.org/G525656105","display_name":null,"funder_award_id":"409335/2016-9","funder_id":"https://openalex.org/F4320322025","funder_display_name":"Conselho Nacional de Desenvolvimento Cient\u00edfico e Tecnol\u00f3gico"},{"id":"https://openalex.org/G6032459214","display_name":null,"funder_award_id":"APQ-0570-1.03/14","funder_id":"https://openalex.org/F4320323678","funder_display_name":"Funda\u00e7\u00e3o de Amparo \u00e0 Ci\u00eancia e Tecnologia do Estado de Pernambuco"},{"id":"https://openalex.org/G6052805019","display_name":null,"funder_award_id":"PRONEX","funder_id":"https://openalex.org/F4320323350","funder_display_name":"Funda\u00e7\u00e3o de Apoio \u00e0 Pesquisa do Distrito Federal"},{"id":"https://openalex.org/G6726923587","display_name":null,"funder_award_id":"INES 2.0","funder_id":"https://openalex.org/F4320322025","funder_display_name":"Conselho Nacional de Desenvolvimento Cient\u00edfico e Tecnol\u00f3gico"},{"id":"https://openalex.org/G6962569482","display_name":null,"funder_award_id":"175956","funder_id":"https://openalex.org/F4320321091","funder_display_name":"Coordena\u00e7\u00e3o de Aperfei\u00e7oamento de Pessoal de N\u00edvel Superior"},{"id":"https://openalex.org/G7063828732","display_name":null,"funder_award_id":"AP 206/6","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G7139739004","display_name":null,"funder_award_id":"0388-1.03/14","funder_id":"https://openalex.org/F4320323678","funder_display_name":"Funda\u00e7\u00e3o de Amparo \u00e0 Ci\u00eancia e Tecnologia do Estado de Pernambuco"},{"id":"https://openalex.org/G7189750706","display_name":null,"funder_award_id":"00193-00000926/2019-67","funder_id":"https://openalex.org/F4320323350","funder_display_name":"Funda\u00e7\u00e3o de Apoio \u00e0 Pesquisa do Distrito Federal"},{"id":"https://openalex.org/G7216641613","display_name":null,"funder_award_id":"311442/2019-6","funder_id":"https://openalex.org/F4320322025","funder_display_name":"Conselho Nacional de Desenvolvimento Cient\u00edfico e Tecnol\u00f3gico"},{"id":"https://openalex.org/G7255080861","display_name":null,"funder_award_id":"00000","funder_id":"https://openalex.org/F4320322025","funder_display_name":"Conselho Nacional de Desenvolvimento Cient\u00edfico e Tecnol\u00f3gico"},{"id":"https://openalex.org/G7366191923","display_name":null,"funder_award_id":"465614/2014-0","funder_id":"https://openalex.org/F4320321091","funder_display_name":"Coordena\u00e7\u00e3o de Aperfei\u00e7oamento de Pessoal de N\u00edvel Superior"},{"id":"https://openalex.org/G7380616331","display_name":null,"funder_award_id":"426005/2018-0","funder_id":"https://openalex.org/F4320322025","funder_display_name":"Conselho Nacional de Desenvolvimento Cient\u00edfico e Tecnol\u00f3gico"},{"id":"https://openalex.org/G7443826428","display_name":null,"funder_award_id":"2014-0","funder_id":"https://openalex.org/F4320322025","funder_display_name":"Conselho Nacional de Desenvolvimento Cient\u00edfico e Tecnol\u00f3gico"},{"id":"https://openalex.org/G7537173941","display_name":null,"funder_award_id":"APQ-0388-1.03/14 and APQ-0399-1.03/17","funder_id":"https://openalex.org/F4320323678","funder_display_name":"Funda\u00e7\u00e3o de Amparo \u00e0 Ci\u00eancia e Tecnologia do Estado de Pernambuco"},{"id":"https://openalex.org/G8547532233","display_name":null,"funder_award_id":"117875","funder_id":"https://openalex.org/F4320321091","funder_display_name":"Coordena\u00e7\u00e3o de Aperfei\u00e7oamento de Pessoal de N\u00edvel Superior"},{"id":"https://openalex.org/G8733947178","display_name":null,"funder_award_id":"2018-0","funder_id":"https://openalex.org/F4320321091","funder_display_name":"Coordena\u00e7\u00e3o de Aperfei\u00e7oamento de Pessoal de N\u00edvel Superior"}],"funders":[{"id":"https://openalex.org/F4320308269","display_name":"Alexander von Humboldt-Stiftung","ror":"https://ror.org/012kf4317"},{"id":"https://openalex.org/F4320320879","display_name":"Deutsche Forschungsgemeinschaft","ror":"https://ror.org/018mejw64"},{"id":"https://openalex.org/F4320321091","display_name":"Coordena\u00e7\u00e3o de Aperfei\u00e7oamento de Pessoal de N\u00edvel Superior","ror":"https://ror.org/00x0ma614"},{"id":"https://openalex.org/F4320322025","display_name":"Conselho Nacional de Desenvolvimento Cient\u00edfico e Tecnol\u00f3gico","ror":"https://ror.org/03swz6y49"},{"id":"https://openalex.org/F4320323350","display_name":"Funda\u00e7\u00e3o de Apoio \u00e0 Pesquisa do Distrito Federal","ror":"https://ror.org/04djvx395"},{"id":"https://openalex.org/F4320323678","display_name":"Funda\u00e7\u00e3o de Amparo \u00e0 Ci\u00eancia e Tecnologia do Estado de Pernambuco","ror":"https://ror.org/02te5rf52"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3161677868.pdf","grobid_xml":"https://content.openalex.org/works/W3161677868.grobid-xml"},"referenced_works_count":89,"referenced_works":["https://openalex.org/W68069235","https://openalex.org/W125598877","https://openalex.org/W182551173","https://openalex.org/W1260237309","https://openalex.org/W1266841435","https://openalex.org/W1481843134","https://openalex.org/W1500250067","https://openalex.org/W1501652040","https://openalex.org/W1590315663","https://openalex.org/W1591471358","https://openalex.org/W1597272977","https://openalex.org/W1862398452","https://openalex.org/W1975520397","https://openalex.org/W1979496811","https://openalex.org/W1990817910","https://openalex.org/W1998265601","https://openalex.org/W2001061012","https://openalex.org/W2005989815","https://openalex.org/W2015042906","https://openalex.org/W2015315253","https://openalex.org/W2023237006","https://openalex.org/W2023396576","https://openalex.org/W2023808162","https://openalex.org/W2028329682","https://openalex.org/W2028415656","https://openalex.org/W2030224590","https://openalex.org/W2038190459","https://openalex.org/W2047386147","https://openalex.org/W2047650874","https://openalex.org/W2048064553","https://openalex.org/W2052363833","https://openalex.org/W2052598892","https://openalex.org/W2060239975","https://openalex.org/W2068847249","https://openalex.org/W2069283169","https://openalex.org/W2069920427","https://openalex.org/W2071797673","https://openalex.org/W2075571135","https://openalex.org/W2075636906","https://openalex.org/W2075813176","https://openalex.org/W2099213660","https://openalex.org/W2100619699","https://openalex.org/W2102863244","https://openalex.org/W2110025251","https://openalex.org/W2112000202","https://openalex.org/W2115309705","https://openalex.org/W2124682367","https://openalex.org/W2128967738","https://openalex.org/W2130195901","https://openalex.org/W2130800388","https://openalex.org/W2142874510","https://openalex.org/W2149614712","https://openalex.org/W2149969760","https://openalex.org/W2156451927","https://openalex.org/W2157151174","https://openalex.org/W2159081428","https://openalex.org/W2164639037","https://openalex.org/W2167435507","https://openalex.org/W2168086947","https://openalex.org/W2170286440","https://openalex.org/W2171002355","https://openalex.org/W2208405779","https://openalex.org/W2219042429","https://openalex.org/W2240627189","https://openalex.org/W2244858167","https://openalex.org/W2261238734","https://openalex.org/W2294668324","https://openalex.org/W2411439789","https://openalex.org/W2495617574","https://openalex.org/W2519250833","https://openalex.org/W2561675875","https://openalex.org/W2763153276","https://openalex.org/W2766566534","https://openalex.org/W2809366047","https://openalex.org/W2888536196","https://openalex.org/W2894621248","https://openalex.org/W2897344898","https://openalex.org/W2901842721","https://openalex.org/W2921381765","https://openalex.org/W2924803411","https://openalex.org/W2941642155","https://openalex.org/W2967777366","https://openalex.org/W2979549536","https://openalex.org/W2998177754","https://openalex.org/W3078531287","https://openalex.org/W3101667937","https://openalex.org/W4242682130","https://openalex.org/W4246103079","https://openalex.org/W4252984174"],"related_works":["https://openalex.org/W2045049461","https://openalex.org/W1978893398","https://openalex.org/W2201908702","https://openalex.org/W4381094582","https://openalex.org/W1511249877","https://openalex.org/W2369625323","https://openalex.org/W2950202488","https://openalex.org/W2604424424","https://openalex.org/W2951667359","https://openalex.org/W2010795980"],"abstract_inverted_index":{"A":[0],"number":[1],"of":[2,20,26,42,55,66,97,100,114,132,137,146,156,169],"product-line":[3,72,87,115,181],"analysis":[4,44,105],"approaches":[5,30],"lift":[6],"analyses":[7,73,88,116,182],"such":[8,58],"as":[9,151,153],"type":[10],"checking,":[11,13],"model":[12],"and":[14,33,46,49,74,78,103,118,130,135,149,192],"theorem":[15],"proving":[16],"from":[17],"the":[18,24,53,63,98,111,125,138,167,170,184],"level":[19,25],"single":[21],"programs":[22],"to":[23,70,174],"product":[27],"lines.":[28],"These":[29],"share":[31],"concepts":[32,134],"mechanisms":[34],"that":[35,85],"suggest":[36],"an":[37,94],"unexplored":[38],"potential":[39],"for":[40],"reuse":[41],"key":[43,133,157],"steps":[45],"properties,":[47],"implementation,":[48],"verification":[50],"efforts.":[51],"Despite":[52],"availability":[54],"taxonomies":[56],"synthesizing":[57],"approaches,":[59],"there":[60],"still":[61],"remains":[62],"underlying":[64],"problem":[65],"not":[67],"being":[68],"able":[69],"describe":[71],"their":[75],"properties":[76,136,158],"precisely":[77,109],"uniformly.":[79],"We":[80],"propose":[81],"a":[82,90],"formal":[83,162],"framework":[84],"models":[86],"in":[89],"compositional":[91],"manner,":[92],"providing":[93,127],"overall":[95],"understanding":[96],"space":[99],"family-based,":[101],"feature-based,":[102],"product-based":[104],"strategies.":[106],"It":[107],"defines":[108],"how":[110],"different":[112],"types":[113],"compose":[117],"inter-relate.":[119],"To":[120,164],"ensure":[121],"soundness,":[122],"we":[123,172],"formalize":[124],"framework,":[126,171],"mechanized":[128],"specification":[129],"proofs":[131],"individual":[139],"analyses.":[140],"The":[141],"formalization":[142],"provides":[143],"unambiguous":[144],"definitions":[145],"domain":[147],"terminology":[148],"assumptions":[150],"well":[152],"solid":[154],"evidence":[155],"based":[159],"on":[160],"rigorous":[161],"proofs.":[163],"qualitatively":[165],"assess":[166],"generality":[168],"discuss":[173],"what":[175],"extent":[176],"it":[177],"describes":[178],"five":[179],"representative":[180],"targeting":[183],"following":[185],"properties:":[186],"safety,":[187],"performance,":[188],"dataflow":[189],"facts,":[190],"security,":[191],"functional":[193],"program":[194],"properties.":[195]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":1}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}