Matches in SemOpenAlex for { <https://semopenalex.org/work/W2049895666> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W2049895666 endingPage "14" @default.
- W2049895666 startingPage "1" @default.
- W2049895666 abstract "This article considers the question of how we may trust automatically generated program code. The code walkthroughs and inspections of software engineering mimic the ways that mathematicians go about assuring themselves that a mathematical proof is true. Mathematicians have difficulty accepting a computer generated proof because they cannot go through the social processes of trusting its construction. Similarly, those involved in accepting a proof of a computer system or computer generated code cannot go through their traditional processes of trust. The process of software verification is bound up in software quality assurance procedures, which are themselves subject to commercial pressures. Quality standards, including military standards, have procedures for human trust designed into them. An action research case study of an avionics system within a military aircraft company illustrates these points, where the software quality assurance (SQA) procedures were incommensurable with the use of automatically generated code." @default.
- W2049895666 created "2016-06-24" @default.
- W2049895666 creator A5061745050 @default.
- W2049895666 creator A5075992025 @default.
- W2049895666 date "2007-10-01" @default.
- W2049895666 modified "2023-09-25" @default.
- W2049895666 title "Trusting Computers Through Trusting Humans" @default.
- W2049895666 cites W1979352897 @default.
- W2049895666 cites W2000499221 @default.
- W2049895666 cites W2019746085 @default.
- W2049895666 cites W2028037544 @default.
- W2049895666 cites W2069712939 @default.
- W2049895666 cites W2161778050 @default.
- W2049895666 doi "https://doi.org/10.4018/jthi.2007100101" @default.
- W2049895666 hasPublicationYear "2007" @default.
- W2049895666 type Work @default.
- W2049895666 sameAs 2049895666 @default.
- W2049895666 citedByCount "3" @default.
- W2049895666 countsByYear W20498956662018 @default.
- W2049895666 countsByYear W20498956662019 @default.
- W2049895666 countsByYear W20498956662023 @default.
- W2049895666 crossrefType "journal-article" @default.
- W2049895666 hasAuthorship W2049895666A5061745050 @default.
- W2049895666 hasAuthorship W2049895666A5075992025 @default.
- W2049895666 hasConcept C106436119 @default.
- W2049895666 hasConcept C107457646 @default.
- W2049895666 hasConcept C111472728 @default.
- W2049895666 hasConcept C115903868 @default.
- W2049895666 hasConcept C117447612 @default.
- W2049895666 hasConcept C121332964 @default.
- W2049895666 hasConcept C127413603 @default.
- W2049895666 hasConcept C137287247 @default.
- W2049895666 hasConcept C138885662 @default.
- W2049895666 hasConcept C146978453 @default.
- W2049895666 hasConcept C15792166 @default.
- W2049895666 hasConcept C177264268 @default.
- W2049895666 hasConcept C199360897 @default.
- W2049895666 hasConcept C21547014 @default.
- W2049895666 hasConcept C2776760102 @default.
- W2049895666 hasConcept C2776969324 @default.
- W2049895666 hasConcept C2777904410 @default.
- W2049895666 hasConcept C2778618615 @default.
- W2049895666 hasConcept C2779530757 @default.
- W2049895666 hasConcept C2780791683 @default.
- W2049895666 hasConcept C38652104 @default.
- W2049895666 hasConcept C41008148 @default.
- W2049895666 hasConcept C43126263 @default.
- W2049895666 hasConcept C529173508 @default.
- W2049895666 hasConcept C62520636 @default.
- W2049895666 hasConcept C98045186 @default.
- W2049895666 hasConceptScore W2049895666C106436119 @default.
- W2049895666 hasConceptScore W2049895666C107457646 @default.
- W2049895666 hasConceptScore W2049895666C111472728 @default.
- W2049895666 hasConceptScore W2049895666C115903868 @default.
- W2049895666 hasConceptScore W2049895666C117447612 @default.
- W2049895666 hasConceptScore W2049895666C121332964 @default.
- W2049895666 hasConceptScore W2049895666C127413603 @default.
- W2049895666 hasConceptScore W2049895666C137287247 @default.
- W2049895666 hasConceptScore W2049895666C138885662 @default.
- W2049895666 hasConceptScore W2049895666C146978453 @default.
- W2049895666 hasConceptScore W2049895666C15792166 @default.
- W2049895666 hasConceptScore W2049895666C177264268 @default.
- W2049895666 hasConceptScore W2049895666C199360897 @default.
- W2049895666 hasConceptScore W2049895666C21547014 @default.
- W2049895666 hasConceptScore W2049895666C2776760102 @default.
- W2049895666 hasConceptScore W2049895666C2776969324 @default.
- W2049895666 hasConceptScore W2049895666C2777904410 @default.
- W2049895666 hasConceptScore W2049895666C2778618615 @default.
- W2049895666 hasConceptScore W2049895666C2779530757 @default.
- W2049895666 hasConceptScore W2049895666C2780791683 @default.
- W2049895666 hasConceptScore W2049895666C38652104 @default.
- W2049895666 hasConceptScore W2049895666C41008148 @default.
- W2049895666 hasConceptScore W2049895666C43126263 @default.
- W2049895666 hasConceptScore W2049895666C529173508 @default.
- W2049895666 hasConceptScore W2049895666C62520636 @default.
- W2049895666 hasConceptScore W2049895666C98045186 @default.
- W2049895666 hasIssue "4" @default.
- W2049895666 hasLocation W20498956661 @default.
- W2049895666 hasOpenAccess W2049895666 @default.
- W2049895666 hasPrimaryLocation W20498956661 @default.
- W2049895666 hasRelatedWork W2064613179 @default.
- W2049895666 hasRelatedWork W2087904073 @default.
- W2049895666 hasRelatedWork W2098728936 @default.
- W2049895666 hasRelatedWork W2206096527 @default.
- W2049895666 hasRelatedWork W2969111742 @default.
- W2049895666 hasRelatedWork W3196568648 @default.
- W2049895666 hasRelatedWork W4221167733 @default.
- W2049895666 hasRelatedWork W4312815112 @default.
- W2049895666 hasRelatedWork W4381247935 @default.
- W2049895666 hasRelatedWork W4385489206 @default.
- W2049895666 hasVolume "3" @default.
- W2049895666 isParatext "false" @default.
- W2049895666 isRetracted "false" @default.
- W2049895666 magId "2049895666" @default.
- W2049895666 workType "article" @default.