Chungnam Provincial Cheongyang College

7 Results:SS:명세 0.140 sec.

정보검색 프로토콜 : Z39.50 : 명세 및 응용 매뉴얼
이응봉 | 한국도서관협회 | 2001 대출가능 , 제1자료실(1층)
Naver

시제논리를 기반으로 하는 요구분석 방법론을 위한 성질명세
김정술 | 춘해대학 | 1999 ,

소프트웨어 명세서를 기반으로 한 테스트 스위트 생성 기법
김영란 | 충청대학 | 1999 ,

RBAC 데이터베이스를 위한 관리도구 형식 명세화
오석균 | 충청대학 | 2000 ,

통신 소프트웨어 개발 환경의 설계 및 명세 작성기의 구현 : Design of Telecommunications Software Development Environments and Implementation of Software Specification Composer

TCPN을 이용한 실시간 명세와 스케줄가능성 분석 : A Real-Time Specification and Schedulability Analysis using TCPN
김춘배 | 한국정보과학회 | 1999 ,

MSC로 기술된 통신 소프트웨어 명세의 검증을 위한 전체 상태 전이 그래프 생성 : Construction of Global State Transition Graph for Verifying Telecommunications Software Specifications Written in Message Sequence Chart
김병만 | 한국정보과학회 | 2000 대출불가(관내열람) ,
Naver