결함허용 실시간 소프트웨어 설계를 위한 명세언어

김정술 ,  강병욱

한국산업정보학회논문지

1997 .12

[특집]소프트웨어 결함 허용 측면에서의 결함 허용 실시간 시스템에 관한 고찰

이홍규 ,  이귀영

정보과학회지

1993 .06

요구명세언어 및 요구분석 지원시스템 개발 ( Development of Software Specification Language and Software Requirements Analysis System )

권혁호 ,  김진삼 ,  이문기 외 6명

특정연구 결과 발표회 논문집

1990 .01

소프트웨어 요구명세와 설계 명세간의 부합성 검사

이수영 ,  김진현 ,  안영아 외 5명

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

2004 .10

실시간 분산 소프트웨어의 순차적 동기적 속성의 명세에 관한 연구 ( A Study on Specification of Temporal and Synchronization Property of Real-Time Distributed Software )

김태연 ,  홍성백 ,  이용균

한국통신학회 학술대회논문집

1997 .01

[특집]소프트웨어 결함 허용 기법에 대한 고찰

허신

정보과학회지

1993 .06

저장장치 결함과 소프트웨어의 설계

원유집 ,  김영진

정보과학회지

2007 .06

[特輯]소프트웨어 요구 정의 및 명세를 위한 언어

권용래

정보과학회지

1984 .06

실시간 제어 소프트웨어의 개발 방법 및 설계에 관한 연구

황성환 ,  장유신 ,  원태현 외 1명

한국정밀공학회 학술발표대회 논문집

1998 .05

통신 소프트웨어의 정형적 명세 방안

김태연

한국통신학회 학술대회 및 강연회

1997 .01

STSR의 실시간 내장형 시스템 명세

김진현 ,  최진영

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

2003 .04

결함 허용 시스템 간 이상적 통신방안 연구

구철회

대한전자공학회 학술대회

2003 .07

통신 소프트웨어 개발 환경의 설계 및 명세 작성기의 구현

박휘석 ,  김현수

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

1999 .04

비행조종컴퓨터 소프트웨어 기반 고장허용 설계 기법 연구

윤형식 ,  김연균

한국항공우주학회지

2016 .03

가상 하드웨어 플랫폼을 활용하여 소프트웨어 강건성을 위한 결함주입 시험 방안 연구

이상헌 ,  윤기범 ,  이재민 외 1명

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

2019 .04

소프트웨어의 결함 검출 효과에 관한 연구

김선일 ,  최규식 ,  조인준

한국정보통신학회논문지

2008 .04

「결함허용」 특집을 내면서

유승화 ,  임기욱 ,  홍성제

정보과학회지

1993 .06

결함허용 기법및 구조에 관한 연구

정문상 ,  최형림 ,  이충세

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

1992 .04

XML 기반의 컴포넌트 명세 언어

김원기 ,  안치돈 ,  이윤수 외 1명

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

1999 .10