1 |
S. Y. Han, J. U. Kim, Y. C. Choi,"A Study on the Development of Systems Engineering Application Model for LRT Based on MBSE," Journal of the Korea Society of Systems Engineering, Vol. 8, No. 1, pp. 9-19, 2012.
DOI
|
2 |
S. Y. Han, J. U. Kim, J. H. Baek,"A study on the Systems Engineering Process for effectively carrying out LRT project," Trans. of the KSME(C), Vol. 1, No. 1, pp. 139-145, 2013. DOI: http://dx.doi.org/10.3795/ksme-c.2013.1.1.139
DOI
|
3 |
KS X ISO/IEC 15288,"Systems and software engineering-System life cycle process," 2009.
|
4 |
Martin JS, Systems Engineering Guidebook: A Process for Developing Systems and Products, Crc press, 1996.
|
5 |
KS X ISO/IEC 9126-1"Software engineering - Product quality - Part 1: Quality model," 2011.
|
6 |
Team S. C. P., CMMI For Development v1.3, Lulu.com, 2010.
|
7 |
M. G. Park, Y. J. Choi,"Model Checking Tools for Software Safety Verification," Communications of The Korea Information Scientists and Engineer, Vol. 32 No. 4, pp. 51-58, 2014.
|
8 |
D. H. Kum, J. K. Son, J. W. Son, M. J. Kim, "Automotive Embedded System Software Development and Validation with AUTOSAR and Model-based Approach," Journal of Control, Automation, and Systems Engineering Vol. 13, No. 12, pp. 1179-1185, 2007. DOI: http://dx.doi.org/10.5302/J.ICROS.2007.13.12.1179
DOI
|
9 |
J. B. Park, H. S. Yang,"Quality Evaluation Method of Open Source Software," Journal of the Korea Academia-Industrial cooperation Society, Vol. 13, No. 5, pp. 2353-2359, 2012. DOI: http://dx.doi.org/10.5762/KAIS.2012.13.5.2353
DOI
|
10 |
S. Y. Han, J. U. Kim, Y. C. Choi,"A Study on the Verification of Systems Engineering Application Model for LRT Project," Trans. Korean Soc. Mech. Eng, pp. 113, 2015.
|
11 |
INCOSE,"INCOSE Systems Engineering Handbook Ver.3.2," p.123-129, 2010.
|
12 |
J. W. Seo, Y. T. Kim, H. T. Kong, J. H. Lim and C. S. Kim,"A Method based on Ontology for detecting errors in the Software Design," Journal of the Korea Academia-Industrial cooperation society, Vol. 10, No. 10, pp. 2676-2683, 2009. DOI: http://dx.doi.org/10.5762/KAIS.2009.10.10.2676
DOI
|
13 |
C. J. Kim,"An Automated Verification Technique for Enhancing Quality of Requirement," Journal of the Korea Academia-Industrial cooperation Society, Vol. 13, No. 9, pp. 4207-4213, 2012. DOI: http://dx.doi.org/10.5762/KAIS.2012.13.9.4207
DOI
|