一种基于程序正确性证明理论的程序开发方法

• 作者: 李云清 杨庆红
• 来源期刊: 计算机应用研究
• 关键词: 程序的形式推导方法 程序规范 循环不变式
• 年，卷（期）: 2001,（2）
• 页码范围: 11-13
• 页数: 3页
• 分类号: TP311.1
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2001.02.004

摘要

程序的形式推导方法是一种基于程序正确性证明理论的程序开发方法，它使得程序的开发和证明同时进行，程序开发完成的同时其正确性亦得以保证。以两个问题的程序开发为例说明了程序的形式推导方法的使用。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杨庆红	江西师范大学计算机科学与技术学院	30	139	8.0	9.0
2	李云清	江西师范大学计算机科学与技术学院	18	152	8.0	11.0