模块化程序设计的代数理论

An Algebraic Theory on Modular Programming

文献[1]对程序开发中逐步求精过程予以形式化,提出求精实现的数学定义。本文在此基础上提出模块化实现的概念,作为模块化程序设计过程的形式化定义。本文证明了模块化实现具有水平合成与垂直合成性质,文[1]中的求精实现是本文定义的模块实观的一个特例。

To formalize the process of the stepwise refinement in programming, the concept of refinement implement was defined in paper[1]. In this paper, we propose the modular implement as the formal description of modular programming. It is proved that the modular implement is horizonally and vertically composable. The refinement implement is really a special instance of the modular implement in this paper.