대구한의대학교 향산도서관

링크메뉴

No	기사제목	기사저자명	출판사	발행년
31	소프트웨어 시험 검증' 특집을 내면	최진영	한국정보과학회	2001

32	패키지 소프트웨어 인증을 위한 테스트 프로세스	이윤정 최병주 장우현	한국정보과학회	2001

33	인력 양성' 특집을 내면	김진형 조성배	한국정보과학회	2001

34	문제해결 중심의 컴퓨터-소프트웨어 교과과정 제안	김진형 이강혁	한국정보과학회	2001

35	결함허용 중개자 스터브 방식에서 실시간객체를 감시하는 구조	임형택 양승민	한국정보과학회	2001

36	SMIL, RDF, WIDL 문서의 통합 객체 모델링	김상은 하얀 김용성	한국정보과학회	2001

37	웨이브릿을 이용한 영상기반 인쇄 한글단어 검색	김혜금 양진호 이진선	한국정보과학회	2001

38	객체지향 프로그램의 화이트박스와 블랙박스 재사용성 측정 메트릭스	윤희환 김영집 구연설	한국정보과학회	2001

39	UML 객체지향 분석모델의 완전성 및 일관성 진단을 위한 시나리오기반 검증기법	조진형 배두환	한국정보과학회	2001

40	추상 시간 기계를 이용한 실시간 시스템의 도달성에 대한 검증 방법	박지연 이문근	한국정보과학회	2001