{"id":"https://openalex.org/W3108144276","doi":"https://doi.org/10.1145/3425898.3426959","title":"Correctness-by-construction for feature-oriented software product lines","display_name":"Correctness-by-construction for feature-oriented software product lines","publication_year":2020,"publication_date":"2020-11-16","ids":{"openalex":"https://openalex.org/W3108144276","doi":"https://doi.org/10.1145/3425898.3426959","mag":"3108144276"},"language":"en","primary_location":{"id":"doi:10.1145/3425898.3426959","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3425898.3426959","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5024416404","display_name":"Tabea Bordis","orcid":"https://orcid.org/0009-0003-2886-0862"},"institutions":[{"id":"https://openalex.org/I94509681","display_name":"Technische Universit\u00e4t Braunschweig","ror":"https://ror.org/010nsgg66","country_code":"DE","type":"education","lineage":["https://openalex.org/I94509681"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Tabea Bordis","raw_affiliation_strings":["TU Braunschweig, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"TU Braunschweig, Germany","institution_ids":["https://openalex.org/I94509681"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5032157042","display_name":"Tobias Runge","orcid":"https://orcid.org/0000-0002-9154-7743"},"institutions":[{"id":"https://openalex.org/I94509681","display_name":"Technische Universit\u00e4t Braunschweig","ror":"https://ror.org/010nsgg66","country_code":"DE","type":"education","lineage":["https://openalex.org/I94509681"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Tobias Runge","raw_affiliation_strings":["TU Braunschweig, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"TU Braunschweig, Germany","institution_ids":["https://openalex.org/I94509681"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5065261670","display_name":"Ina Schaefer","orcid":"https://orcid.org/0000-0002-7153-761X"},"institutions":[{"id":"https://openalex.org/I94509681","display_name":"Technische Universit\u00e4t Braunschweig","ror":"https://ror.org/010nsgg66","country_code":"DE","type":"education","lineage":["https://openalex.org/I94509681"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Ina Schaefer","raw_affiliation_strings":["TU Braunschweig, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"TU Braunschweig, Germany","institution_ids":["https://openalex.org/I94509681"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I94509681"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"22","last_page":"34"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9998999834060669,"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.9998999834060669,"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/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9957000017166138,"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"}},{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9922999739646912,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.808790922164917},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6953281164169312},{"id":"https://openalex.org/keywords/feature","display_name":"Feature (linguistics)","score":0.6002155542373657},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5334145426750183},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.49205726385116577},{"id":"https://openalex.org/keywords/feature-model","display_name":"Feature model","score":0.4856199324131012},{"id":"https://openalex.org/keywords/software-product-line","display_name":"Software product line","score":0.47463759779930115},{"id":"https://openalex.org/keywords/product","display_name":"Product (mathematics)","score":0.4721027910709381},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3667082190513611},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.24120020866394043},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.1256243884563446}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.808790922164917},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6953281164169312},{"id":"https://openalex.org/C2776401178","wikidata":"https://www.wikidata.org/wiki/Q12050496","display_name":"Feature (linguistics)","level":2,"score":0.6002155542373657},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5334145426750183},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.49205726385116577},{"id":"https://openalex.org/C101814296","wikidata":"https://www.wikidata.org/wiki/Q5439685","display_name":"Feature model","level":3,"score":0.4856199324131012},{"id":"https://openalex.org/C2778177629","wikidata":"https://www.wikidata.org/wiki/Q2111823","display_name":"Software product line","level":4,"score":0.47463759779930115},{"id":"https://openalex.org/C90673727","wikidata":"https://www.wikidata.org/wiki/Q901718","display_name":"Product (mathematics)","level":2,"score":0.4721027910709381},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3667082190513611},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.24120020866394043},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1256243884563446},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3425898.3426959","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3425898.3426959","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure","score":0.41999998688697815}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":33,"referenced_works":["https://openalex.org/W182551173","https://openalex.org/W1500250067","https://openalex.org/W1501652040","https://openalex.org/W1556900989","https://openalex.org/W1559870885","https://openalex.org/W1949851419","https://openalex.org/W1965484730","https://openalex.org/W1971486022","https://openalex.org/W2001673651","https://openalex.org/W2031425482","https://openalex.org/W2041169043","https://openalex.org/W2048064553","https://openalex.org/W2066210260","https://openalex.org/W2075642720","https://openalex.org/W2090495053","https://openalex.org/W2099213660","https://openalex.org/W2103953153","https://openalex.org/W2117352154","https://openalex.org/W2123878784","https://openalex.org/W2130800388","https://openalex.org/W2144179818","https://openalex.org/W2161565163","https://openalex.org/W2162248605","https://openalex.org/W2164414043","https://openalex.org/W2167672803","https://openalex.org/W2170276374","https://openalex.org/W2173900622","https://openalex.org/W2495617574","https://openalex.org/W2565255124","https://openalex.org/W2787910706","https://openalex.org/W2897114213","https://openalex.org/W2910803669","https://openalex.org/W2936157456"],"related_works":["https://openalex.org/W2903450681","https://openalex.org/W2005449645","https://openalex.org/W2286471624","https://openalex.org/W2755621609","https://openalex.org/W4249408043","https://openalex.org/W3156686903","https://openalex.org/W1509538264","https://openalex.org/W1555873338","https://openalex.org/W2104208948","https://openalex.org/W1965717968"],"abstract_inverted_index":{"Software":[0],"product":[1,31,44,66,129],"lines":[2,45,130],"are":[3,46],"increasingly":[4],"used":[5],"to":[6,28,53,74,83,94,114,125],"handle":[7],"the":[8,26,85,107,110,122,146,154,157,172,175],"growing":[9,86],"demand":[10],"of":[11,19,41,100,109,156,174],"custom-tailored":[12],"software":[13,20,36,128],"variants.":[14],"They":[15],"provide":[16],"systematic":[17],"reuse":[18],"paired":[21],"with":[22,112],"variability":[23],"mechanisms":[24],"in":[25,145,165],"code":[27],"implement":[29,162],"whole":[30],"families":[32],"rather":[33],"than":[34],"single":[35],"products.":[37],"A":[38],"common":[39],"domain":[40],"application":[42],"for":[43,65,81,142,153],"safety-critical":[47],"systems,":[48],"which":[49],"require":[50],"behavioral":[51],"correctness":[52,108],"avoid":[54],"dangerous":[55],"situations":[56],"in-field.":[57],"While":[58],"most":[59],"approaches":[60],"concentrate":[61],"on":[62],"post-hoc":[63],"verification":[64],"lines,":[67],"we":[68,120,135,149,161],"argue":[69],"that":[70,105],"a":[71,91,98,151,166],"stepwise":[72,92],"approach":[73,93,124],"create":[75,95],"correct":[76],"programs":[77,96],"may":[78],"be":[79],"beneficial":[80],"developers":[82],"manage":[84],"variability.":[87],"Correctness-by-construction":[88],"is":[89],"such":[90],"using":[97,131],"set":[99],"small,":[101],"tractable":[102],"refinement":[103,140],"rules":[104,141],"guarantee":[106],"program":[111],"regard":[113],"its":[115],"specification.":[116],"In":[117],"this":[118],"paper,":[119],"propose":[121],"first":[123],"develop":[126],"correct-by-construction":[127],"feature-oriented":[132],"programming.":[133],"First,":[134],"extend":[136],"correctness-by-construction":[137],"by":[138,177],"two":[139,179],"variation":[143],"points":[144],"code.":[147],"Second,":[148],"give":[150],"proof":[152],"soundness":[155],"proposed":[158],"rules.":[159],"Third,":[160],"our":[163],"technique":[164],"tool":[167,176],"called":[168],"VarCorC":[169],"and":[170],"show":[171],"applicability":[173],"conducting":[178],"case":[180],"studies.":[181]},"counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":3}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}