Matches in SemOpenAlex for { <https://semopenalex.org/work/W70909303> ?p ?o ?g. }
- W70909303 abstract "High assurance systems must guarantee safety, security, fault tolerance and survivability objectives; it is therefore essential that such objectives be made explicit, refined, specified precisely and completely in application-specific terms, interrelated and analyzed thoroughly. The paper argues that goals are an essential abstraction for eliciting, elaborating, modeling, specifying, analyzing, verifying, negotiating and documenting robust and conflict-free requirements for high assurance systems. A safety injection system for a nuclear power plant is used as a running example to illustrate the key role of goals while engineering such requirements." @default.
- W70909303 created "2016-06-24" @default.
- W70909303 creator A5046441603 @default.
- W70909303 creator A5072534170 @default.
- W70909303 date "2002-01-01" @default.
- W70909303 modified "2023-09-26" @default.
- W70909303 title "High Assurance Requires Goal Orientation" @default.
- W70909303 cites W1507959092 @default.
- W70909303 cites W1532585036 @default.
- W70909303 cites W1689761408 @default.
- W70909303 cites W1786578488 @default.
- W70909303 cites W1801320017 @default.
- W70909303 cites W1975565207 @default.
- W70909303 cites W2005001435 @default.
- W70909303 cites W2055647675 @default.
- W70909303 cites W2096266868 @default.
- W70909303 cites W2099529102 @default.
- W70909303 cites W2102785826 @default.
- W70909303 cites W2104577599 @default.
- W70909303 cites W2105539612 @default.
- W70909303 cites W2110701642 @default.
- W70909303 cites W2113435553 @default.
- W70909303 cites W2114775327 @default.
- W70909303 cites W2117818414 @default.
- W70909303 cites W2118926712 @default.
- W70909303 cites W2125708466 @default.
- W70909303 cites W2127159302 @default.
- W70909303 cites W2129580698 @default.
- W70909303 cites W2130560480 @default.
- W70909303 cites W2140796142 @default.
- W70909303 cites W2146191617 @default.
- W70909303 cites W2162118094 @default.
- W70909303 cites W2164022737 @default.
- W70909303 cites W2171627300 @default.
- W70909303 hasPublicationYear "2002" @default.
- W70909303 type Work @default.
- W70909303 sameAs 70909303 @default.
- W70909303 citedByCount "3" @default.
- W70909303 crossrefType "journal-article" @default.
- W70909303 hasAuthorship W70909303A5046441603 @default.
- W70909303 hasAuthorship W70909303A5072534170 @default.
- W70909303 hasConcept C111472728 @default.
- W70909303 hasConcept C112805685 @default.
- W70909303 hasConcept C112930515 @default.
- W70909303 hasConcept C121332964 @default.
- W70909303 hasConcept C124304363 @default.
- W70909303 hasConcept C127413603 @default.
- W70909303 hasConcept C138885662 @default.
- W70909303 hasConcept C144133560 @default.
- W70909303 hasConcept C17744445 @default.
- W70909303 hasConcept C185544564 @default.
- W70909303 hasConcept C18903297 @default.
- W70909303 hasConcept C195094911 @default.
- W70909303 hasConcept C199360897 @default.
- W70909303 hasConcept C199539241 @default.
- W70909303 hasConcept C199776023 @default.
- W70909303 hasConcept C200601418 @default.
- W70909303 hasConcept C201995342 @default.
- W70909303 hasConcept C26517878 @default.
- W70909303 hasConcept C2777904410 @default.
- W70909303 hasConcept C2779979336 @default.
- W70909303 hasConcept C2780795517 @default.
- W70909303 hasConcept C2781133158 @default.
- W70909303 hasConcept C38652104 @default.
- W70909303 hasConcept C41008148 @default.
- W70909303 hasConcept C513653683 @default.
- W70909303 hasConcept C527648132 @default.
- W70909303 hasConcept C6604083 @default.
- W70909303 hasConcept C86803240 @default.
- W70909303 hasConcept C9586889 @default.
- W70909303 hasConceptScore W70909303C111472728 @default.
- W70909303 hasConceptScore W70909303C112805685 @default.
- W70909303 hasConceptScore W70909303C112930515 @default.
- W70909303 hasConceptScore W70909303C121332964 @default.
- W70909303 hasConceptScore W70909303C124304363 @default.
- W70909303 hasConceptScore W70909303C127413603 @default.
- W70909303 hasConceptScore W70909303C138885662 @default.
- W70909303 hasConceptScore W70909303C144133560 @default.
- W70909303 hasConceptScore W70909303C17744445 @default.
- W70909303 hasConceptScore W70909303C185544564 @default.
- W70909303 hasConceptScore W70909303C18903297 @default.
- W70909303 hasConceptScore W70909303C195094911 @default.
- W70909303 hasConceptScore W70909303C199360897 @default.
- W70909303 hasConceptScore W70909303C199539241 @default.
- W70909303 hasConceptScore W70909303C199776023 @default.
- W70909303 hasConceptScore W70909303C200601418 @default.
- W70909303 hasConceptScore W70909303C201995342 @default.
- W70909303 hasConceptScore W70909303C26517878 @default.
- W70909303 hasConceptScore W70909303C2777904410 @default.
- W70909303 hasConceptScore W70909303C2779979336 @default.
- W70909303 hasConceptScore W70909303C2780795517 @default.
- W70909303 hasConceptScore W70909303C2781133158 @default.
- W70909303 hasConceptScore W70909303C38652104 @default.
- W70909303 hasConceptScore W70909303C41008148 @default.
- W70909303 hasConceptScore W70909303C513653683 @default.
- W70909303 hasConceptScore W70909303C527648132 @default.
- W70909303 hasConceptScore W70909303C6604083 @default.
- W70909303 hasConceptScore W70909303C86803240 @default.
- W70909303 hasConceptScore W70909303C9586889 @default.
- W70909303 hasLocation W709093031 @default.