{"id":{"repo_id":"maynooth","oai_identifier":"oai:mural.maynoothuniversity.ie:5341"},"canonical_url":"https://search.dev.ndltd.org/etd/maynooth/oai:mural.maynoothuniversity.ie:5341","repository":{"repo_id":"maynooth","name":"National University of Ireland - Maynooth","base_url":"http://mural.maynoothuniversity.ie/cgi/oai2"},"display":{"title":"Evaluate and Benchmark Aris","abstract":"In this paper, we present evaluation and benchmark of Aris (Analogical Reasoning for reuse of Implementation & Specification). Aris aims to increase the number of verified programs by promotes the advantages of code reuse and the possibility of transferring specifications between similar implementations. Source code retrieval in Aris acts as an enabling technology for the reuse of formal specifications. Although the result of the early version of Aris is encouraging and show potential reuse of formal specifications, it still has many rooms for improvements and wide possibility for feature enhancement. By using experimental methodology, we identify the issues and limitation of Aris 1.0. We develop Aris 2.0 that improve the construction of conceptual graph, reduce the occurrences of false variable and loop mapping, enable adjustment for transferring specifications between different iteration process of for loop, and support assert and assume specifications transfer. We also introduce new metric (specification score) to ensure that the top ranked retrieved documents possess good quality specifications for transferring specifications. Finally, we compare the performance of Aris 1.0 and Aris 2.0 as retrieval and mapping system and also its ability to create the verified specification. In order to evaluate and benchmark Aris, we use 2 million methods of unverified implementations real world example amongst verified implementation. Our overall result shows the improvement in Aris 2.0 able to produce more successful mapping between similar source code files, increase ranking precision in retrieval phase, and generate more verified specifications.","abstract_html":"In this paper, we present evaluation and benchmark of Aris (Analogical Reasoning for reuse of Implementation & Specification). Aris aims to increase the number of verified programs by promotes the advantages of code reuse and the possibility of transferring specifications between similar implementations. Source code retrieval in Aris acts as an enabling technology for the reuse of formal specifications. Although the result of the early version of Aris is encouraging and show potential reuse of formal specifications, it still has many rooms for improvements and wide possibility for feature enhancement. By using experimental methodology, we identify the issues and limitation of Aris 1.0. We develop Aris 2.0 that improve the construction of conceptual graph, reduce the occurrences of false variable and loop mapping, enable adjustment for transferring specifications between different iteration process of for loop, and support assert and assume specifications transfer. We also introduce new metric (specification score) to ensure that the top ranked retrieved documents possess good quality specifications for transferring specifications. Finally, we compare the performance of Aris 1.0 and Aris 2.0 as retrieval and mapping system and also its ability to create the verified specification. In order to evaluate and benchmark Aris, we use 2 million methods of unverified implementations real world example amongst verified implementation. Our overall result shows the improvement in Aris 2.0 able to produce more successful mapping between similar source code files, increase ranking precision in retrieval phase, and generate more verified specifications.","abstract_has_math":false,"creators":["Halim, Felicia"],"institution":"National University of Ireland Maynooth","degree_name":null,"degree_level":"masters","degree_discipline":null,"degree_department":null,"school":null,"contributors":[],"advisors":[],"committee_chairs":[],"committee_members":[],"year":2014,"date_issued":"2014-07","date_published":"2014-07","updated_at":"2026-07-24T03:02:49Z","subjects":["Computer Science"],"languages":["en"],"rights":[],"rights_urls":[],"identifier_entries":[]},"links":{"outbound_url":null,"outbound_label":null,"outbound_source":null},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:creator","label":"Author","values":["Halim, Felicia"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date","label":"Dc Date","values":["2014-07"]},{"key":"dc:date.issued","label":"Date","values":["2014-07"]},{"key":"dc:publisher.department","label":"Dc Publisher Department","values":["Erasmus Mundus"]},{"key":"dc:publisher.institution","label":"Dc Publisher Institution","values":["National University of Ireland Maynooth"]},{"key":"dc:relation.isreferencedby","label":"Dc Relation Isreferencedby","values":["https://mural.maynoothuniversity.ie/id/eprint/5341/"]},{"key":"dc:type","label":"Dc Type","values":["Thesis"]},{"key":"dc:type.qualificationlevel","label":"Dc Type Qualificationlevel","values":["masters"]}]},{"id":"subjects_keywords","label":"Subjects and Keywords","entries":[{"key":"dc:subject","label":"Dc Subject","values":["Computer Science"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language","label":"Dc Language","values":["en"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier.uri","label":"Identifier URI","values":["https://mural.maynoothuniversity.ie/id/eprint/5341/1/Felicia%20Halim%20-%20evaluate%20and%20benchmark%20Aris.pdf"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description.abstract","label":"Abstract","values":["In this paper, we present evaluation and benchmark of Aris (Analogical Reasoning for reuse of Implementation & Specification). Aris aims to increase the number of verified programs by promotes the advantages of code reuse and the possibility of transferring specifications between similar implementations. Source code retrieval in Aris acts as an enabling technology for the reuse of formal specifications. Although the result of the early version of Aris is encouraging and show potential reuse of formal specifications, it still has many rooms for improvements and wide possibility for feature enhancement. By using experimental methodology, we identify the issues and limitation of Aris 1.0. We develop Aris 2.0 that improve the construction of conceptual graph, reduce the occurrences of false variable and loop mapping, enable adjustment for transferring specifications between different iteration process of for loop, and support assert and assume specifications transfer. We also introduce new metric (specification score) to ensure that the top ranked retrieved documents possess good quality specifications for transferring specifications. Finally, we compare the performance of Aris 1.0 and Aris 2.0 as retrieval and mapping system and also its ability to create the verified specification. In order to evaluate and benchmark Aris, we use 2 million methods of unverified implementations real world example amongst verified implementation. Our overall result shows the improvement in Aris 2.0 able to produce more successful mapping between similar source code files, increase ranking precision in retrieval phase, and generate more verified specifications."]},{"key":"dc:format","label":"Dc Format","values":["text"]},{"key":"dc:title","label":"Title","values":["Evaluate and Benchmark Aris"]}]}],"canonical_facts":{"dc:creator":["Halim, Felicia"],"dc:date":["2014-07"],"dc:date.issued":["2014-07"],"dc:description.abstract":["In this paper, we present evaluation and benchmark of Aris (Analogical Reasoning for reuse of Implementation & Specification). Aris aims to increase the number of verified programs by promotes the advantages of code reuse and the possibility of transferring specifications between similar implementations. Source code retrieval in Aris acts as an enabling technology for the reuse of formal specifications. Although the result of the early version of Aris is encouraging and show potential reuse of formal specifications, it still has many rooms for improvements and wide possibility for feature enhancement. By using experimental methodology, we identify the issues and limitation of Aris 1.0. We develop Aris 2.0 that improve the construction of conceptual graph, reduce the occurrences of false variable and loop mapping, enable adjustment for transferring specifications between different iteration process of for loop, and support assert and assume specifications transfer. We also introduce new metric (specification score) to ensure that the top ranked retrieved documents possess good quality specifications for transferring specifications. Finally, we compare the performance of Aris 1.0 and Aris 2.0 as retrieval and mapping system and also its ability to create the verified specification. In order to evaluate and benchmark Aris, we use 2 million methods of unverified implementations real world example amongst verified implementation. Our overall result shows the improvement in Aris 2.0 able to produce more successful mapping between similar source code files, increase ranking precision in retrieval phase, and generate more verified specifications."],"dc:format":["text"],"dc:identifier.uri":["https://mural.maynoothuniversity.ie/id/eprint/5341/1/Felicia%20Halim%20-%20evaluate%20and%20benchmark%20Aris.pdf"],"dc:language":["en"],"dc:publisher.department":["Erasmus Mundus"],"dc:publisher.institution":["National University of Ireland Maynooth"],"dc:relation.isreferencedby":["https://mural.maynoothuniversity.ie/id/eprint/5341/"],"dc:subject":["Computer Science"],"dc:title":["Evaluate and Benchmark Aris"],"dc:type":["Thesis"],"dc:type.qualificationlevel":["masters"]},"updated_at":"2026-07-24T03:02:49Z"}