최소 단어 이상 선택하여야 합니다.
최대 10 단어까지만 선택 가능합니다.
다음과 같은 기능을 한번의 로그인으로 사용 할 수 있습니다.
NTIS 바로가기주관연구기관 | 고려대학교 산학협력단 Korea University |
---|---|
보고서유형 | 연차보고서 |
발행국가 | 대한민국 |
언어 | 한국어 |
발행년월 | 2015-12 |
과제시작연도 | 2015 |
주관부처 | 미래창조과학부 Ministry of Science, ICT and Future Planning |
등록번호 | TRKO201600002768 |
과제고유번호 | 1711026372 |
사업명 | 정보통신기술인력양성 |
DB 구축일자 | 2016-06-04 |
키워드 | 고품질 소프트웨어.시큐어 소프트웨어공학.정형 모델 및 정형 검증 도구.기술집약적 소프트웨어 테스팅.소스코드 품질 측정.시큐어 소프트웨어 개발생명주기.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, an
※ AI-Helper는 부적절한 답변을 할 수 있습니다.