Matches in SemOpenAlex for { <https://semopenalex.org/work/W1558162520> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W1558162520 abstract "Static code analysis originally concerned the extraction from source code of various properties of a program. Although this kind of reverse engineering approach can uncover errors that are hard to detect in other ways, it is not a very efficient use of resources because of its retrospective nature and the late error detection that results. The SPARK language and its associated Examiner tool took a different approach which emphasises error prevention (correctness by construction) rather than error detection. Recent work with SPARK has shown that very early application of static analysis can have a beneficial influence on software architectures and designs. The paper describes the use of SPARK to produce designs with demonstrably low coupling and high cohesion." @default.
- W1558162520 created "2016-06-24" @default.
- W1558162520 creator A5018231085 @default.
- W1558162520 date "2002-01-01" @default.
- W1558162520 modified "2023-09-28" @default.
- W1558162520 title "Closing the Loop: The Influence of Code Analysis on Design" @default.
- W1558162520 cites W1980767016 @default.
- W1558162520 cites W2082434633 @default.
- W1558162520 cites W2169102479 @default.
- W1558162520 cites W4206484987 @default.
- W1558162520 doi "https://doi.org/10.1007/3-540-48046-3_12" @default.
- W1558162520 hasPublicationYear "2002" @default.
- W1558162520 type Work @default.
- W1558162520 sameAs 1558162520 @default.
- W1558162520 citedByCount "1" @default.
- W1558162520 crossrefType "book-chapter" @default.
- W1558162520 hasAuthorship W1558162520A5018231085 @default.
- W1558162520 hasConcept C104054115 @default.
- W1558162520 hasConcept C113775141 @default.
- W1558162520 hasConcept C115903868 @default.
- W1558162520 hasConcept C137287247 @default.
- W1558162520 hasConcept C17744445 @default.
- W1558162520 hasConcept C178790620 @default.
- W1558162520 hasConcept C185592680 @default.
- W1558162520 hasConcept C199360897 @default.
- W1558162520 hasConcept C199539241 @default.
- W1558162520 hasConcept C207850805 @default.
- W1558162520 hasConcept C2777904410 @default.
- W1558162520 hasConcept C2778775528 @default.
- W1558162520 hasConcept C2781215313 @default.
- W1558162520 hasConcept C41008148 @default.
- W1558162520 hasConcept C43126263 @default.
- W1558162520 hasConcept C529173508 @default.
- W1558162520 hasConcept C55439883 @default.
- W1558162520 hasConcept C97686452 @default.
- W1558162520 hasConceptScore W1558162520C104054115 @default.
- W1558162520 hasConceptScore W1558162520C113775141 @default.
- W1558162520 hasConceptScore W1558162520C115903868 @default.
- W1558162520 hasConceptScore W1558162520C137287247 @default.
- W1558162520 hasConceptScore W1558162520C17744445 @default.
- W1558162520 hasConceptScore W1558162520C178790620 @default.
- W1558162520 hasConceptScore W1558162520C185592680 @default.
- W1558162520 hasConceptScore W1558162520C199360897 @default.
- W1558162520 hasConceptScore W1558162520C199539241 @default.
- W1558162520 hasConceptScore W1558162520C207850805 @default.
- W1558162520 hasConceptScore W1558162520C2777904410 @default.
- W1558162520 hasConceptScore W1558162520C2778775528 @default.
- W1558162520 hasConceptScore W1558162520C2781215313 @default.
- W1558162520 hasConceptScore W1558162520C41008148 @default.
- W1558162520 hasConceptScore W1558162520C43126263 @default.
- W1558162520 hasConceptScore W1558162520C529173508 @default.
- W1558162520 hasConceptScore W1558162520C55439883 @default.
- W1558162520 hasConceptScore W1558162520C97686452 @default.
- W1558162520 hasLocation W15581625201 @default.
- W1558162520 hasOpenAccess W1558162520 @default.
- W1558162520 hasPrimaryLocation W15581625201 @default.
- W1558162520 hasRelatedWork W1606275343 @default.
- W1558162520 hasRelatedWork W1815064695 @default.
- W1558162520 hasRelatedWork W1993481199 @default.
- W1558162520 hasRelatedWork W2019065740 @default.
- W1558162520 hasRelatedWork W2031359699 @default.
- W1558162520 hasRelatedWork W2109671484 @default.
- W1558162520 hasRelatedWork W2118850174 @default.
- W1558162520 hasRelatedWork W2157389349 @default.
- W1558162520 hasRelatedWork W2276918504 @default.
- W1558162520 hasRelatedWork W2320221930 @default.
- W1558162520 hasRelatedWork W2361643632 @default.
- W1558162520 hasRelatedWork W2397883404 @default.
- W1558162520 hasRelatedWork W2408673862 @default.
- W1558162520 hasRelatedWork W2587986437 @default.
- W1558162520 hasRelatedWork W2891085887 @default.
- W1558162520 hasRelatedWork W2956261528 @default.
- W1558162520 hasRelatedWork W2970309562 @default.
- W1558162520 hasRelatedWork W2993953345 @default.
- W1558162520 hasRelatedWork W2999298589 @default.
- W1558162520 hasRelatedWork W895858515 @default.
- W1558162520 isParatext "false" @default.
- W1558162520 isRetracted "false" @default.
- W1558162520 magId "1558162520" @default.
- W1558162520 workType "book-chapter" @default.