{"id":"https://openalex.org/W2105810631","doi":"https://doi.org/10.1109/tefse.2013.6620155","title":"Backward propagation of code refinements on transformational code generation environments","display_name":"Backward propagation of code refinements on transformational code generation environments","publication_year":2013,"publication_date":"2013-05-01","ids":{"openalex":"https://openalex.org/W2105810631","doi":"https://doi.org/10.1109/tefse.2013.6620155","mag":"2105810631"},"language":"en","primary_location":{"id":"doi:10.1109/tefse.2013.6620155","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tefse.2013.6620155","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2013 7th International Workshop on Traceability in Emerging Forms of Software Engineering (TEFSE)","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/A5049915874","display_name":"Victor Guana","orcid":null},"institutions":[{"id":"https://openalex.org/I154425047","display_name":"University of Alberta","ror":"https://ror.org/0160cpw27","country_code":"CA","type":"education","lineage":["https://openalex.org/I154425047"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Victor Guana","raw_affiliation_strings":["Department of Computing Science, University of Alberta, Edmonton, AB, Canada","Department of Computer Science, University of Alberta, Edmonton, AB, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computing Science, University of Alberta, Edmonton, AB, Canada","institution_ids":["https://openalex.org/I154425047"]},{"raw_affiliation_string":"Department of Computer Science, University of Alberta, Edmonton, AB, Canada","institution_ids":["https://openalex.org/I154425047"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5048978461","display_name":"Eleni Stroulia","orcid":"https://orcid.org/0000-0002-8784-8236"},"institutions":[{"id":"https://openalex.org/I154425047","display_name":"University of Alberta","ror":"https://ror.org/0160cpw27","country_code":"CA","type":"education","lineage":["https://openalex.org/I154425047"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Eleni Stroulia","raw_affiliation_strings":["Department of Computing Science, University of Alberta, Edmonton, AB, Canada","Department of Computer Science, University of Alberta, Edmonton, AB, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computing Science, University of Alberta, Edmonton, AB, Canada","institution_ids":["https://openalex.org/I154425047"]},{"raw_affiliation_string":"Department of Computer Science, University of Alberta, Edmonton, AB, Canada","institution_ids":["https://openalex.org/I154425047"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I154425047"],"apc_list":null,"apc_paid":null,"fwci":1.1308,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.75289381,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":97},"biblio":{"volume":"45","issue":null,"first_page":"55","last_page":"60"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9998999834060669,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9991999864578247,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9984999895095825,"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/computer-science","display_name":"Computer science","score":0.7976131439208984},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6985783576965332},{"id":"https://openalex.org/keywords/code-generation","display_name":"Code generation","score":0.6439371705055237},{"id":"https://openalex.org/keywords/static-program-analysis","display_name":"Static program analysis","score":0.5740799903869629},{"id":"https://openalex.org/keywords/domain-engineering","display_name":"Domain engineering","score":0.5377474427223206},{"id":"https://openalex.org/keywords/model-transformation","display_name":"Model transformation","score":0.5279326438903809},{"id":"https://openalex.org/keywords/domain-analysis","display_name":"Domain analysis","score":0.5269649624824524},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.525139331817627},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.5121290683746338},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.4798135757446289},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.47825634479522705},{"id":"https://openalex.org/keywords/program-transformation","display_name":"Program transformation","score":0.43142884969711304},{"id":"https://openalex.org/keywords/software-system","display_name":"Software system","score":0.4290623068809509},{"id":"https://openalex.org/keywords/domain-model","display_name":"Domain model","score":0.4279627799987793},{"id":"https://openalex.org/keywords/domain-specific-language","display_name":"Domain-specific language","score":0.4207899570465088},{"id":"https://openalex.org/keywords/software-construction","display_name":"Software construction","score":0.4055335819721222},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.38387271761894226},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.17352768778800964},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.10343989729881287},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.10024383664131165}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7976131439208984},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6985783576965332},{"id":"https://openalex.org/C133162039","wikidata":"https://www.wikidata.org/wiki/Q1061077","display_name":"Code generation","level":3,"score":0.6439371705055237},{"id":"https://openalex.org/C137287247","wikidata":"https://www.wikidata.org/wiki/Q1329550","display_name":"Static program analysis","level":4,"score":0.5740799903869629},{"id":"https://openalex.org/C5977032","wikidata":"https://www.wikidata.org/wiki/Q5289815","display_name":"Domain engineering","level":5,"score":0.5377474427223206},{"id":"https://openalex.org/C2779791154","wikidata":"https://www.wikidata.org/wiki/Q258040","display_name":"Model transformation","level":3,"score":0.5279326438903809},{"id":"https://openalex.org/C15708719","wikidata":"https://www.wikidata.org/wiki/Q2271801","display_name":"Domain analysis","level":5,"score":0.5269649624824524},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.525139331817627},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.5121290683746338},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.4798135757446289},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.47825634479522705},{"id":"https://openalex.org/C2778361913","wikidata":"https://www.wikidata.org/wiki/Q7248437","display_name":"Program transformation","level":2,"score":0.43142884969711304},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.4290623068809509},{"id":"https://openalex.org/C92548554","wikidata":"https://www.wikidata.org/wiki/Q2262868","display_name":"Domain model","level":3,"score":0.4279627799987793},{"id":"https://openalex.org/C135257023","wikidata":"https://www.wikidata.org/wiki/Q691358","display_name":"Domain-specific language","level":2,"score":0.4207899570465088},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.4055335819721222},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.38387271761894226},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.17352768778800964},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.10343989729881287},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.10024383664131165},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.0},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tefse.2013.6620155","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tefse.2013.6620155","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2013 7th International Workshop on Traceability in Emerging Forms of Software Engineering (TEFSE)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320319907","display_name":"Alberta Innovates - Technology Futures","ror":"https://ror.org/00ynafe15"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W3350644","https://openalex.org/W46772962","https://openalex.org/W238475734","https://openalex.org/W1503242327","https://openalex.org/W1509087931","https://openalex.org/W1565944966","https://openalex.org/W1603230831","https://openalex.org/W1868008326","https://openalex.org/W2101512909","https://openalex.org/W2107344568","https://openalex.org/W2116753120","https://openalex.org/W2152565783","https://openalex.org/W2165203881","https://openalex.org/W2167736435","https://openalex.org/W2168076257","https://openalex.org/W2169954581","https://openalex.org/W2789764638","https://openalex.org/W6601933454","https://openalex.org/W6633676170"],"related_works":["https://openalex.org/W2102997561","https://openalex.org/W2374471852","https://openalex.org/W2364895958","https://openalex.org/W1560710113","https://openalex.org/W2074804367","https://openalex.org/W2393035024","https://openalex.org/W2380204192","https://openalex.org/W1568769727","https://openalex.org/W1485949778","https://openalex.org/W234248761"],"abstract_inverted_index":{"Transformational":[0],"code":[1],"generation":[2,116,134],"is":[3,96,99,143],"at":[4],"the":[5,13,27,35,74,79,156],"core":[6],"of":[7,15,29,51,68,81,161],"generative":[8],"software":[9,52],"development.":[10,163],"It":[11],"advocates":[12],"modeling":[14],"common":[16],"and":[17,26,103,147,151,158],"variable":[18],"features":[19,108,126],"in":[20,61],"software-system":[21],"families":[22,50],"with":[23,43],"domain-specific":[24],"languages,":[25],"specification":[28],"transformation":[30],"compositions":[31],"for":[32,124],"successively":[33],"refining":[34],"abstract":[36],"domain":[37,63,87],"models":[38,59],"towards":[39],"eventually":[40],"enriching":[41],"them":[42],"execution":[44,83,149],"semantics.":[45],"Thus,":[46],"using":[47],"code-generation":[48],"environments,":[49],"systems":[53],"can":[54],"be":[55,130],"generated,":[56,97],"based":[57,144],"on":[58,145],"specified":[60],"high-level":[62],"languages.":[64],"The":[65],"major":[66],"advantage":[67],"this":[69],"software-construction":[70],"methodology":[71],"stems":[72],"from":[73,86,136],"fact":[75],"that":[76,109,127],"it":[77,98],"enables":[78],"reuse":[80],"verified":[82],"semantics,":[84],"derived":[85],"models.":[88],"However,":[89],"like":[90],"all":[91],"software,":[92],"once":[93],"an":[94],"implementation":[95],"bound":[100],"to":[101,106,129,133,153,155],"evolve":[102],"manually":[104],"refined":[105,137],"introduce":[107],"were":[110],"not":[111],"captured":[112],"by":[113],"its":[114],"original":[115],"environment.":[117],"This":[118],"paper":[119],"describes":[120],"a":[121],"conceptual":[122,141],"framework":[123,142],"identifying":[125],"have":[128],"propagated":[131],"backwards":[132],"engines,":[135],"generated":[138],"references.":[139],"Our":[140],"static":[146],"symbolic":[148],"analysis,":[150],"aims":[152],"contribute":[154],"maintenance":[157],"evolution":[159],"challenges":[160],"model-driven":[162]},"counts_by_year":[{"year":2015,"cited_by_count":3},{"year":2014,"cited_by_count":2}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}