Matches in SemOpenAlex for { <https://semopenalex.org/work/W330135473> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W330135473 abstract "We develop the foundations for a theory of patterns of safety case argument structures, clarifying the concepts involved in pattern specification, including choices, labeling, and well-founded recursion. We specify six new patterns in addition to those existing in the literature. We give a generic way to specify the data required to instantiate patterns and a generic algorithm for their instantiation. This generalizes earlier work on generating argument fragments from requirements tables. We describe an implementation of these concepts in AdvoCATE, the Assurance Case Automation Toolset, showing how patterns are defined and can be instantiated. In particular, we describe how our extended notion of patterns can be specified, how they can be instantiated in an interactive manner, and, finally, how they can be automatically instantiated using our algorithm." @default.
- W330135473 created "2016-06-24" @default.
- W330135473 creator A5014708948 @default.
- W330135473 creator A5080728870 @default.
- W330135473 date "2015-02-01" @default.
- W330135473 modified "2023-09-23" @default.
- W330135473 title "Safety Case Patterns: Theory and Applications" @default.
- W330135473 cites W141099830 @default.
- W330135473 cites W1498923079 @default.
- W330135473 cites W1577192775 @default.
- W330135473 cites W177970991 @default.
- W330135473 cites W1855492256 @default.
- W330135473 cites W1880957727 @default.
- W330135473 cites W1990276755 @default.
- W330135473 cites W2122946642 @default.
- W330135473 cites W2132527380 @default.
- W330135473 cites W2144814285 @default.
- W330135473 cites W2170178247 @default.
- W330135473 cites W2174752030 @default.
- W330135473 cites W2258135661 @default.
- W330135473 cites W804966506 @default.
- W330135473 cites W29888434 @default.
- W330135473 hasPublicationYear "2015" @default.
- W330135473 type Work @default.
- W330135473 sameAs 330135473 @default.
- W330135473 citedByCount "4" @default.
- W330135473 countsByYear W3301354732016 @default.
- W330135473 countsByYear W3301354732017 @default.
- W330135473 crossrefType "journal-article" @default.
- W330135473 hasAuthorship W330135473A5014708948 @default.
- W330135473 hasAuthorship W330135473A5080728870 @default.
- W330135473 hasConcept C168773036 @default.
- W330135473 hasConcept C185592680 @default.
- W330135473 hasConcept C199360897 @default.
- W330135473 hasConcept C41008148 @default.
- W330135473 hasConcept C55493867 @default.
- W330135473 hasConcept C80444323 @default.
- W330135473 hasConcept C98184364 @default.
- W330135473 hasConceptScore W330135473C168773036 @default.
- W330135473 hasConceptScore W330135473C185592680 @default.
- W330135473 hasConceptScore W330135473C199360897 @default.
- W330135473 hasConceptScore W330135473C41008148 @default.
- W330135473 hasConceptScore W330135473C55493867 @default.
- W330135473 hasConceptScore W330135473C80444323 @default.
- W330135473 hasConceptScore W330135473C98184364 @default.
- W330135473 hasLocation W3301354731 @default.
- W330135473 hasOpenAccess W330135473 @default.
- W330135473 hasPrimaryLocation W3301354731 @default.
- W330135473 hasRelatedWork W1522460418 @default.
- W330135473 hasRelatedWork W1579656650 @default.
- W330135473 hasRelatedWork W1619329085 @default.
- W330135473 hasRelatedWork W1996177675 @default.
- W330135473 hasRelatedWork W2016857038 @default.
- W330135473 hasRelatedWork W2035327213 @default.
- W330135473 hasRelatedWork W2038897685 @default.
- W330135473 hasRelatedWork W2044050077 @default.
- W330135473 hasRelatedWork W2051269170 @default.
- W330135473 hasRelatedWork W2067136551 @default.
- W330135473 hasRelatedWork W2093830757 @default.
- W330135473 hasRelatedWork W2144814285 @default.
- W330135473 hasRelatedWork W2155167198 @default.
- W330135473 hasRelatedWork W2155470742 @default.
- W330135473 hasRelatedWork W2165062385 @default.
- W330135473 hasRelatedWork W2179298113 @default.
- W330135473 hasRelatedWork W2258135661 @default.
- W330135473 hasRelatedWork W2552398802 @default.
- W330135473 hasRelatedWork W2992642797 @default.
- W330135473 hasRelatedWork W815652712 @default.
- W330135473 isParatext "false" @default.
- W330135473 isRetracted "false" @default.
- W330135473 magId "330135473" @default.
- W330135473 workType "article" @default.