CAJ | 학술논문

介绍了 Dijkstra 的形式化推导方法的主要思想、步骤及要点。该方法主张程序开发和程序证明同时进行，先确定好描述程序功能的断言，再通过形式化方法推导出正确的程序。选择具有代表性的循环结构的实例进行推导证明，并对循环结构的形式化推导进行阐述说明。
개소료 Dijkstra 적형식화추도방법적주요사상、보취급요점。해방법주장정서개발화정서증명동시진행，선학정호묘술정서공능적단언，재통과형식화방법추도출정학적정서。선택구유대표성적순배결구적실례진행추도증명，병대순배결구적형식화추도진행천술설명。
This document introduces the basic theory of Dijkstra′s formal derivation method, which be of the view that the development and demonstration of programs processed simultaneously,confirming the assert of describing the function of the program, and then deduced a correct and proper algorithm formally. And this document is added a representative example of struct to illustrate the theory.