| 1 | 순차도를 이용한 테스트 오라클 생성 = Generating test oracles from sequence diagramlink 정정수; Jung, Jung-Su; 권용래; 배두환; Kwon, Yong-Rae; Bae, Do-Hwan, 한국과학기술원, 2001 |
| 2 | Test case generation using dependency information derived from architecture description = 아키텍쳐 기술로부터 도출한 의존성 정보를 이용한 테스트 케이스 생성link Huh, Yu-Jin; 허유진; Kwon, Yong-Rae; 권용래, 한국과학기술원, 2002 |
| 3 | XML schema로부터 관계형 스키마의 자동 생성 = Generating a relational schema automatically from an XML schemalink 김정섭; Kim, Jung-Sup; 정진완; Chung, Chin-Wan, 한국과학기술원, 2002 |
| 4 | Myrinet 상에서 VMMC를 기반으로 하는 효율적인 MPI 구현 = An efficient implementation of MPI over VMMC for Myrinetlink 김호중; Kim, Ho-Joong; 맹승렬; Maeng, Seung-Ryoul, 한국과학기술원, 2000 |
| 5 | 한국어 병렬구문과 결합범주문법에서의 구문분석 = Coordinate constructions in Korean and parsing issues in combinatory categorial grammarlink 조형준; Cho, Hyung-Joon; 박종철; Park, Jong-Cheol, 한국과학기술원, 2000 |
| 6 | 객체지향 데이터베이스의 유효한 XML 문서로의 변환 = Transformation of object-oriented databases into valid XML documentslink 윤정희; Yun, Jung-Hee; 정진완; Chung, Chin-Wan, 한국과학기술원, 2000 |
| 7 | 블루투스 스캐터넷 환경에서 CIFS 프로토콜 최적화에 관한 연구 = Optimization of CIFS protocol over bluetooth scatternetlink 이상근; Lee, Sang-Keun; 이준원; Lee, Jun-Won, 한국과학기술원, 2002 |
| 8 | H.323 기반의 인터넷 비디오폰 시스템 설계 및 구현 = Design and implementation of an internet videophone system based on H.323link 송명석; Song, Myoung-Seok; 이흥규; Lee, Heung-Kyu, 한국과학기술원, 2000 |
| 9 | WADN : 웹 어플리케이션 전송 기법을 이용한 어플리케이션 서버의 동적 확장 방법 = WADN : a method for extending application servers dynamically using a Web application delivery mechanismlink 임민열; Lim, Min-Yeol; 이윤준; Lee, Yoon-Joon, 한국과학기술원, 2002 |
| 10 | 동작 데이터를 사용한 곡선 경로를 따르는 이동 동작 생성 = Generation of curved path locomotion using motion datalink 김성용; Kim, Sung-Yong; 신성용; Shin, Sung-Yong, 한국과학기술원, 2000 |
