{"id":"https://openalex.org/W654640316","doi":null,"title":"Source Code Matching for Reuse of Formal Specifications","display_name":"Source Code Matching for Reuse of Formal Specifications","publication_year":2013,"publication_date":"2013-07-01","ids":{"openalex":"https://openalex.org/W654640316","mag":"654640316"},"language":"en","primary_location":{"id":"pmh:oai:eprints.maynoothuniversity.ie:4556","doi":null,"is_oa":false,"landing_page_url":"http://eprints.maynoothuniversity.ie/4556/1/DanielaGrijincu.pdf","pdf_url":"http://eprints.maynoothuniversity.ie/4556/1/DanielaGrijincu.pdf","source":{"id":"https://openalex.org/S4306401432","display_name":"Maynooth University ePrints and eTheses Archive (Maynooth University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I157286207","host_organization_name":"National University of Ireland, Maynooth","host_organization_lineage":["https://openalex.org/I157286207"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"","raw_type":"Thesis"},"volume":null,"type":"dissertation","is_traditional":true,"indexed_in":[],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://mural.maynoothuniversity.ie/4556/","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5010188070","display_name":"Daniela Grijincu","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Daniela Grijincu","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5010188070"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.6460000276565552,"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":0.6460000276565552,"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/T10126","display_name":"Logic, programming, and type systems","score":0.3188000023365021,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.01269999984651804,"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/analogical-reasoning","display_name":"analogical reasoning","score":0.7699999809265137},{"id":"https://openalex.org/keywords/conceptual-graphs","display_name":"conceptual graphs","score":0.8379999995231628},{"id":"https://openalex.org/keywords/graph-isomorphism","display_name":"graph isomorphism","score":0.7580000162124634},{"id":"https://openalex.org/keywords/graph-homomorphisms","display_name":"graph homomorphisms","score":0.8560000061988831},{"id":"https://openalex.org/keywords/pattern-completion","display_name":"pattern completion","score":0.6510000228881836},{"id":"https://openalex.org/keywords/software-verification","display_name":"software verification","score":0.75},{"id":"https://openalex.org/keywords/code-reuse","display_name":"code reuse","score":0.6420000195503235}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8116191625595093},{"id":"https://openalex.org/C206588197","wikidata":"https://www.wikidata.org/wiki/Q846574","display_name":"Reuse","level":2,"score":0.6587273478507996},{"id":"https://openalex.org/C133162039","wikidata":"https://www.wikidata.org/wiki/Q1061077","display_name":"Code generation","level":3,"score":0.5668970346450806},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.5305106043815613},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5146883130073547},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.5009109973907471},{"id":"https://openalex.org/C165064840","wikidata":"https://www.wikidata.org/wiki/Q1321061","display_name":"Matching (statistics)","level":2,"score":0.4975586235523224},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.4720364809036255},{"id":"https://openalex.org/C2778583558","wikidata":"https://www.wikidata.org/wiki/Q771245","display_name":"Code reuse","level":3,"score":0.4631129801273346},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4330139756202698},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.40234512090682983},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.39992469549179077},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.1345345377922058},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"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/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"pmh:oai:eprints.maynoothuniversity.ie:4556","doi":null,"is_oa":false,"landing_page_url":"http://eprints.maynoothuniversity.ie/4556/1/DanielaGrijincu.pdf","pdf_url":"http://eprints.maynoothuniversity.ie/4556/1/DanielaGrijincu.pdf","source":{"id":"https://openalex.org/S4306401432","display_name":"Maynooth University ePrints and eTheses Archive (Maynooth University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I157286207","host_organization_name":"National University of Ireland, Maynooth","host_organization_lineage":["https://openalex.org/I157286207"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"","raw_type":"Thesis"},{"id":"pmh:oai:mural.maynoothuniversity.ie:4556","doi":null,"is_oa":false,"landing_page_url":"https://mural.maynoothuniversity.ie/id/eprint/4556/1/DanielaGrijincu.pdf","pdf_url":"https://mural.maynoothuniversity.ie/id/eprint/4556/1/DanielaGrijincu.pdf","source":{"id":"https://openalex.org/S4306401432","display_name":"Maynooth University ePrints and eTheses Archive (Maynooth University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I157286207","host_organization_name":"National University of Ireland, Maynooth","host_organization_lineage":["https://openalex.org/I157286207"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":null,"raw_type":"Thesis"},{"id":"pmh:http://www.rian.ie/179327/","doi":null,"is_oa":true,"landing_page_url":"https://mural.maynoothuniversity.ie/4556/","pdf_url":"https://mural.maynoothuniversity.ie/4556/","source":{"id":"https://openalex.org/S4306400033","display_name":"Arrow@dit (Dublin Institute of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I4210144925","host_organization_name":"Technological University Dublin","host_organization_lineage":["https://openalex.org/I4210144925"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Grijincu, Daniela (2013) Source Code Matching for Reuse of Formal Specifications. Masters thesis, National University of Ireland Maynooth.","raw_type":"Master thesis (research)"},{"id":"pmh:http://www.rian.ie/99123/","doi":null,"is_oa":true,"landing_page_url":"http://eprints.maynoothuniversity.ie/4556/","pdf_url":"http://eprints.maynoothuniversity.ie/4556/","source":{"id":"https://openalex.org/S4306400033","display_name":"Arrow@dit (Dublin Institute of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I4210144925","host_organization_name":"Technological University Dublin","host_organization_lineage":["https://openalex.org/I4210144925"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-sa","license_id":"https://openalex.org/licenses/cc-by-nc-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Grijincu, Daniela (2013) Source Code Matching for Reuse of Formal Specifications. Masters thesis, National University of Ireland Maynooth.","raw_type":"Master thesis (research)"},{"id":"mag:654640316","doi":null,"is_oa":false,"landing_page_url":"http://core.ac.uk/download/pdf/17178806.pdf","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":{"id":"pmh:http://www.rian.ie/179327/","doi":null,"is_oa":true,"landing_page_url":"https://mural.maynoothuniversity.ie/4556/","pdf_url":"https://mural.maynoothuniversity.ie/4556/","source":{"id":"https://openalex.org/S4306400033","display_name":"Arrow@dit (Dublin Institute of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I4210144925","host_organization_name":"Technological University Dublin","host_organization_lineage":["https://openalex.org/I4210144925"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Grijincu, Daniela (2013) Source Code Matching for Reuse of Formal Specifications. Masters thesis, National University of Ireland Maynooth.","raw_type":"Master thesis (research)"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320311521","display_name":"National University of Ireland","ror":"https://ror.org/00shsf120"},{"id":"https://openalex.org/F4320320860","display_name":"National University of Ireland, Maynooth","ror":"https://ror.org/048nfjm95"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W654640316.pdf","grobid_xml":"https://content.openalex.org/works/W654640316.grobid-xml"},"referenced_works_count":38,"referenced_works":["https://openalex.org/W88750591","https://openalex.org/W191711976","https://openalex.org/W1481897854","https://openalex.org/W1493596129","https://openalex.org/W1516346799","https://openalex.org/W1537721316","https://openalex.org/W1541168100","https://openalex.org/W1573829780","https://openalex.org/W1854260987","https://openalex.org/W1886319227","https://openalex.org/W1968266296","https://openalex.org/W1980169328","https://openalex.org/W2000215157","https://openalex.org/W2012152371","https://openalex.org/W2026161499","https://openalex.org/W2041190309","https://openalex.org/W2049188915","https://openalex.org/W2052363833","https://openalex.org/W2065454114","https://openalex.org/W2066636486","https://openalex.org/W2073265902","https://openalex.org/W2077351017","https://openalex.org/W2082888221","https://openalex.org/W2101832700","https://openalex.org/W2109294083","https://openalex.org/W2121188003","https://openalex.org/W2128939007","https://openalex.org/W2138756793","https://openalex.org/W2145454741","https://openalex.org/W2146957318","https://openalex.org/W2150189917","https://openalex.org/W2156159857","https://openalex.org/W2168689650","https://openalex.org/W2184952243","https://openalex.org/W2248414903","https://openalex.org/W2526582379","https://openalex.org/W3143397855","https://openalex.org/W4233620316"],"related_works":["https://openalex.org/W925093672","https://openalex.org/W7063783148","https://openalex.org/W3217591948","https://openalex.org/W7100508599","https://openalex.org/W785293441","https://openalex.org/W588699237","https://openalex.org/W109866073","https://openalex.org/W7017296117","https://openalex.org/W2088321462","https://openalex.org/W2136922605"],"abstract_inverted_index":{"Although":[0],"Software":[1],"Verification":[2],"technology":[3],"is":[4],"rapidly":[5],"advancing,":[6],"the":[7,12,26,39,60,67,75,81,109,113,150,167,171,202,221],"process":[8],"of":[9,15,44,50,62,69,77,83,112,223],"formally":[10],"specifying":[11],"intended":[13],"behaviour":[14],"a":[16],"program":[17,27],"can":[18,205],"still":[19],"be":[20,206],"difficult":[21],"and":[22,31,80,148,176,182,195,209,218],"time":[23],"consuming":[24],"as":[25],"increases":[28],"in":[29,54,227],"size":[30],"complexity.":[32],"In":[33,89],"this":[34],"project":[35],"we":[36,56,98,129,191],"focus":[37],"on":[38,138],"source":[40,95],"code":[41,78,96,114],"matching":[42,135],"module":[43],"Ar\u00eds":[45],"(Analogical":[46],"Reasoning":[47],"for":[48,179],"reuse":[49,79],"Implementation":[51],"Specification)":[52],"platform":[53],"which":[55],"aim":[57],"to":[58,91,107,131],"increase":[59],"number":[61],"verified":[63],"programs":[64],"by":[65],"reducing":[66],"effort":[68],"writing":[70],"specifications.":[71],"Our":[72,212],"approach":[73],"promotes":[74],"advantages":[76],"possibility":[82],"transferring":[84],"specifications":[85,185,204,226],"between":[86,153,198],"similar":[87,200],"implementations.":[88],"order":[90],"effectively":[92],"compare":[93],"two":[94,126],"files":[97],"represent":[99],"them":[100],"using":[101,121,170],"Conceptual":[102],"Graphs":[103],"that":[104,197],"allow":[105],"us":[106],"explore":[108],"semantic":[110],"content":[111],"while":[115],"also":[116],"analysing":[117],"its":[118],"structural":[119],"properties":[120],"graph-based":[122],"techniques.":[123],"For":[124],"comparing":[125],"conceptual":[127],"graphs,":[128],"propose":[130],"use":[132],"an":[133],"incremental":[134],"algorithm":[136,178],"based":[137],"IAM":[139],"(the":[140],"Incremental":[141],"Analogy":[142],"Machine":[143],"(Keane,":[144],"et":[145],"al.,":[146],"1994))":[147],"find":[149],"best":[151],"mapping":[152,169],"isomorphic":[154],"(exact":[155],"matches)":[156],"or":[157],"homomorphic":[158],"(non-identical)":[159],"sub-graphs.":[160],"We":[161],"further":[162],"develop":[163],"analogical":[164],"inferences":[165],"from":[166],"acquired":[168],"CWSG":[172],"(Copy":[173],"With":[174],"Substitution":[175],"Generation)":[177],"pattern":[180],"completion":[181],"generate":[183],"new":[184],"into":[186],"our":[187,193],"target/problem":[188],"code.":[189],"Finally,":[190],"present":[192],"evaluation":[194],"show":[196,220],"structurally":[199],"programs,":[201],"formal":[203,225],"fully":[207],"transferred":[208],"successfully":[210],"verified.":[211],"overall":[213],"results":[214],"are":[215],"very":[216],"encouraging":[217],"clearly":[219],"potential":[222],"reusing":[224],"creating":[228],"more":[229],"dependable":[230],"software":[231],"systems.":[232]},"counts_by_year":[{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":1}],"updated_date":"2026-11-11T12:16:26.678958","created_date":"2016-06-24T00:00:00"}