Matches in SemOpenAlex for { <https://semopenalex.org/work/W2136922605> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W2136922605 abstract "In the software development area, software verification is important such that it can guarantee the softwarefulfills its requirements. Despite its importance, verifying software is difficult to achieve. Additionalknowledge and effort are needed to write specification especially if the software is complex and big insize. Nevertheless, there are some software that already have verified specifications. This project willfocus on extending Aris (Analogical Reasoning for reuse of Implementation & Specification) which hasbeen developed to increase verified software by reusing and transferring the specification from a similarimplementation to a target code. The extension is done to facilitate specification transferring to programwritten in language other than C#, in this case Java. This extension will add functions to existing Aristhat will receive Conceptual Graphs representation of a program and write the specification to a file.Another companion system is also built from Java to generate the Conceptual Graphs in ConceptualGraph Interchange Format (CGIF) and transform the Spec# specification to JML. Finally, this newsystem is evaluated by running some testing. From the result that we have, we can conclude that thebuilding of conceptual graph and the specification transformation is the most difficult part in our system." @default.
- W2136922605 created "2016-06-24" @default.
- W2136922605 creator A5001524676 @default.
- W2136922605 creator A5061542847 @default.
- W2136922605 date "2014-07-01" @default.
- W2136922605 modified "2023-09-24" @default.
- W2136922605 title "Arís 2.1: Adapting Arís for Object Oriented Language" @default.
- W2136922605 cites W1493596129 @default.
- W2136922605 cites W1500151553 @default.
- W2136922605 cites W1543917876 @default.
- W2136922605 cites W1606177908 @default.
- W2136922605 cites W1736726159 @default.
- W2136922605 cites W1788659055 @default.
- W2136922605 cites W1862271745 @default.
- W2136922605 cites W1959256509 @default.
- W2136922605 cites W1973644634 @default.
- W2136922605 cites W1983119041 @default.
- W2136922605 cites W2012152371 @default.
- W2136922605 cites W2020620442 @default.
- W2136922605 cites W2043100293 @default.
- W2136922605 cites W2049188915 @default.
- W2136922605 cites W2068605729 @default.
- W2136922605 cites W2104219854 @default.
- W2136922605 cites W2110908283 @default.
- W2136922605 cites W2116973066 @default.
- W2136922605 cites W2119696713 @default.
- W2136922605 cites W2120112520 @default.
- W2136922605 cites W2125853559 @default.
- W2136922605 cites W2128939007 @default.
- W2136922605 cites W2161825580 @default.
- W2136922605 cites W2162222023 @default.
- W2136922605 cites W2163425492 @default.
- W2136922605 cites W2248414903 @default.
- W2136922605 cites W2526582379 @default.
- W2136922605 cites W654640316 @default.
- W2136922605 cites W785293441 @default.
- W2136922605 cites W88750591 @default.
- W2136922605 cites W3043642349 @default.
- W2136922605 cites W3151542226 @default.
- W2136922605 hasPublicationYear "2014" @default.
- W2136922605 type Work @default.
- W2136922605 sameAs 2136922605 @default.
- W2136922605 citedByCount "0" @default.
- W2136922605 crossrefType "dissertation" @default.
- W2136922605 hasAuthorship W2136922605A5001524676 @default.
- W2136922605 hasAuthorship W2136922605A5061542847 @default.
- W2136922605 hasConcept C102780508 @default.
- W2136922605 hasConcept C115903868 @default.
- W2136922605 hasConcept C116253237 @default.
- W2136922605 hasConcept C186846655 @default.
- W2136922605 hasConcept C199360897 @default.
- W2136922605 hasConcept C201677973 @default.
- W2136922605 hasConcept C2777904410 @default.
- W2136922605 hasConcept C41008148 @default.
- W2136922605 hasConcept C529173508 @default.
- W2136922605 hasConcept C548217200 @default.
- W2136922605 hasConceptScore W2136922605C102780508 @default.
- W2136922605 hasConceptScore W2136922605C115903868 @default.
- W2136922605 hasConceptScore W2136922605C116253237 @default.
- W2136922605 hasConceptScore W2136922605C186846655 @default.
- W2136922605 hasConceptScore W2136922605C199360897 @default.
- W2136922605 hasConceptScore W2136922605C201677973 @default.
- W2136922605 hasConceptScore W2136922605C2777904410 @default.
- W2136922605 hasConceptScore W2136922605C41008148 @default.
- W2136922605 hasConceptScore W2136922605C529173508 @default.
- W2136922605 hasConceptScore W2136922605C548217200 @default.
- W2136922605 hasLocation W21369226051 @default.
- W2136922605 hasOpenAccess W2136922605 @default.
- W2136922605 hasPrimaryLocation W21369226051 @default.
- W2136922605 hasRelatedWork W1439881768 @default.
- W2136922605 hasRelatedWork W1507597199 @default.
- W2136922605 hasRelatedWork W1595074154 @default.
- W2136922605 hasRelatedWork W1596752139 @default.
- W2136922605 hasRelatedWork W192456409 @default.
- W2136922605 hasRelatedWork W1993509980 @default.
- W2136922605 hasRelatedWork W2060820408 @default.
- W2136922605 hasRelatedWork W2241447802 @default.
- W2136922605 hasRelatedWork W2296025871 @default.
- W2136922605 hasRelatedWork W2407603019 @default.
- W2136922605 hasRelatedWork W2486569610 @default.
- W2136922605 hasRelatedWork W2610193179 @default.
- W2136922605 hasRelatedWork W2911871574 @default.
- W2136922605 hasRelatedWork W2949510493 @default.
- W2136922605 hasRelatedWork W3082860845 @default.
- W2136922605 hasRelatedWork W3101735739 @default.
- W2136922605 hasRelatedWork W3166106713 @default.
- W2136922605 hasRelatedWork W31754778 @default.
- W2136922605 hasRelatedWork W3214577517 @default.
- W2136922605 hasRelatedWork W1850838487 @default.
- W2136922605 isParatext "false" @default.
- W2136922605 isRetracted "false" @default.
- W2136922605 magId "2136922605" @default.
- W2136922605 workType "dissertation" @default.