Matches in SemOpenAlex for { <https://semopenalex.org/work/W136196610> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W136196610 abstract "Industry and academia have attacked this problem in many different ways, demonstrating concretely that the use of techniques such as systematic design processes, rigorous testing, or formal methods can each contribute significantly to increased reliability, security, and trustworthiness. There are obviously some significant differences between these techniques, but there is also a unifying feature: each one results in some tangible form of evidence that provides a basis for trust. Examples of such evidence include a record of the meeting where a code review was conducted, the set of test cases to which an application was subjected, or a formal proof that establishes the validity of a critical property." @default.
- W136196610 created "2016-06-24" @default.
- W136196610 creator A5031477439 @default.
- W136196610 creator A5032823542 @default.
- W136196610 creator A5053178014 @default.
- W136196610 creator A5074426318 @default.
- W136196610 date "2004-01-01" @default.
- W136196610 modified "2023-09-27" @default.
- W136196610 title "An Overview of the Programatica Toolset" @default.
- W136196610 cites W1493688518 @default.
- W136196610 cites W1532865120 @default.
- W136196610 cites W1556536463 @default.
- W136196610 cites W1586367033 @default.
- W136196610 cites W1594279870 @default.
- W136196610 cites W177558105 @default.
- W136196610 cites W2119717320 @default.
- W136196610 cites W2130923781 @default.
- W136196610 cites W2141759034 @default.
- W136196610 cites W29273864 @default.
- W136196610 cites W2486380360 @default.
- W136196610 hasPublicationYear "2004" @default.
- W136196610 type Work @default.
- W136196610 sameAs 136196610 @default.
- W136196610 citedByCount "6" @default.
- W136196610 countsByYear W1361966102015 @default.
- W136196610 countsByYear W1361966102018 @default.
- W136196610 crossrefType "journal-article" @default.
- W136196610 hasAuthorship W136196610A5031477439 @default.
- W136196610 hasAuthorship W136196610A5032823542 @default.
- W136196610 hasAuthorship W136196610A5053178014 @default.
- W136196610 hasAuthorship W136196610A5074426318 @default.
- W136196610 hasConcept C111472728 @default.
- W136196610 hasConcept C115903868 @default.
- W136196610 hasConcept C121332964 @default.
- W136196610 hasConcept C138885662 @default.
- W136196610 hasConcept C151730666 @default.
- W136196610 hasConcept C153701036 @default.
- W136196610 hasConcept C163258240 @default.
- W136196610 hasConcept C177264268 @default.
- W136196610 hasConcept C189950617 @default.
- W136196610 hasConcept C199360897 @default.
- W136196610 hasConcept C2522767166 @default.
- W136196610 hasConcept C2776401178 @default.
- W136196610 hasConcept C2776760102 @default.
- W136196610 hasConcept C2777267654 @default.
- W136196610 hasConcept C38652104 @default.
- W136196610 hasConcept C41008148 @default.
- W136196610 hasConcept C41895202 @default.
- W136196610 hasConcept C43214815 @default.
- W136196610 hasConcept C62520636 @default.
- W136196610 hasConcept C75606506 @default.
- W136196610 hasConcept C86803240 @default.
- W136196610 hasConceptScore W136196610C111472728 @default.
- W136196610 hasConceptScore W136196610C115903868 @default.
- W136196610 hasConceptScore W136196610C121332964 @default.
- W136196610 hasConceptScore W136196610C138885662 @default.
- W136196610 hasConceptScore W136196610C151730666 @default.
- W136196610 hasConceptScore W136196610C153701036 @default.
- W136196610 hasConceptScore W136196610C163258240 @default.
- W136196610 hasConceptScore W136196610C177264268 @default.
- W136196610 hasConceptScore W136196610C189950617 @default.
- W136196610 hasConceptScore W136196610C199360897 @default.
- W136196610 hasConceptScore W136196610C2522767166 @default.
- W136196610 hasConceptScore W136196610C2776401178 @default.
- W136196610 hasConceptScore W136196610C2776760102 @default.
- W136196610 hasConceptScore W136196610C2777267654 @default.
- W136196610 hasConceptScore W136196610C38652104 @default.
- W136196610 hasConceptScore W136196610C41008148 @default.
- W136196610 hasConceptScore W136196610C41895202 @default.
- W136196610 hasConceptScore W136196610C43214815 @default.
- W136196610 hasConceptScore W136196610C62520636 @default.
- W136196610 hasConceptScore W136196610C75606506 @default.
- W136196610 hasConceptScore W136196610C86803240 @default.
- W136196610 hasLocation W1361966101 @default.
- W136196610 hasOpenAccess W136196610 @default.
- W136196610 hasPrimaryLocation W1361966101 @default.
- W136196610 hasRelatedWork W1501347099 @default.
- W136196610 hasRelatedWork W1544935502 @default.
- W136196610 hasRelatedWork W1545136316 @default.
- W136196610 hasRelatedWork W175859152 @default.
- W136196610 hasRelatedWork W1966174363 @default.
- W136196610 hasRelatedWork W1982736558 @default.
- W136196610 hasRelatedWork W2059895047 @default.
- W136196610 hasRelatedWork W206171434 @default.
- W136196610 hasRelatedWork W2086127849 @default.
- W136196610 hasRelatedWork W2101552711 @default.
- W136196610 hasRelatedWork W2119717320 @default.
- W136196610 hasRelatedWork W2154496702 @default.
- W136196610 hasRelatedWork W2167084266 @default.
- W136196610 hasRelatedWork W2187275353 @default.
- W136196610 hasRelatedWork W2517158882 @default.
- W136196610 hasRelatedWork W2765894269 @default.
- W136196610 hasRelatedWork W2956993847 @default.
- W136196610 hasRelatedWork W3000471247 @default.
- W136196610 hasRelatedWork W3080405556 @default.
- W136196610 hasRelatedWork W2181981369 @default.
- W136196610 isParatext "false" @default.
- W136196610 isRetracted "false" @default.
- W136196610 magId "136196610" @default.
- W136196610 workType "article" @default.