| 21 | 자료흐름도로부터 Vienna definition language 를 이용하여 실행 가능한 specification 을 구성하는 방법 = Constructing an executable specification from data flow diagrams using vienna definition languagelink 이종희; Lee, Jong-Heui; 권용래; Kwon, Yong-Rae, 한국과학기술원, 1987 |
| 22 | 연역 데이타베이스에서 가상 릴레이션을 통한 데이타베이스 갱신에 관한 연구 = A study on database update through derived relations in deductive databaseslink 조완섭; Cho, Wan-Seop; 문송천; Moon, Song-Chun, 한국과학기술원, 1987 |
| 23 | Performance of integrated concurrency control method in distributed database systems = 분산 데이타베이스 체제하의 통합 동시성 제어방법의 성능에 관한 연구link Won, Yoo-Heung; 원유흥; Moon, Song-Chun; 문송천, 한국과학기술원, 1987 |
| 24 | 개념 의존 구조로부터 한국어 시맨틱 네트웍의 생성에 관한 연구 = A study on generating korean semantic metworks from conceptual dependency representationlink 문병로; Moon, Byung-Ro; 김진형; Kim, Jin-Hyung, 한국과학기술원, 1987 |
| 25 | Tabular parsing 방법과 접속 정보를 이용한 한국어 형태소 분석기 = A morphological analyzer for korean language with tabular parsing method and connectivity informationlink 김성용; Kim, Seong-Yong; 전길남; Chon, Kil-Nam, 한국과학기술원, 1987 |
| 26 | Diamete 가 d이고 c Vertex 연결도를 갖는 k-Regular 그래프에 관한 연구 = A study on c-connected k-Regular graphs with diameter dlink 최한영; Choi, Han-Yeong; 권용래; 좌경룡; Kwon, Yong-Rae; Chwa, Kyung-Yong, 한국과학기술원, 1987 |
| 27 | (A) model for temporal reasoning based on time point = 시점에 의한 시간 추론 모형에 관한 연구link Jun, Young-Pyo; 전영표; Maeng, Seung-Ryoul; 맹승렬, 한국과학기술원, 1987 |
| 28 | 연구개발 네트워크를 위한 CCITT 권고안에 따른 디렉토리 시스템 = A directory system based on CCITT recommendations for research and development networkslink 윤병흠; Yoon, Byeong-Heum; 전길남; Chon, Kil-Nam, 한국과학기술원, 1987 |
| 29 | (A) study on nonredundant allocation of files in distributed systems = 분산 체제하에서 비 중복 화일 할당에 관한 연구link Kim, Sun; 김선; Moon, Song-Chun; 문송천, 한국과학기술원, 1987 |
| 30 | Prolog 를 이용한 소프트웨어 요구 분석 프로그램의 구현 = Implementation of a software requirements analyzer in prologlink 최정훈; Choi, Jeong-Hun; 권용래; Kwon, Yong-Rae, 한국과학기술원, 1987 |
