Matches in SemOpenAlex for { <https://semopenalex.org/work/W2165238779> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W2165238779 abstract "The authors describe the use of formal specifications and associated tools in addressing various aspects of software maintenance-corrective, perfective, and adaptive. They also address the refinement of the software development process to build programs that are easily maintainable. The task of software maintenance in this case includes the task of maintaining the specification, as well as the program. The authors focus on the use of Anna, a specification language for formally specifying Ada programs, to aid in maintaining Ada programs. The techniques are applicable to most other specification language and programming language environments. The tools of interest are (1) the Anna Specification Analyzer, which permits analysis of the specification for correctness with respect to the informal understanding of program behavior; and (2) the Anna Consistency Checking System, which monitors the Ada program at run time on the basis of the Anna specification. >" @default.
- W2165238779 created "2016-06-24" @default.
- W2165238779 creator A5004184008 @default.
- W2165238779 creator A5072962826 @default.
- W2165238779 date "2002-12-04" @default.
- W2165238779 modified "2023-09-24" @default.
- W2165238779 title "Application of formal specification to software maintenance" @default.
- W2165238779 cites W140275260 @default.
- W2165238779 cites W1495187315 @default.
- W2165238779 cites W1539167095 @default.
- W2165238779 cites W2002337657 @default.
- W2165238779 cites W2081814494 @default.
- W2165238779 cites W2088338682 @default.
- W2165238779 cites W2099336730 @default.
- W2165238779 cites W2119895020 @default.
- W2165238779 cites W2151688527 @default.
- W2165238779 cites W2156167132 @default.
- W2165238779 cites W2156176640 @default.
- W2165238779 cites W2168468191 @default.
- W2165238779 cites W6568356 @default.
- W2165238779 cites W1567659153 @default.
- W2165238779 cites W2055423165 @default.
- W2165238779 doi "https://doi.org/10.1109/icsm.1990.131361" @default.
- W2165238779 hasPublicationYear "2002" @default.
- W2165238779 type Work @default.
- W2165238779 sameAs 2165238779 @default.
- W2165238779 citedByCount "2" @default.
- W2165238779 countsByYear W21652387792013 @default.
- W2165238779 crossrefType "proceedings-article" @default.
- W2165238779 hasAuthorship W2165238779A5004184008 @default.
- W2165238779 hasAuthorship W2165238779A5072962826 @default.
- W2165238779 hasConcept C102780508 @default.
- W2165238779 hasConcept C115903868 @default.
- W2165238779 hasConcept C116253237 @default.
- W2165238779 hasConcept C119263510 @default.
- W2165238779 hasConcept C15077461 @default.
- W2165238779 hasConcept C154945302 @default.
- W2165238779 hasConcept C186846655 @default.
- W2165238779 hasConcept C199360897 @default.
- W2165238779 hasConcept C201677973 @default.
- W2165238779 hasConcept C2776436953 @default.
- W2165238779 hasConcept C2777904410 @default.
- W2165238779 hasConcept C34165917 @default.
- W2165238779 hasConcept C41008148 @default.
- W2165238779 hasConcept C50033165 @default.
- W2165238779 hasConcept C529173508 @default.
- W2165238779 hasConcept C55439883 @default.
- W2165238779 hasConcept C75606506 @default.
- W2165238779 hasConcept C84651959 @default.
- W2165238779 hasConcept C90069079 @default.
- W2165238779 hasConceptScore W2165238779C102780508 @default.
- W2165238779 hasConceptScore W2165238779C115903868 @default.
- W2165238779 hasConceptScore W2165238779C116253237 @default.
- W2165238779 hasConceptScore W2165238779C119263510 @default.
- W2165238779 hasConceptScore W2165238779C15077461 @default.
- W2165238779 hasConceptScore W2165238779C154945302 @default.
- W2165238779 hasConceptScore W2165238779C186846655 @default.
- W2165238779 hasConceptScore W2165238779C199360897 @default.
- W2165238779 hasConceptScore W2165238779C201677973 @default.
- W2165238779 hasConceptScore W2165238779C2776436953 @default.
- W2165238779 hasConceptScore W2165238779C2777904410 @default.
- W2165238779 hasConceptScore W2165238779C34165917 @default.
- W2165238779 hasConceptScore W2165238779C41008148 @default.
- W2165238779 hasConceptScore W2165238779C50033165 @default.
- W2165238779 hasConceptScore W2165238779C529173508 @default.
- W2165238779 hasConceptScore W2165238779C55439883 @default.
- W2165238779 hasConceptScore W2165238779C75606506 @default.
- W2165238779 hasConceptScore W2165238779C84651959 @default.
- W2165238779 hasConceptScore W2165238779C90069079 @default.
- W2165238779 hasLocation W21652387791 @default.
- W2165238779 hasOpenAccess W2165238779 @default.
- W2165238779 hasPrimaryLocation W21652387791 @default.
- W2165238779 hasRelatedWork W1502686851 @default.
- W2165238779 hasRelatedWork W1503319068 @default.
- W2165238779 hasRelatedWork W1592887751 @default.
- W2165238779 hasRelatedWork W1862533057 @default.
- W2165238779 hasRelatedWork W1980295870 @default.
- W2165238779 hasRelatedWork W2020853051 @default.
- W2165238779 hasRelatedWork W2066116303 @default.
- W2165238779 hasRelatedWork W2070307517 @default.
- W2165238779 hasRelatedWork W2081105739 @default.
- W2165238779 hasRelatedWork W2085449804 @default.
- W2165238779 hasRelatedWork W2092207455 @default.
- W2165238779 hasRelatedWork W2094642588 @default.
- W2165238779 hasRelatedWork W2123524508 @default.
- W2165238779 hasRelatedWork W2137223410 @default.
- W2165238779 hasRelatedWork W2165240599 @default.
- W2165238779 hasRelatedWork W2166768964 @default.
- W2165238779 hasRelatedWork W2280145101 @default.
- W2165238779 hasRelatedWork W2284606859 @default.
- W2165238779 hasRelatedWork W2545610616 @default.
- W2165238779 hasRelatedWork W69104294 @default.
- W2165238779 isParatext "false" @default.
- W2165238779 isRetracted "false" @default.
- W2165238779 magId "2165238779" @default.
- W2165238779 workType "article" @default.