Matches in SemOpenAlex for { <https://semopenalex.org/work/W2017859190> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2017859190 endingPage "263" @default.
- W2017859190 startingPage "263" @default.
- W2017859190 abstract "In this paper, knowledge representation using Z, a formal notation, is adapted in mapping Fast Breeder Test Reactor (FBTR) requirements. The most frequent cause of faults in safety-critical real-time computer systems is traced to fuzziness in representing requirements knowledge. Pitfalls using a natural language as a medium for representing the system requirements knowledge were analysed and explored. To ensure the specified safety, it is necessary to represent the system requirements of safety-critical real-time computer systems using formal mathematical methods. This removes the fuzziness in communicating knowledge on reactor system requirements. This paper contains the formal mathematical model for requirement specifications of FBTR systems using Z notation. Finally, the advantages of using formal representation for representing system requirements knowledge of FBTR using Z notations to minimise the ambiguity in knowledge communication and thus improve the safety are summarised." @default.
- W2017859190 created "2016-06-24" @default.
- W2017859190 creator A5018885075 @default.
- W2017859190 creator A5030147946 @default.
- W2017859190 creator A5075478206 @default.
- W2017859190 creator A5088753497 @default.
- W2017859190 creator A5089314122 @default.
- W2017859190 date "2009-01-01" @default.
- W2017859190 modified "2023-09-27" @default.
- W2017859190 title "Formal representation of knowledge using Z in fast breeder test reactors" @default.
- W2017859190 cites W1543791701 @default.
- W2017859190 cites W1588335385 @default.
- W2017859190 cites W2104577599 @default.
- W2017859190 cites W2133115779 @default.
- W2017859190 cites W3177710316 @default.
- W2017859190 cites W1569880806 @default.
- W2017859190 doi "https://doi.org/10.1504/ijnkm.2009.027061" @default.
- W2017859190 hasPublicationYear "2009" @default.
- W2017859190 type Work @default.
- W2017859190 sameAs 2017859190 @default.
- W2017859190 citedByCount "0" @default.
- W2017859190 crossrefType "journal-article" @default.
- W2017859190 hasAuthorship W2017859190A5018885075 @default.
- W2017859190 hasAuthorship W2017859190A5030147946 @default.
- W2017859190 hasAuthorship W2017859190A5075478206 @default.
- W2017859190 hasAuthorship W2017859190A5088753497 @default.
- W2017859190 hasAuthorship W2017859190A5089314122 @default.
- W2017859190 hasBestOaLocation W20178591901 @default.
- W2017859190 hasConcept C116915560 @default.
- W2017859190 hasConcept C127313418 @default.
- W2017859190 hasConcept C127413603 @default.
- W2017859190 hasConcept C151730666 @default.
- W2017859190 hasConcept C159985019 @default.
- W2017859190 hasConcept C17744445 @default.
- W2017859190 hasConcept C192562407 @default.
- W2017859190 hasConcept C199539241 @default.
- W2017859190 hasConcept C2776359362 @default.
- W2017859190 hasConcept C2777267654 @default.
- W2017859190 hasConcept C2779261148 @default.
- W2017859190 hasConcept C41008148 @default.
- W2017859190 hasConcept C68815016 @default.
- W2017859190 hasConcept C94625758 @default.
- W2017859190 hasConceptScore W2017859190C116915560 @default.
- W2017859190 hasConceptScore W2017859190C127313418 @default.
- W2017859190 hasConceptScore W2017859190C127413603 @default.
- W2017859190 hasConceptScore W2017859190C151730666 @default.
- W2017859190 hasConceptScore W2017859190C159985019 @default.
- W2017859190 hasConceptScore W2017859190C17744445 @default.
- W2017859190 hasConceptScore W2017859190C192562407 @default.
- W2017859190 hasConceptScore W2017859190C199539241 @default.
- W2017859190 hasConceptScore W2017859190C2776359362 @default.
- W2017859190 hasConceptScore W2017859190C2777267654 @default.
- W2017859190 hasConceptScore W2017859190C2779261148 @default.
- W2017859190 hasConceptScore W2017859190C41008148 @default.
- W2017859190 hasConceptScore W2017859190C68815016 @default.
- W2017859190 hasConceptScore W2017859190C94625758 @default.
- W2017859190 hasIssue "3" @default.
- W2017859190 hasLocation W20178591901 @default.
- W2017859190 hasOpenAccess W2017859190 @default.
- W2017859190 hasPrimaryLocation W20178591901 @default.
- W2017859190 hasRelatedWork W133415016 @default.
- W2017859190 hasRelatedWork W137050569 @default.
- W2017859190 hasRelatedWork W1516678338 @default.
- W2017859190 hasRelatedWork W1517182389 @default.
- W2017859190 hasRelatedWork W1549289070 @default.
- W2017859190 hasRelatedWork W2013370452 @default.
- W2017859190 hasRelatedWork W2093074667 @default.
- W2017859190 hasRelatedWork W2139432664 @default.
- W2017859190 hasRelatedWork W2384999608 @default.
- W2017859190 hasRelatedWork W35728485 @default.
- W2017859190 hasVolume "3" @default.
- W2017859190 isParatext "false" @default.
- W2017859190 isRetracted "false" @default.
- W2017859190 magId "2017859190" @default.
- W2017859190 workType "article" @default.