{"id":"https://openalex.org/W2066020540","doi":"https://doi.org/10.1145/1029894.1029926","title":"Refining code-design mapping with flow analysis","display_name":"Refining code-design mapping with flow analysis","publication_year":2004,"publication_date":"2004-10-31","ids":{"openalex":"https://openalex.org/W2066020540","doi":"https://doi.org/10.1145/1029894.1029926","mag":"2066020540"},"language":"en","primary_location":{"id":"doi:10.1145/1029894.1029926","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1029894.1029926","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering","raw_type":"proceedings-article"},"type":"article","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/A5100782565","display_name":"Xiaofang Zhang","orcid":"https://orcid.org/0000-0002-8667-0456"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Xiaofang Zhang","raw_affiliation_strings":["University of Oregon"],"affiliations":[{"raw_affiliation_string":"University of Oregon","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5104048953","display_name":"Michal Young","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Michal Young","raw_affiliation_strings":["University of Oregon"],"affiliations":[{"raw_affiliation_string":"University of Oregon","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5063364981","display_name":"John Lasseter","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"John H. E. F. Lasseter","raw_affiliation_strings":["University of Oregon"],"affiliations":[{"raw_affiliation_string":"University of Oregon","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5100782565"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":6.4598,"has_fulltext":false,"cited_by_count":9,"citation_normalized_percentile":{"value":0.96083258,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"231","last_page":"240"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":1.0,"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"}},"topics":[{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":1.0,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9939000010490417,"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/T12034","display_name":"Digital and Cyber Forensics","score":0.9932000041007996,"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.7692044973373413},{"id":"https://openalex.org/keywords/variety","display_name":"Variety (cybernetics)","score":0.6962867379188538},{"id":"https://openalex.org/keywords/refining","display_name":"Refining (metallurgy)","score":0.5796553492546082},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5671611428260803},{"id":"https://openalex.org/keywords/notation","display_name":"Notation","score":0.5597286224365234},{"id":"https://openalex.org/keywords/flow","display_name":"Flow (mathematics)","score":0.5271745920181274},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.5169379115104675},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5033993124961853},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.45103132724761963},{"id":"https://openalex.org/keywords/basis","display_name":"Basis (linear algebra)","score":0.43604737520217896},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.43455269932746887},{"id":"https://openalex.org/keywords/code-generation","display_name":"Code generation","score":0.4153844118118286},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.23590955138206482},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.1570151150226593}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7692044973373413},{"id":"https://openalex.org/C136197465","wikidata":"https://www.wikidata.org/wiki/Q1729295","display_name":"Variety (cybernetics)","level":2,"score":0.6962867379188538},{"id":"https://openalex.org/C60044698","wikidata":"https://www.wikidata.org/wiki/Q1283324","display_name":"Refining (metallurgy)","level":2,"score":0.5796553492546082},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5671611428260803},{"id":"https://openalex.org/C45357846","wikidata":"https://www.wikidata.org/wiki/Q2001982","display_name":"Notation","level":2,"score":0.5597286224365234},{"id":"https://openalex.org/C38349280","wikidata":"https://www.wikidata.org/wiki/Q1434290","display_name":"Flow (mathematics)","level":2,"score":0.5271745920181274},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.5169379115104675},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5033993124961853},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.45103132724761963},{"id":"https://openalex.org/C12426560","wikidata":"https://www.wikidata.org/wiki/Q189569","display_name":"Basis (linear algebra)","level":2,"score":0.43604737520217896},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.43455269932746887},{"id":"https://openalex.org/C133162039","wikidata":"https://www.wikidata.org/wiki/Q1061077","display_name":"Code generation","level":3,"score":0.4153844118118286},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.23590955138206482},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1570151150226593},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"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/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C147789679","wikidata":"https://www.wikidata.org/wiki/Q11372","display_name":"Physical chemistry","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/1029894.1029926","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1029894.1029926","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.109.7579","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.109.7579","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.uoregon.edu/~xzhang/documents/fse04.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.128.3705","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.128.3705","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.willamette.edu/~jflasset/research/zhang04fse.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W1556336697","https://openalex.org/W1995571895","https://openalex.org/W1996521205","https://openalex.org/W2021672791","https://openalex.org/W2037712120","https://openalex.org/W2040152339","https://openalex.org/W2066020540","https://openalex.org/W2099701124","https://openalex.org/W2106496553","https://openalex.org/W2107232214","https://openalex.org/W2116448805","https://openalex.org/W2118569497","https://openalex.org/W2126536832","https://openalex.org/W2139981182","https://openalex.org/W2154196314","https://openalex.org/W2155024699","https://openalex.org/W2159727720","https://openalex.org/W2161527051","https://openalex.org/W2180474769"],"related_works":["https://openalex.org/W2392526918","https://openalex.org/W2019560916","https://openalex.org/W2362540361","https://openalex.org/W2361983698","https://openalex.org/W2347697528","https://openalex.org/W2354123794","https://openalex.org/W4236845313","https://openalex.org/W4256690066","https://openalex.org/W2048831961","https://openalex.org/W1606349578"],"abstract_inverted_index":{"We":[0,48,119],"address":[1],"the":[2,75,91,94,96,102,135,145,152,187],"problem":[3],"of":[4,39,81,126,137],"refining":[5,63,144],"and":[6,14,59,68,71,98,134,175],"completing":[7],"a":[8,15,37,57,113,124,183,210],"partially":[9],"specified":[10],"high-level":[11],"design":[12,22],"model":[13,67],"partially-defined":[16],"mapping":[17,146],"from":[18,101,147],"source":[19],"code":[20],"to":[21,30,43,77,112,149,160,173],"model.":[23,150],"This":[24],"is":[25,199],"related":[26],"but":[27,115],"not":[28,200],"identical":[29],"tasks":[31],"that":[32,50,74],"have":[33],"been":[34],"automated":[35],"with":[36],"variety":[38,125],"reverse":[40],"engineering":[41],"tools":[42],"support":[44],"software":[45],"modification":[46],"tasks.":[47],"posited":[49],"set-based":[51],"flow":[52,132,189],"analysis":[53],"algorithms":[54],"would":[55,84],"provide":[56],"convenient":[58],"powerful":[60],"basis":[61],"for":[62,166],"an":[64,163],"initial":[65],"rough":[66],"partial":[69],"mapping,":[70,97],"in":[72,87,122,143,209],"particular":[73],"ability":[76],"compute":[78],"fixed":[79],"points":[80],"set":[82],"equations":[83,190],"be":[85,207],"useful":[86,127,142],"propagating":[88],"constraints":[89,139,178],"on":[90],"relations":[92],"among":[93],"model,":[95],"facts":[99],"extracted":[100],"implementation.":[103],"Here":[104],"we":[105],"report":[106],"our":[107,155],"experience":[108,156],"applying":[109],"this":[110,162],"approach":[111,165],"modest":[114],"realistic":[116],"example":[117],"problem.":[118],"were":[120],"successful":[121],"expressing":[123],"transformations":[128],"very":[129],"succinctly":[130],"as":[131],"equations,":[133],"propagation":[136],"recursively-defined":[138],"was":[140],"indeed":[141],"implementation":[148],"On":[151],"other":[153],"hand,":[154],"highlights":[157],"remaining":[158],"challenges":[159],"make":[161],"attractive":[164],"general":[167],"use.":[168],"Special":[169],"measures":[170],"are":[171,191,194],"required":[172,188],"identify":[174],"remove":[176],"inconsistent":[177],"before":[179],"they":[180,193],"propagate":[181],"through":[182],"system.":[184],"Also,":[185],"while":[186],"succinct,":[192],"also":[195],"rather":[196],"opaque;":[197],"it":[198],"obvious":[201],"how":[202],"their":[203],"expressive":[204],"power":[205],"might":[206],"preserved":[208],"more":[211],"accessible":[212],"notation.":[213]},"counts_by_year":[],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}