지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
이용수
초록
ABSTRACT
1. 서론
2. 설계 및 검증
3. 결론
참고문헌
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
모델기반설계 소프트웨어 신뢰성 검증에 관한 연구
한국항공우주학회 학술발표회 초록집
2015 .11
모델 기반 소프트웨어의 모델 테스트 자동화 방법에 대한 연구
한국항공우주학회 학술발표회 초록집
2016 .11
모델 기반 소프트웨어 개발 방법론에서의 다양한 통신 암호화 코드 생성
한국정보과학회 학술발표논문집
2021 .12
무인기 통합관리컴퓨터의 소프트웨어 통합시험 절차 및 결과에 관한 연구
한국항공우주학회 학술발표회 초록집
2015 .04
Automatic Generation of Secure Communication Code in Model-based Software Development Framework
Journal of KIISE
2022 .09
레거시 소프트웨어의 모델 전환 : 레거시 코드를 테스트 오라클로 활용한 모델 기반 테스트 환경에 관한 연구
한국자동차공학회 춘계학술대회
2018 .06
무인기 비행조종컴퓨터 비행운용프로그램의 소프트웨어시험환경 품질 평가 방안 연구
정보과학회 컴퓨팅의 실제 논문지
2018 .08
A Study on Quality Assurance of Embedded Software Source Codes for Weapon Systems by Improving the Reliability Test Process
Journal of KIISE
2015 .07
자동코드생성을 이용한 달 궤도선 제어 기초연구
한국항공우주학회 학술발표회 초록집
2016 .04
비행소프트웨어 초기화 코드 영역 활용 방식
한국항공우주학회 학술발표회 초록집
2023 .04
비탐침식 소프트웨어 동적시험 자동화 방안 연구
항공우주시스템공학회 학술행사 논문집
2018 .04
코드 생성을 위한 최신 거대언어모델에 대한 조사 연구
정보과학회 컴퓨팅의 실제 논문지
2024 .08
무인기 비행조종컴퓨터 OFP용 소프트웨어시험환경 개발 및 평가
한국정보과학회 학술발표논문집
2017 .12
실용적인 코드 생성을 위한 언어 모델 기반 코드 생성 평가지표 분석
한국정보과학회 학술발표논문집
2024 .06
Best Practices on Software Development and Management Process for the Republic of Korea Army Information System
Journal of KIISE
2020 .10
텍스트 기반 대화형 인공지능 모델에서 생성된 코드의 소프트웨어 보안약점 분석
한국정보과학회 학술발표논문집
2023 .06
무인기용 이중화 비행조종컴퓨터의 고장관리 설계
한국항공우주학회지
2022 .05
소형민수헬기 비행제어법칙의 모델기반설계와 자동코드생성 도구 및 검증 절차 개발
한국항공우주학회 학술발표회 초록집
2020 .11
MBD 기반 무기체계 소프트웨어 개발 프로세스 및 산출물 개선 방안
항공우주시스템공학회 학술행사 논문집
2023 .10
뇌모델
전자공학회지
2018 .11
0