Matches in SemOpenAlex for { <https://semopenalex.org/work/W4242978889> ?p ?o ?g. }
Showing items 1 to 54 of
54
with 100 items per page.
- W4242978889 endingPage "50" @default.
- W4242978889 startingPage "49" @default.
- W4242978889 abstract "If the use of Ada (or SPARK or some other tool) increases our confidence in the behavior of high integrity software systems, why does it do so? What do we mean by confidence, and what is a justified basis for asserting some level of confidence? In this talk, I'll address some recent research on the potential value of thinking about confidence in terms of eliminative induction, assurance cases, and confidence maps." @default.
- W4242978889 created "2022-05-12" @default.
- W4242978889 creator A5088016695 @default.
- W4242978889 date "2013-11-10" @default.
- W4242978889 modified "2023-09-26" @default.
- W4242978889 title "Building confidence in system behavior" @default.
- W4242978889 doi "https://doi.org/10.1145/2658982.2527292" @default.
- W4242978889 hasPublicationYear "2013" @default.
- W4242978889 type Work @default.
- W4242978889 citedByCount "0" @default.
- W4242978889 crossrefType "journal-article" @default.
- W4242978889 hasAuthorship W4242978889A5088016695 @default.
- W4242978889 hasConcept C105795698 @default.
- W4242978889 hasConcept C119857082 @default.
- W4242978889 hasConcept C15744967 @default.
- W4242978889 hasConcept C199360897 @default.
- W4242978889 hasConcept C2776291640 @default.
- W4242978889 hasConcept C2781215313 @default.
- W4242978889 hasConcept C2909755999 @default.
- W4242978889 hasConcept C33923547 @default.
- W4242978889 hasConcept C41008148 @default.
- W4242978889 hasConcept C44249647 @default.
- W4242978889 hasConcept C77805123 @default.
- W4242978889 hasConceptScore W4242978889C105795698 @default.
- W4242978889 hasConceptScore W4242978889C119857082 @default.
- W4242978889 hasConceptScore W4242978889C15744967 @default.
- W4242978889 hasConceptScore W4242978889C199360897 @default.
- W4242978889 hasConceptScore W4242978889C2776291640 @default.
- W4242978889 hasConceptScore W4242978889C2781215313 @default.
- W4242978889 hasConceptScore W4242978889C2909755999 @default.
- W4242978889 hasConceptScore W4242978889C33923547 @default.
- W4242978889 hasConceptScore W4242978889C41008148 @default.
- W4242978889 hasConceptScore W4242978889C44249647 @default.
- W4242978889 hasConceptScore W4242978889C77805123 @default.
- W4242978889 hasIssue "3" @default.
- W4242978889 hasLocation W42429788891 @default.
- W4242978889 hasOpenAccess W4242978889 @default.
- W4242978889 hasPrimaryLocation W42429788891 @default.
- W4242978889 hasRelatedWork W1899429405 @default.
- W4242978889 hasRelatedWork W1973036726 @default.
- W4242978889 hasRelatedWork W202871116 @default.
- W4242978889 hasRelatedWork W2066458123 @default.
- W4242978889 hasRelatedWork W2113937888 @default.
- W4242978889 hasRelatedWork W2401903608 @default.
- W4242978889 hasRelatedWork W2748952813 @default.
- W4242978889 hasRelatedWork W2899084033 @default.
- W4242978889 hasRelatedWork W2995364151 @default.
- W4242978889 hasRelatedWork W797163146 @default.
- W4242978889 hasVolume "33" @default.
- W4242978889 isParatext "false" @default.
- W4242978889 isRetracted "false" @default.
- W4242978889 workType "article" @default.