| 一种基于程序正确性证明理论的程序开发方法 |
| |
| 引用本文： | 杨庆红,李云清.一种基于程序正确性证明理论的程序开发方法[J].计算机应用研究,2001,18(2):11-13. |
| |
| 作者姓名： | 杨庆红 李云清 |
| |
| 作者单位： | 江西师范大学 计算机科学与技术学院 |
| |
| 基金项目： | 国家自然科学基金资助项目!(69783006和69983003) |
| |
| 摘 要： | 程序的形式推导方法是一种基于程序正确性证明理论的程序开发方法，它使得程序的开发和证明同时进行，程序开发完成的同时其正确性亦得以保 证，以两个问题的程序开发为例说明了程序的形式推导方法的使用。
|
| 关 键 词： | 程序开发方法 程序正确性证明理论 程序规范 程序可靠性 |
| 文章编号： | 1001-3695(2001)02-0011-03 |
| 修稿时间： | 2000年7月9日 |
A Developing Method of Programs Based on the Proof Theory of Program Correctness |
| |
| YANG Qing-hong,LI Yun-qing.A Developing Method of Programs Based on the Proof Theory of Program Correctness[J].Application Research of Computers,2001,18(2):11-13. |
| |
| Authors: | YANG Qing-hong LI Yun-qing |
| |
| Abstract: | Formal derivation of programs is a developing method of programs based on the proof theory of program correctness. It can make the proof process of a program be in progress with the development of the program in the meantime so that the program correctness can be ensured while it's development finishes. This paper presents the steps of the formal derivation method of programs by the development of two problems. |
| |
| Keywords: | Formal derivation method of programs Program specification Loop invari |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
