| 31 | 프로그램 수행 경로와 자료 흐름 정보에 기반을 둔 새로운 복잡도 척도에 관한 연구 = A new hybrid complexity measure based on program path and data flow informationlink 이호경; Lee, Ho-Kyoung; 권용래; Kwon, Yong-Rae, 한국과학기술원, 1989 |
| 32 | 대화상 단축표현의 계획, 상황적 이해에 대한 연구 = A study on understanding of sentence fragment in dialogue based in plan and situationlink 정광렬; Jung, Gwang-Ryoul; 김길창; Kim, Gil-Chang, 한국과학기술원, 1989 |
| 33 | 연결 그래프에 바탕을 둔 병렬 정리 증명에 관한 연구 = A study on the parallel theorem proving based on connection graphlink 김병만; Kim, Byeong-Man; 조정완; Cho, Jung-Wan, 한국과학기술원, 1989 |
| 34 | 자료흐름도로부터 실행 가능한 명세를 작성하기 위한 명세 언어 = An executable specification language for constructing an executable specification from data flow digramslink 함경수; Ham, Kyung-Soo; 권용래; Kwon, Yong-Rae, 한국과학기술원, 1989 |
| 35 | 이식성을 고려한 Common lisp object system의 구현 = A portable implementation of common lisp object systemlink 이동현; Lee, Dong-Hyeon; 김진형; Kim, Jin-Hyung, 한국과학기술원, 1989 |
| 36 | 프롤로그를 이용한 게이트 수준 논리 회로 합성에 관한 연구 = A study on gate level logic circuit synthesis using prologlink 안종철; Ahn, Jong-Chul; 조정완; Cho, Jung-Wan, 한국과학기술원, 1989 |
| 37 | 분산 데이타베이스 시스템에서의 교착상태 탐지 기법의 성능 비교 = Performance comparison of deadlock detection schemes in distributed database systemslink 이원섭; Lee, Won-Sup; 문송천; Moon, Song-Chun, 한국과학기술원, 1989 |
| 38 | (A) study on the test data generation based on the dynamic analysis of specifications = 명세의 동적 분석을 통한 테스트 데이타 생성에 관한 연구link Jung, In-Sang; 정인상; Kwon, Yong-Rae; 권용래, 한국과학기술원, 1989 |
| 39 | 객체지향 프로그래밍을 위한 prolog의 확장에 관한 연구 = A study on extension of prolog for object-oriented programminglink 송우길; Song, Woo-Gil; 맹승렬; Maeng, Seung-Ryoul, 한국과학기술원, 1989 |
| 40 | 분산 시스템에서 그룹간의 상호 동작을 지원하기위한 동적 그룹 구성 = Dynamic group configuration for group interactions on distributed systemslink 함종민; Ham, Jong-Min; 최광무; Choe, Kwang-Moo, 한국과학기술원, 1989 |
