국방대학교 도서관검색
- Home
- 기능목록
- 검색
-
Marc 보기
MARC 닫기
-
LDR
00407nam ac200157 k 4500
-
001
000003678009
-
005
20050124144704
-
008
010731s1993 KOR 000 kor
-
040
▼a 211070
▼c 211070 -
049
▼l EM0001092145
▼v 7 -
056
▼a 569.908
-
090
▼a 569.908
▼b 한171
▼c 7 -
245
▼a 소프트웨어 자동생산기술에 관한 연구/
▼d 과학기술처. -
260
▼a 서울:
▼b 과학기술처,
▼c 1993. -
300
▼a 363p.
-
700
▼a 과학기술처
-
991
▼a 단행본
-
LDR
- 바구니담기
- 내서재 담기
- 내보내기
상세정보
소프트웨어 자동생산기술에 관한 연구
QR코드예약
- 1. 예약현황은 홈페이지 로그인 후 예약 페이지에 확인 가능합니다.
- 2. 도착 통보된 예약자료 대출을 원하지 않는 경우에는 예약 현황에서 취소할 수 있습니다.
- 3. 기타 문의사항은 도서관에 문의 바랍니다.
무인예약대출
- 1. 무인예약대출 현황은 홈페이지 로그인 후 무인예약대출 페이지에 확인 가능합니다.
- 2. 무인예약대출자료 대출을 원하지 않는 경우에는 무인예약대출 페이지에서 신청 또는 접수상태인 경우만 취소할 수 있습니다.
- 3. 희망대출일은 신청일로부터 최대 1주일 까지 가능합니다.
- 4. 희망대출일을 선택하지 않은 경우 대출대기 통보 후 1주일까지 기기에서 대출가능합니다.
- 5. 기타 문의사항은 도서관에 문의 바랍니다.
KMO199976643
권 호 : 363
발행년 : 1993
서 명 : 소프트웨어 자동생산기술에 관한 연구
발행처 : 과학기술처
목차
1. 소제 : 소프트웨어 테스팅 도구 개발
2. 서론
3. COSTAR의 실용화
4. 테스팅 도구와 타CASE 도구와의 통합 방안 연구
5. VDM으로 작성된 명세서로부터 시험 사례 추출
6. VDM으로 작성된 명세서로부터 시험 계획서 생성
7. 동적 시험 지원 시스템
8. 결론
서평쓰기