Matches in SemOpenAlex for { <https://semopenalex.org/work/W654640316> ?p ?o ?g. }
- W654640316 abstract "Although Software Verification technology is rapidly advancing, the process of formally specifying the intended behaviour of a program can still be difficult and time consuming as the program increases in size and complexity. In this project we focus on the source code matching module of Aris (Analogical Reasoning for reuse of Implementation & Specification) platform in which we aim to increase the number of verified programs by reducing the effort of writing specifications. Our approach promotes the advantages of code reuse and the possibility of transferring specifications between similar implementations. In order to effectively compare two source code files we represent them using Conceptual Graphs that allow us to explore the semantic content of the code while also analysing its structural properties using graph-based techniques. For comparing two conceptual graphs, we propose to use an incremental matching algorithm based on IAM (the Incremental Analogy Machine (Keane, et al., 1994)) and find the best mapping between isomorphic (exact matches) or homomorphic (non-identical) sub-graphs. We further develop analogical inferences from the acquired mapping using the CWSG (Copy With Substitution and Generation) algorithm for pattern completion and generate new specifications into our target/problem code. Finally, we present our evaluation and show that between structurally similar programs, the formal specifications can be fully transferred and successfully verified. Our overall results are very encouraging and clearly show the potential of reusing formal specifications in creating more dependable software systems." @default.
- W654640316 created "2016-06-24" @default.
- W654640316 creator A5010188070 @default.
- W654640316 date "2013-07-01" @default.
- W654640316 modified "2023-09-27" @default.
- W654640316 title "Source Code Matching for Reuse of Formal Specifications" @default.
- W654640316 cites W1481897854 @default.
- W654640316 cites W1493596129 @default.
- W654640316 cites W1516346799 @default.
- W654640316 cites W1537721316 @default.
- W654640316 cites W1541168100 @default.
- W654640316 cites W1573829780 @default.
- W654640316 cites W1854260987 @default.
- W654640316 cites W1886319227 @default.
- W654640316 cites W191711976 @default.
- W654640316 cites W1968266296 @default.
- W654640316 cites W1980169328 @default.
- W654640316 cites W2000215157 @default.
- W654640316 cites W2012152371 @default.
- W654640316 cites W2026161499 @default.
- W654640316 cites W2041190309 @default.
- W654640316 cites W2049188915 @default.
- W654640316 cites W2052363833 @default.
- W654640316 cites W2065454114 @default.
- W654640316 cites W2066636486 @default.
- W654640316 cites W2070811760 @default.
- W654640316 cites W2073265902 @default.
- W654640316 cites W2077351017 @default.
- W654640316 cites W2082888221 @default.
- W654640316 cites W2101832700 @default.
- W654640316 cites W2109294083 @default.
- W654640316 cites W2121188003 @default.
- W654640316 cites W2128939007 @default.
- W654640316 cites W2138756793 @default.
- W654640316 cites W2145454741 @default.
- W654640316 cites W2146957318 @default.
- W654640316 cites W2150189917 @default.
- W654640316 cites W2156159857 @default.
- W654640316 cites W2168689650 @default.
- W654640316 cites W2184952243 @default.
- W654640316 cites W2248414903 @default.
- W654640316 cites W2526582379 @default.
- W654640316 cites W3143397855 @default.
- W654640316 cites W88750591 @default.
- W654640316 hasPublicationYear "2013" @default.
- W654640316 type Work @default.
- W654640316 sameAs 654640316 @default.
- W654640316 citedByCount "3" @default.
- W654640316 countsByYear W6546403162013 @default.
- W654640316 countsByYear W6546403162014 @default.
- W654640316 crossrefType "dissertation" @default.
- W654640316 hasAuthorship W654640316A5010188070 @default.
- W654640316 hasConcept C105795698 @default.
- W654640316 hasConcept C133162039 @default.
- W654640316 hasConcept C165064840 @default.
- W654640316 hasConcept C177264268 @default.
- W654640316 hasConcept C18903297 @default.
- W654640316 hasConcept C199360897 @default.
- W654640316 hasConcept C206588197 @default.
- W654640316 hasConcept C26517878 @default.
- W654640316 hasConcept C26713055 @default.
- W654640316 hasConcept C2776760102 @default.
- W654640316 hasConcept C2777904410 @default.
- W654640316 hasConcept C2778583558 @default.
- W654640316 hasConcept C33923547 @default.
- W654640316 hasConcept C38652104 @default.
- W654640316 hasConcept C41008148 @default.
- W654640316 hasConcept C43126263 @default.
- W654640316 hasConcept C80444323 @default.
- W654640316 hasConcept C86803240 @default.
- W654640316 hasConcept C98045186 @default.
- W654640316 hasConceptScore W654640316C105795698 @default.
- W654640316 hasConceptScore W654640316C133162039 @default.
- W654640316 hasConceptScore W654640316C165064840 @default.
- W654640316 hasConceptScore W654640316C177264268 @default.
- W654640316 hasConceptScore W654640316C18903297 @default.
- W654640316 hasConceptScore W654640316C199360897 @default.
- W654640316 hasConceptScore W654640316C206588197 @default.
- W654640316 hasConceptScore W654640316C26517878 @default.
- W654640316 hasConceptScore W654640316C26713055 @default.
- W654640316 hasConceptScore W654640316C2776760102 @default.
- W654640316 hasConceptScore W654640316C2777904410 @default.
- W654640316 hasConceptScore W654640316C2778583558 @default.
- W654640316 hasConceptScore W654640316C33923547 @default.
- W654640316 hasConceptScore W654640316C38652104 @default.
- W654640316 hasConceptScore W654640316C41008148 @default.
- W654640316 hasConceptScore W654640316C43126263 @default.
- W654640316 hasConceptScore W654640316C80444323 @default.
- W654640316 hasConceptScore W654640316C86803240 @default.
- W654640316 hasConceptScore W654640316C98045186 @default.
- W654640316 hasLocation W6546403161 @default.
- W654640316 hasOpenAccess W654640316 @default.
- W654640316 hasPrimaryLocation W6546403161 @default.
- W654640316 hasRelatedWork W171025713 @default.
- W654640316 hasRelatedWork W181581971 @default.
- W654640316 hasRelatedWork W2049560763 @default.
- W654640316 hasRelatedWork W2052246585 @default.
- W654640316 hasRelatedWork W2171325515 @default.
- W654640316 hasRelatedWork W2184947655 @default.
- W654640316 hasRelatedWork W2188405622 @default.