Matches in SemOpenAlex for { <https://semopenalex.org/work/W1888165181> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W1888165181 abstract "During software maintenance, it is of critical importance for maintenance staff to understand how a system works and when they make a change to part of the system, what effects this change will have on other parts of the system. It is observed that much of the program understanding process revolves around dynamic properties such as the states, state sequences and state transition operations. Hence, it is necessary to support the understanding process when the staff is reasoning about what could take place when the program is in operation and what could happen if part of the code is modified. CDA is a system for understanding the dynamic properties of large data processing programs. It allows the user to incrementally document their understanding of a program as working hypotheses and abstract operations with CDA comments. It then verifies these hypotheses to determine if they are justified. The justified hypotheses and abstract operations form an incremental specification of the program. Over time, the documentation improves in quality and completeness as new comments are added to justify and check the assumptions underlying new changes made to the code.< <ETX xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>></ETX>" @default.
- W1888165181 created "2016-06-24" @default.
- W1888165181 creator A5066317170 @default.
- W1888165181 creator A5088163334 @default.
- W1888165181 date "2003-01-02" @default.
- W1888165181 modified "2023-10-18" @default.
- W1888165181 title "CDA: a system for understanding the dynamic properties of data processing programs" @default.
- W1888165181 cites W2121969245 @default.
- W1888165181 doi "https://doi.org/10.1109/aqsdt.1992.205867" @default.
- W1888165181 hasPublicationYear "2003" @default.
- W1888165181 type Work @default.
- W1888165181 sameAs 1888165181 @default.
- W1888165181 citedByCount "2" @default.
- W1888165181 crossrefType "proceedings-article" @default.
- W1888165181 hasAuthorship W1888165181A5066317170 @default.
- W1888165181 hasAuthorship W1888165181A5088163334 @default.
- W1888165181 hasConcept C101317890 @default.
- W1888165181 hasConcept C111472728 @default.
- W1888165181 hasConcept C115903868 @default.
- W1888165181 hasConcept C134306372 @default.
- W1888165181 hasConcept C138885662 @default.
- W1888165181 hasConcept C145428669 @default.
- W1888165181 hasConcept C149091818 @default.
- W1888165181 hasConcept C17231256 @default.
- W1888165181 hasConcept C177264268 @default.
- W1888165181 hasConcept C199360897 @default.
- W1888165181 hasConcept C2776760102 @default.
- W1888165181 hasConcept C2777904410 @default.
- W1888165181 hasConcept C2779530757 @default.
- W1888165181 hasConcept C2988963302 @default.
- W1888165181 hasConcept C33923547 @default.
- W1888165181 hasConcept C41008148 @default.
- W1888165181 hasConcept C48103436 @default.
- W1888165181 hasConcept C56666940 @default.
- W1888165181 hasConcept C98045186 @default.
- W1888165181 hasConceptScore W1888165181C101317890 @default.
- W1888165181 hasConceptScore W1888165181C111472728 @default.
- W1888165181 hasConceptScore W1888165181C115903868 @default.
- W1888165181 hasConceptScore W1888165181C134306372 @default.
- W1888165181 hasConceptScore W1888165181C138885662 @default.
- W1888165181 hasConceptScore W1888165181C145428669 @default.
- W1888165181 hasConceptScore W1888165181C149091818 @default.
- W1888165181 hasConceptScore W1888165181C17231256 @default.
- W1888165181 hasConceptScore W1888165181C177264268 @default.
- W1888165181 hasConceptScore W1888165181C199360897 @default.
- W1888165181 hasConceptScore W1888165181C2776760102 @default.
- W1888165181 hasConceptScore W1888165181C2777904410 @default.
- W1888165181 hasConceptScore W1888165181C2779530757 @default.
- W1888165181 hasConceptScore W1888165181C2988963302 @default.
- W1888165181 hasConceptScore W1888165181C33923547 @default.
- W1888165181 hasConceptScore W1888165181C41008148 @default.
- W1888165181 hasConceptScore W1888165181C48103436 @default.
- W1888165181 hasConceptScore W1888165181C56666940 @default.
- W1888165181 hasConceptScore W1888165181C98045186 @default.
- W1888165181 hasLocation W18881651811 @default.
- W1888165181 hasOpenAccess W1888165181 @default.
- W1888165181 hasPrimaryLocation W18881651811 @default.
- W1888165181 hasRelatedWork W1936276043 @default.
- W1888165181 hasRelatedWork W2001863522 @default.
- W1888165181 hasRelatedWork W2018297885 @default.
- W1888165181 hasRelatedWork W2097838721 @default.
- W1888165181 hasRelatedWork W2133890582 @default.
- W1888165181 hasRelatedWork W2167844828 @default.
- W1888165181 hasRelatedWork W2373724792 @default.
- W1888165181 hasRelatedWork W2896854091 @default.
- W1888165181 hasRelatedWork W4234637217 @default.
- W1888165181 hasRelatedWork W2302620416 @default.
- W1888165181 isParatext "false" @default.
- W1888165181 isRetracted "false" @default.
- W1888165181 magId "1888165181" @default.
- W1888165181 workType "article" @default.