최소 단어 이상 선택하여야 합니다.
최대 10 단어까지만 선택 가능합니다.
다음과 같은 기능을 한번의 로그인으로 사용 할 수 있습니다.
NTIS 바로가기주관연구기관 | 고려대학교 Korea University |
---|---|
연구책임자 | 최진영 |
보고서유형 | 최종보고서 |
발행국가 | 대한민국 |
언어 | 한국어 |
발행년월 | 2016-12 |
과제시작연도 | 2016 |
주관부처 | 미래창조과학부 Ministry of Science, ICT and Future Planning |
등록번호 | TRKO202100006309 |
과제고유번호 | 1711035221 |
사업명 | 정보통신기술인력양성 |
DB 구축일자 | 2021-07-17 |
키워드 | 고품질 소프트웨어.시큐어 소프트웨어공학.정형 모델 및 정형 검증 도구.기술집약적 소프트웨어 테스팅.소스코드 품질 측정.시큐어 소프트웨어 개발생명 주기.High assurance SW/ Secure SW.Secure SE.Formal Methods Tool.Technology-Oriended Testing.Source code quality matrix.SSDL(Secure SW Development Lifecycle). |
□ 연구목표
연구목표 : 고품질 융합 소프트웨어를 위한 주요 단계 도구 개발
- 고품질 융합 소프트웨어 개발을 주도하는 소프트웨어공학(SE) 고급인력 양성
• 고품질 (Dependable+Trustworthy+Resilient) 소프트웨어 속성을 이해하는 SE 인재
• 고품질 소프트웨어 개발 생명 주기에서 도구 활용 능력이 있는 SE 인재
• 다양한 표준의 고등급 인증을 위한 소프트웨어 개발 프로세스를 수행할 수 있는 SE 인재
• 소프트웨어 개발팀 리더 소양을 갖춘 SE 인재
- 고품질 소프트
Purpose
Research Objective : Development of SW tools used for high assurance SW development life cycle
- Train SW engineers that lead the development of high assurance SW
• SW engineers who understand the properties of high assurance software, which are, dependability, trustworthiness and r
※ AI-Helper는 부적절한 답변을 할 수 있습니다.