최소 단어 이상 선택하여야 합니다.
최대 10 단어까지만 선택 가능합니다.
다음과 같은 기능을 한번의 로그인으로 사용 할 수 있습니다.
NTIS 바로가기정보과학회논문지 = Journal of KIISE, v.44 no.9, 2017년, pp.893 - 907
임혜선 (아주대학교 소프트웨어특성화학과) , 이석원 (아주대학교 소프트웨어학과)
In safety-critical systems, software defects may have serious consequences. Therefore, defects should be considered during the requirements specification process, which is the first step of a software development lifecycle. Stakeholder requirements that are usually written in natural language are di...
JungKi Kim, (2016, Jul. 02) [Online]. Available: http://news.sbs.co.kr/news/endPage.do?news_idN1003657708, (Accessed 2017 Jan 05).
UiSik Jung, (2016, Sep. 12) [Online]. Available: http://m.moneys.news/view.html?no2016091218288051374&mtypeeconomy&msubtypeindustry#cb, (Accessed 2017 Jan 05).
Cigniti Technologies, "3 Excellent Reasons Why To Invest In A TCoE," [Online]. Available: http://www.cigniti.com/ blog/test-center-of-excellence/, Accessed 05 01 2017.
Steave Gandy, "Safety Requirements Specifications (SRS): The Good and the Bad," [Online]. Available: http://www.exida.com/Blog/safety-requirements-specifications-srs-the-good-and-the-bad, Accessed 05 01 2017.
Berry, Daniel M., "Ambiguity in natural language requirements documents," Monterey Workshop, Springer Berlin Heidelberg, pp. 1-7, 2007.
Wing, Jeannette M., "A specifier's introduction to formal methods," Computer, Vol. 23, No. 9, pp. 8-22, 1990.
Firesmith, Donald G., "A taxonomy of safety-related requirements," International Workshop on High Assurance Systems (RHAS'05), 2005.
Hansen, Kirsten M., Anders P. Ravn, and Victoria Stavridou, "From safety analysis to software requirements," IEEE Transactions on Software Engineering, Vol. 24, No. 7, pp. 573-584, 1998.
"ISO 26262-9:2011," [Online]. Available: http://www.iso.org/iso/catalogue_detail?csnumber51365, Accesssed 05 01 2017.
Seoungike Yang, Namhee Lee, "The Case Study of ISO26262 Product Requirements Analysis Applying Requirements Engineering," KSAE, Vol. 2012, No. 11, pp. 2609-2615, 2012.
Firesmith, Donald, "Engineering Safety and Security Related Requirements for Software Intensive Systems," ICSE Companion, pp. 169, 2007.
Withall, Stephen, Software requirement patterns, Pearson Education, 2007.
Tommila, Teemu, and Antti Pakonen, "Controlled natural language requirements in the design and analysis of safety critical I&C Systems," SAFIR 2014 Reference group 2, 2014.
Yang, Hui, et al., "Analysing anaphoric ambiguity in natural language requirements," Requirements engineering, Vol. 16, No. 3, pp. 163-189, 2011.
KOF, Leonid, et al., "Ontology and model alignment as a means for requirements validation, In: Semantic Computing (ICSC)," 2010 IEEE Fourth International Conference on. IEEE, pp. 46-51, 2010.
Harel, David, and Amnon Naamad, "The STATEMATE semantics of statecharts," ACM Transactions on Software Engineering and Methodology (TOSEM), Vol, 5. No. 4, pp. 293-333, 1996.
Spivey, J. Michael, "The Z notation: a reference manual, International Series in Computer Science," 1992.
A. Mavin, "Using EARS+ (Easy Approach to Requirements Syntax Plus) to vary the level of detail in Natural Language requirements," Tutorial sessions at Requirement Engineering Conference, 2012.
SunYoung Cho, SangHun Cho, "Requirements Based Testing Technology for Developement of Automotive E/E," KSAE, Vol. 2012, No. 11, pp. 1484-1490, 2012.
V. Johannessen, "CESAR - text vs. boilerplates," [Online]. Available: http://www.diva-portal.org/smash/get/diva2:566314/FULLTEXT01.pdf, Accessed 02 09 2016.
Attwood, Katrina, et al., "GSN community standard version 1," Origin Consulting Limited, York, Nov. 2011.
DNV, "DNV-Underwater Deployment and Recovery Systems," [Online]. Available: https://rules.dnvgl.com/docs/pdf/DNV/codes/docs/2012-10/Os-E407.pdf., Accessed 15 11 2016.
Kelly, Tim, and Rob Weaver, "The goal structuring notation-a safety argument notation," Proc. of the dependable systems and networks 2004 workshop on assurance cases, 2004.
DXLine, "Driverless System," [Online]. Available: http://www.shinbundang.co.kr/index.jsp., Accessed 26 11 2016.
Hyesun Lim, SeokWon Lee, "Proposal for Requirement verification and integration specification in the Safety Critical System," KCSE, Vol. 18, No. 1, 2016.
About Hyundai, "#58, BSD," [Online]. Available:http://blog.hyundai.com/1793, Accessed 11 11 2016.
Lee, S. W., & Rine, D. C. (2004). Case Study Methodology Designed Research in Software Engineering Methodology Validation, In SEKE, pp. 117-122, 2004.
M. Shuttleworth, "EXPLORABLE-Counterbalanced Measures Design," [Online]. Available: https://explorable.com/counterbalanced-measures-design., Accessed 11 12 2016.
Renault Samsung, "Better & Different," [Online]. Available: http://blog.renaultsamsungm.com/category/Motors/Better%20%26%20Different, Accessed 11 12 2016.
Energyplanet, "Energyplanet," [Online]. Available: http://blog.naver.com/energyplanet., Accessed: 30 09 2016.
CNSC, "Canadian Nuclear Safety Commission," Available: https://www.cnsc-ccsn.gc.ca/eng/reactors/power-plants/nuclear-power-plant-safety-systems/index.cfm., Accessed 30 09 2016.
I. S. Standard, "Safety of Nuclear Power Plants: Design," IAEA, 2012.
*원문 PDF 파일 및 링크정보가 존재하지 않을 경우 KISTI DDS 시스템에서 제공하는 원문복사서비스를 사용할 수 있습니다.
※ AI-Helper는 부적절한 답변을 할 수 있습니다.