Matches in SemOpenAlex for { <https://semopenalex.org/work/W2066339803> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W2066339803 endingPage "114" @default.
- W2066339803 startingPage "109" @default.
- W2066339803 abstract "There is a dichotomy of opinion on the use of software testing versus formal verification in software development. Testing has been the accepted method for detecting and removing errors and has played a significant error removal role. Formal verification has only recently matured into accepted practice but shows the potential for playing an even more significant error prevention role. The Cleanroom software development process which has been developed by the IBM Federal Systems Division combines both ideas into an effective development tool. Software engineering methods based on functional verification support the production of software with sufficient quality to forego traditional unit or structural testing. Statistical methods are introduced that define objective and formal strategies for product or functional testing. The synergism between the two ideas results in software with fewer errors which are both easier to find and to fix and in products with exceptional operating characteristics. Error prevention, not removal, is the key and the only viable approach to any sustained software quality growth. The Cleanroom development method and its impact on the error prevention and removal processes are covered in this paper. The results from its use for software development are also discussed." @default.
- W2066339803 created "2016-06-24" @default.
- W2066339803 creator A5023826310 @default.
- W2066339803 date "1987-06-01" @default.
- W2066339803 modified "2023-09-25" @default.
- W2066339803 title "A formal approach to software error removal" @default.
- W2066339803 cites W1992302671 @default.
- W2066339803 cites W2050557669 @default.
- W2066339803 cites W2071112258 @default.
- W2066339803 cites W2079729471 @default.
- W2066339803 cites W2160289223 @default.
- W2066339803 doi "https://doi.org/10.1016/0164-1212(87)90015-x" @default.
- W2066339803 hasPublicationYear "1987" @default.
- W2066339803 type Work @default.
- W2066339803 sameAs 2066339803 @default.
- W2066339803 citedByCount "17" @default.
- W2066339803 countsByYear W20663398032019 @default.
- W2066339803 crossrefType "journal-article" @default.
- W2066339803 hasAuthorship W2066339803A5023826310 @default.
- W2066339803 hasConcept C115903868 @default.
- W2066339803 hasConcept C117447612 @default.
- W2066339803 hasConcept C121332964 @default.
- W2066339803 hasConcept C123551368 @default.
- W2066339803 hasConcept C127094628 @default.
- W2066339803 hasConcept C127413603 @default.
- W2066339803 hasConcept C180152950 @default.
- W2066339803 hasConcept C186846655 @default.
- W2066339803 hasConcept C188329197 @default.
- W2066339803 hasConcept C199360897 @default.
- W2066339803 hasConcept C200601418 @default.
- W2066339803 hasConcept C21547014 @default.
- W2066339803 hasConcept C2777904410 @default.
- W2066339803 hasConcept C41008148 @default.
- W2066339803 hasConcept C48002344 @default.
- W2066339803 hasConcept C529173508 @default.
- W2066339803 hasConcept C62520636 @default.
- W2066339803 hasConcept C75606506 @default.
- W2066339803 hasConceptScore W2066339803C115903868 @default.
- W2066339803 hasConceptScore W2066339803C117447612 @default.
- W2066339803 hasConceptScore W2066339803C121332964 @default.
- W2066339803 hasConceptScore W2066339803C123551368 @default.
- W2066339803 hasConceptScore W2066339803C127094628 @default.
- W2066339803 hasConceptScore W2066339803C127413603 @default.
- W2066339803 hasConceptScore W2066339803C180152950 @default.
- W2066339803 hasConceptScore W2066339803C186846655 @default.
- W2066339803 hasConceptScore W2066339803C188329197 @default.
- W2066339803 hasConceptScore W2066339803C199360897 @default.
- W2066339803 hasConceptScore W2066339803C200601418 @default.
- W2066339803 hasConceptScore W2066339803C21547014 @default.
- W2066339803 hasConceptScore W2066339803C2777904410 @default.
- W2066339803 hasConceptScore W2066339803C41008148 @default.
- W2066339803 hasConceptScore W2066339803C48002344 @default.
- W2066339803 hasConceptScore W2066339803C529173508 @default.
- W2066339803 hasConceptScore W2066339803C62520636 @default.
- W2066339803 hasConceptScore W2066339803C75606506 @default.
- W2066339803 hasIssue "2" @default.
- W2066339803 hasLocation W20663398031 @default.
- W2066339803 hasOpenAccess W2066339803 @default.
- W2066339803 hasPrimaryLocation W20663398031 @default.
- W2066339803 hasRelatedWork W1514039603 @default.
- W2066339803 hasRelatedWork W2085354550 @default.
- W2066339803 hasRelatedWork W2098915451 @default.
- W2066339803 hasRelatedWork W2114303278 @default.
- W2066339803 hasRelatedWork W2125957963 @default.
- W2066339803 hasRelatedWork W2147149038 @default.
- W2066339803 hasRelatedWork W2327815632 @default.
- W2066339803 hasRelatedWork W2352450103 @default.
- W2066339803 hasRelatedWork W2590524814 @default.
- W2066339803 hasRelatedWork W3123267766 @default.
- W2066339803 hasVolume "7" @default.
- W2066339803 isParatext "false" @default.
- W2066339803 isRetracted "false" @default.
- W2066339803 magId "2066339803" @default.
- W2066339803 workType "article" @default.