지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
이용수
등록된 정보가 없습니다.
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
체계적인 소프트웨어 확인 및 검증 절차를 통한 안전관련 소프트웨어 신뢰도 향상 방안
한국정보과학회 학술발표논문집
2015 .12
Component-based Software Architecture Design Method for Defense Software
Journal of KIISE
2019 .11
DO-178C(항공용 소프트웨어 감항인증)에 적합한 정적분석을 활용한 소프트웨어 동적시험 프로세스 구축 사례 연구
한국항공우주학회 학술발표회 초록집
2016 .04
소프트웨어 역량의 핵심, 소프트웨어 및 시스템 제품라인
정보과학회지
2018 .04
철도시스템 소프트웨어의 정량적 신뢰성 예측평가 도구개발
한국철도학회 논문집
2022 .01
소프트웨어 보호를 위한 기술 분석
한국정보기술학회지
2015 .06
부품국산화 소프트웨어 감항영향성 검토 방안 연구
항공우주시스템공학회 학술행사 논문집
2023 .10
“소프트웨어 안전” 특집을 내면서
정보과학회지
2015 .07
종속적 결함을 고려한 소프트웨어 신뢰성 모형에 관한 연구
한국신뢰성학회 학술대회논문집
2021 .11
항공소프트웨어 안전성 검증을 위한 강건성 테스팅 방안
한국항공우주학회 학술발표회 초록집
2023 .04
모델검증을 활용한 자가-적응 소프트웨어 검증 및 전략 추출 방법
한국정보과학회 학술발표논문집
2015 .12
소프트웨어 산업 확대에 따른 소프트웨어 新분류체계 개발 방안 연구
대한산업공학회 추계학술대회 논문집
2015 .11
국내 소프트웨어공학의 전문용어 사용: 소프트웨어 안전 분야를 중심으로
정보과학회지
2022 .05
“소프트웨어 검증” 특집을 내면서
정보과학회지
2019 .04
철도차량용 소프트웨어 소스코드 검증방안 연구
한국철도학회 학술발표대회논문집
2015 .05
항공무기체계 운용 간 소프트웨어 고장 이력을 활용한 소프트웨어 신뢰도 예측 및 추정모델 적합성 검증
항공우주시스템공학회 학술행사 논문집
2017 .04
자동 소프트웨어 프로세스 구축을 위한 공개 소프트웨어 툴 체인 연구
한국정보과학회 학술발표논문집
2017 .12
소프트웨어 저작권 보호를 위한 정부의 정책방향
한국정보기술학회지
2015 .06
BIM기반 품질검토 소프트웨어 신뢰도 향상을 위한 방안 제안
대한건축학회 학술발표대회 논문집
2015 .10
함정 전투체계 체계지원 소프트웨어 표준화에 대한 연구
한국컴퓨터정보학회논문지
2020 .11
0