Uniform Structure - based Program Design Method toward Automatic Programming = Uniform Structure - based Program Design Method toward Automatic Programming

국문 초록 (Abstract)

'Design'은 주로 program structure와 밀접한 관계를 가지며, program structure 는 problem structure에 기초한다. 문제의 구조적 특성을 연구함으로서 - 비록 완전 자동화는 얻지 못하지만 - 정확하고 올바른 알고리즘을 수용하는 procedure의 궁극적 방법을 얻을 수 있다.
본 논문에서는 decomposition technique에 기초하고, 트리(tree)를 프로그램 구조의 단일 pattern으로 하는 프로그램 디자인 방법에 대하여 언급한다. 또한, 본 방법의 올바른 pattern이 기존의 다른 방법에도 자연스럽게 적용될 수 있음을 예증하고, 자동 프로그래밍으로의 비젼을 제시한다.

목차 (Table of Contents)

• 요약
• Ⅰ. 서론
• Ⅱ. 방법의 기초
• Ⅲ. Example and demonstration
• Ⅳ. Complexity measure
• Ⅴ. 결론
• [References]