|
论文《一种证明代码重构后程序正确性的方法》发表于第四届中国计算机网络与信息安全学术会议（CCNIS2011）。该文提出了一种有效验证代码重构后程序正确性的方法，通过形式化方法确保重构过程不破坏原有功能。研究强调了在软件维护过程中保持程序正确性的重要性，并为提高软件质量提供了理论支持与实践指导。 文档为pdf格式，0.46MB，总共5页。
- 文件大小:
- 471.04 KB
- 下载次数:
- 60
- 一种证明代码重构后程序正确性的方法 - 第四届中国计算机网络与信息安全学术会议(CCNIS2011).pdf ...
-
高速下载
| 
