Matches in SemOpenAlex for { <https://semopenalex.org/work/W2136555272> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W2136555272 endingPage "260" @default.
- W2136555272 startingPage "248" @default.
- W2136555272 abstract "A thorough requirements analysis is indispensable for developing and implementing safety-critical software systems such as nuclear power plant (NPP) software systems because a single error in the requirements can generate serious software faults. However, it is very difficult to completely analyze system requirements. In this paper, an effective technique for the software requirements analysis is suggested. For requirements verification and validation (V&V) tasks, our technique uses software inspection, requirement traceability, and formal specification with structural decomposition. Software inspection and requirements traceability analysis are widely considered the most effective software V&V methods. Although formal methods are also considered an effective V&V activity, they are difficult to use properly in the nuclear fields as well as in other fields because of their mathematical nature. In this work, we propose an integrated environment (IE) approach for requirements, which is an integrated approach that enables easy inspection by combining requirement traceability and effective use of a formal method. The paper also introduces computer-aided tools for supporting IE approach for requirements. Called the nuclear software inspection support and requirements traceability (NuSISRT), the tool incorporates software inspection, requirement traceability, and formal specification capabilities. We designed the NuSISRT to partially automate software inspection and analysis of requirement traceability. In addition, for the formal specification and analysis, we used the formal requirements specification and analysis tool for nuclear engineering (NuSRS)." @default.
- W2136555272 created "2016-06-24" @default.
- W2136555272 creator A5022851404 @default.
- W2136555272 creator A5067230948 @default.
- W2136555272 creator A5076619123 @default.
- W2136555272 creator A5082669916 @default.
- W2136555272 creator A5084114628 @default.
- W2136555272 date "2005-09-01" @default.
- W2136555272 modified "2023-10-14" @default.
- W2136555272 title "An effective technique for the software requirements analysis of NPP safety-critical systems, based on software inspection, requirements traceability, and formal specification" @default.
- W2136555272 cites W1482434736 @default.
- W2136555272 cites W1503170978 @default.
- W2136555272 cites W1534850333 @default.
- W2136555272 cites W1770909200 @default.
- W2136555272 cites W1778175466 @default.
- W2136555272 cites W1985697096 @default.
- W2136555272 cites W1993199715 @default.
- W2136555272 cites W2008726499 @default.
- W2136555272 cites W2099529102 @default.
- W2136555272 cites W2111718887 @default.
- W2136555272 cites W2122086011 @default.
- W2136555272 cites W2132806366 @default.
- W2136555272 cites W2147880466 @default.
- W2136555272 cites W2164261312 @default.
- W2136555272 cites W2177797324 @default.
- W2136555272 doi "https://doi.org/10.1016/j.ress.2004.08.024" @default.
- W2136555272 hasPublicationYear "2005" @default.
- W2136555272 type Work @default.
- W2136555272 sameAs 2136555272 @default.
- W2136555272 citedByCount "5" @default.
- W2136555272 countsByYear W21365552722015 @default.
- W2136555272 crossrefType "journal-article" @default.
- W2136555272 hasAuthorship W2136555272A5022851404 @default.
- W2136555272 hasAuthorship W2136555272A5067230948 @default.
- W2136555272 hasAuthorship W2136555272A5076619123 @default.
- W2136555272 hasAuthorship W2136555272A5082669916 @default.
- W2136555272 hasAuthorship W2136555272A5084114628 @default.
- W2136555272 hasConcept C102780508 @default.
- W2136555272 hasConcept C115903868 @default.
- W2136555272 hasConcept C116253237 @default.
- W2136555272 hasConcept C127413603 @default.
- W2136555272 hasConcept C135475081 @default.
- W2136555272 hasConcept C149091818 @default.
- W2136555272 hasConcept C153876917 @default.
- W2136555272 hasConcept C186846655 @default.
- W2136555272 hasConcept C199360897 @default.
- W2136555272 hasConcept C200601418 @default.
- W2136555272 hasConcept C201995342 @default.
- W2136555272 hasConcept C21547014 @default.
- W2136555272 hasConcept C2777904410 @default.
- W2136555272 hasConcept C35084680 @default.
- W2136555272 hasConcept C41008148 @default.
- W2136555272 hasConcept C48002344 @default.
- W2136555272 hasConcept C54534927 @default.
- W2136555272 hasConcept C59488412 @default.
- W2136555272 hasConcept C62235348 @default.
- W2136555272 hasConcept C75606506 @default.
- W2136555272 hasConceptScore W2136555272C102780508 @default.
- W2136555272 hasConceptScore W2136555272C115903868 @default.
- W2136555272 hasConceptScore W2136555272C116253237 @default.
- W2136555272 hasConceptScore W2136555272C127413603 @default.
- W2136555272 hasConceptScore W2136555272C135475081 @default.
- W2136555272 hasConceptScore W2136555272C149091818 @default.
- W2136555272 hasConceptScore W2136555272C153876917 @default.
- W2136555272 hasConceptScore W2136555272C186846655 @default.
- W2136555272 hasConceptScore W2136555272C199360897 @default.
- W2136555272 hasConceptScore W2136555272C200601418 @default.
- W2136555272 hasConceptScore W2136555272C201995342 @default.
- W2136555272 hasConceptScore W2136555272C21547014 @default.
- W2136555272 hasConceptScore W2136555272C2777904410 @default.
- W2136555272 hasConceptScore W2136555272C35084680 @default.
- W2136555272 hasConceptScore W2136555272C41008148 @default.
- W2136555272 hasConceptScore W2136555272C48002344 @default.
- W2136555272 hasConceptScore W2136555272C54534927 @default.
- W2136555272 hasConceptScore W2136555272C59488412 @default.
- W2136555272 hasConceptScore W2136555272C62235348 @default.
- W2136555272 hasConceptScore W2136555272C75606506 @default.
- W2136555272 hasIssue "3" @default.
- W2136555272 hasLocation W21365552721 @default.
- W2136555272 hasOpenAccess W2136555272 @default.
- W2136555272 hasPrimaryLocation W21365552721 @default.
- W2136555272 hasRelatedWork W1504793549 @default.
- W2136555272 hasRelatedWork W1970989074 @default.
- W2136555272 hasRelatedWork W205967715 @default.
- W2136555272 hasRelatedWork W2114760352 @default.
- W2136555272 hasRelatedWork W2118525283 @default.
- W2136555272 hasRelatedWork W2129168728 @default.
- W2136555272 hasRelatedWork W2136555272 @default.
- W2136555272 hasRelatedWork W2171349443 @default.
- W2136555272 hasRelatedWork W2995590656 @default.
- W2136555272 hasRelatedWork W3170012332 @default.
- W2136555272 hasVolume "89" @default.
- W2136555272 isParatext "false" @default.
- W2136555272 isRetracted "false" @default.
- W2136555272 magId "2136555272" @default.
- W2136555272 workType "article" @default.