DC Field | Value | Language |
---|---|---|
dc.contributor.author | Yoo, J | ko |
dc.contributor.author | Kim, T | ko |
dc.contributor.author | Cha, Sungdeok | ko |
dc.contributor.author | Lee, JS | ko |
dc.contributor.author | Son, HS | ko |
dc.date.accessioned | 2013-03-06T23:32:08Z | - |
dc.date.available | 2013-03-06T23:32:08Z | - |
dc.date.created | 2012-02-06 | - |
dc.date.created | 2012-02-06 | - |
dc.date.issued | 2005-01 | - |
dc.identifier.citation | JOURNAL OF SYSTEMS AND SOFTWARE, v.74, no.1, pp.73 - 83 | - |
dc.identifier.issn | 0164-1212 | - |
dc.identifier.uri | http://hdl.handle.net/10203/88822 | - |
dc.description.abstract | This article describes NuSCR, a formal software requirements specification method for digital plant protection system in nuclear power plants. NuSCR improves the readability and specifiability by providing graphical or tabular notations depending on the type of operations. NuSCR specifications can be formally analyzed for completeness, consistency, and against the properties specified in temporal logic. We introduce the syntax and semantics of NuSCR and demonstrate the effectiveness of the approach using reactor protection system, digital protection system being developed in Korea, as a case study. (C) 2003 Elsevier Inc. All rights reserved. | - |
dc.language | English | - |
dc.publisher | Elsevier Science Inc | - |
dc.title | A formal software requirements specification method for digital nuclear plant protection system | - |
dc.type | Article | - |
dc.identifier.wosid | 000224708100009 | - |
dc.identifier.scopusid | 2-s2.0-4944251718 | - |
dc.type.rims | ART | - |
dc.citation.volume | 74 | - |
dc.citation.issue | 1 | - |
dc.citation.beginningpage | 73 | - |
dc.citation.endingpage | 83 | - |
dc.citation.publicationname | JOURNAL OF SYSTEMS AND SOFTWARE | - |
dc.identifier.doi | 10.1016/j.jss.2003.10.018 | - |
dc.contributor.nonIdAuthor | Yoo, J | - |
dc.contributor.nonIdAuthor | Kim, T | - |
dc.contributor.nonIdAuthor | Lee, JS | - |
dc.contributor.nonIdAuthor | Son, HS | - |
dc.type.journalArticle | Article | - |
dc.subject.keywordAuthor | formal specification | - |
dc.subject.keywordAuthor | software requirements | - |
dc.subject.keywordAuthor | digital plant protection system | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.