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

김정술 ,  강병욱

한국산업정보학회논문지

1997 .12

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

권용래

정보과학회지

1984 .06

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

김진현 ,  최진영

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

2003 .04

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

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

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

1999 .10

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

신지훈 ,  최진영

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

2011 .06

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

윤태명 ,  임형택 ,  양승민

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

1995 .10

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

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

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

1998 .04

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

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

정보과학회지

1997 .11

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

박휘석 ,  김현수

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

1999 .04

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

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

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

2004 .10

[기술해설]시간이 긴요한 실시간 시스템의 요구 명세 및 분석

이광용 ,  정기원

정보과학회지

1995 .09

실시간 객체 지향 모델을 지원하기 위한 정형 명세

정유성 ,  최수진 ,  강인혜 외 1명

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

1999 .10

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

김진현 ,  이수영 ,  손한성 외 1명

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

2003 .10

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

김정술 ,  강병욱

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

1997 .11

HOOSL : 분산 멀티미디어 소프트웨어의 명세 언어

홍장의 ,  배두환

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

1997 .10

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

김규년 ,  우치수

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

1990 .10

실시간 소프트웨어 기술

이직열

전기의세계

1988 .04

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

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

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

1994 .10

정형적 방법을 이용하는 사용자 인터페이스 명세 시스템의 설계

신재승 ,  이금석

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

1992 .10

상황 인식 시스템의 서비스 명세를 시제 논리로 표현하기

김태균 ,  조민택 ,  권기현

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

2012 .06