http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
- 中文 을 입력하시려면 zhongwen을 입력하시고 space를누르시면됩니다.
- 北京 을 입력하시려면 beijing을 입력하시고 space를 누르시면 됩니다.
RISS 인기검색어
- 검색키워드
- 저자 : 허용구(Yong-Gu Hur) (검색결과 2 건)
- 무료
- 기관 내 무료
- 유료
-
허용구(Yong-Gu Hur),권기현(Gi-Hwon Kwon) 한국정보과학회 1997 한국정보과학회 학술발표논문집 Vol.24 No.2Ⅰ
기존의 구문적 순서 가운데 대표적인 순서가 RPO(Recursive Path Ordering)이다. 이 순서는 종료성을 보장할 수 있는 단순화 순서이다. 그렇지만 불행하게도 많은 등식들이 이 RPO를 통해서 개서 규칙으로 변환되지 못한다. 이러한 이유로 Knuth-Bendix 완료 알고리즘 수행 시 생성된 임계 쌍들을 개서 규칙으로 변환하지 못하는 문제가 발생한다. 본 논문에서는 이러한 RPO의 분석을 통한 문제점을 제시하고, 이 문제점을 개선한 새로운 알고리즘을 제시한다.
-
김성회(Sung Hoi Kim),허용구(Yong Gu Hur),김윤수(Yun Su Kim),권기현(Gi Hwon Kwon) 한국정보과학회 1996 한국정보과학회 학술발표논문집 Vol.23 No.1A
지금까지 객체지향 프로그램에 대한 테스팅 연구의 주된 흐름은 프로그램의 직접적인 오류(fault)들을 찾는 방법에 대한 연구와 상속에서의 테스팅 노력을 줄이고자 하는 연구들로 진행되어 왔다. 그러나 객체지향 프로그램에서 가장 중심이 되는 부분인 상속구조에서는 직접적으로 발견할 수 있는 오류들과는 달리 오류는 아니지만 재사용성이나 유지보수 노력을 고려할 때 잠재적인 오류가 될 수 있는 상속이상과 같은 부분이 있다. 현재의 테스팅 방법들은 잠재적인 오류가 될 수 있는 상속이상과 같은 부분에 대해서는 테스트를 하지 않는다. 의미적으로 올바른 상속구조를 갖는 클래스들은 단지 구문적으로만 상속구조인 클래스들과 비교해서 재사용성을 높이고 유지보수 비용을 줄일 수 있다. 본 논문에서는 상속이상을 찾아내는 테스팅 방법을 제안하였다.
연관 검색어 추천
이 검색어로 많이 본 자료
활용도 높은 자료
