소프트웨어정책연구소

김한성

정보과학회지

2023 .07

Component-based Software Architecture Design Method for Defense Software

이성원 ,  신종환 ,  김태형

Journal of KIISE

2019 .11

소프트웨어 역량의 핵심, 소프트웨어 및 시스템 제품라인

이지현 ,  이단형

정보과학회지

2018 .04

소프트웨어정책연구소 및 주요 연구 소개

안성원

방송과 미디어

2021 .04

DO-178C 인증규격에 따른 소프트웨어 검증계획 수립에 대한 연구

최인호 ,  장재원

한국항공우주학회 학술발표회 초록집

2016 .11

국내 소프트웨어공학의 전문용어 사용: 소프트웨어 안전 분야를 중심으로

이동아

정보과학회지

2022 .05

체계적인 소프트웨어 확인 및 검증 절차를 통한 안전관련 소프트웨어 신뢰도 향상 방안

구서룡 ,  유영제

한국정보과학회 학술발표논문집

2015 .12

철도시스템 소프트웨어의 정량적 신뢰성 예측평가 도구개발

조현정 ,  신경호 ,  신덕호 외 2명

한국철도학회 논문집

2022 .01

소프트웨어 보호를 위한 기술 분석

서재훈 ,  유성민 ,  박유경

한국정보기술학회지

2015 .06

지능형 소프트웨어의 안전성 확보를 위한 정책적 개선 방안

박태형 ,  강상욱

디지털콘텐츠학회논문지

2020 .05

자동 소프트웨어 프로세스 구축을 위한 공개 소프트웨어 툴 체인 연구

이진협 ,  장우성 ,  김영철

한국정보과학회 학술발표논문집

2017 .12

초연결사회와 대학의 소프트웨어 교육

황의철

한국컴퓨터정보학회 학술발표논문집

2016 .01

“소프트웨어 안전과 보안” 특집을 내면서

허준영 ,  박문주

정보과학회지

2017 .02

모델 기반 소프트웨어의 모델 테스트 자동화 방법에 대한 연구

한동건 ,  김연균 ,  윤형식

한국항공우주학회 학술발표회 초록집

2016 .11

“소프트웨어 안전” 특집을 내면서

유준범

정보과학회지

2015 .07

함정 전투체계 체계지원 소프트웨어 표준화에 대한 연구

허영동

한국컴퓨터정보학회논문지

2020 .11

소프트웨어 산업 확대에 따른 소프트웨어 新분류체계 개발 방안 연구

이현선 ,  임춘성 ,  강수경

대한산업공학회 추계학술대회 논문집

2015 .11

소프트웨어 저작권 보호를 위한 정부의 정책방향

유성민

한국정보기술학회지

2015 .06

Shaking table test of liquid storage tank with finite element analysis considering uplift effect

Junwen Zhou ,  Ming Zhao

Structural Engineering and Mechanics, An Int＇l Journal

2021 .01

오픈소스 소프트웨어의 법적 위험을 최소화하기 위한 무기체계 소프트웨어 개발 프로세스 개선 연구

이주현 ,  최진영 ,  김명호

한국정보과학회 학술발표논문집

2016 .06