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

김정술 ,  강병욱

한국산업정보학회 학술대회논문집

1997 .11

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

이홍규 ,  이귀영

정보과학회지

1993 .06

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

허신

정보과학회지

1993 .06

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

권용래

정보과학회지

1984 .06

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

유승화 ,  임기욱 ,  홍성제

정보과학회지

1993 .06

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

김진현 ,  최진영

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

2003 .04

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

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

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

1999 .10

[특집]결함 허용 소프트웨어의 신뢰도 모델링 기법

양승민

정보과학회지

1993 .06

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

박휘석 ,  김현수

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

1999 .04

DALAN:실시간 시스템 소프트웨어를 위한 명세언어

김정술 ,  최준일

한국컴퓨터정보학회지

1997 .02

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

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

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

2004 .10

네트워크 시스템 명세를 위한 Z 기반 프레임워크

신지훈 ,  최진영

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

2011 .06

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

정문상 ,  최형림 ,  이충세

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

1992 .04

통신 프로토콜 적합성 시험기를 위한 명세 언어 처리기의 설계

양순성 ,  안병양 ,  전효식 외 3명

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

1994 .10

실시간 객체를 위한 명세 및 분석 방법

윤태명 ,  임형택 ,  양승민

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

1995 .10

도시 교통관제 시스템의 정형 명세

김태호 ,  조승모 ,  차성덕 외 4명

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

1998 .04

[기술해설]소프트웨어 공학적 실시간 시스템 명세를 이용한 가상 환경 구축

이지영 ,  김혜정 ,  강교철 외 1명

정보과학회지

1997 .11

대수명세의 구현과 증분식 테스팅

김규년 ,  우치수

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

1990 .10

실시간 소프트웨어 기술

이직열

전기의세계

1988 .04

[특집]결함허용 시스템의 설계 고려사항 및 동향

김문회

정보과학회지

1993 .06