|
论文《C语言程序动态更新中的逻辑正确性》发表于第十一届全国软件与应用学术会议(NASAC2012)。该文探讨了在C语言程序运行过程中进行动态更新时如何保证逻辑正确性。作者分析了动态更新可能引发的逻辑错误,并提出相应的验证方法,以确保程序在更新后仍能保持正确的功能和行为。研究对提高软件系统的可靠性和可维护性具有重要意义。 文档为pdf格式,0.49MB,总共8页。
- 文件大小:
- 501.76 KB
- 下载次数:
- 60
- C语言程序动态更新中的逻辑正确性 - 第十一届全国软件与应用学术会议(NASAC2012).pdf ...
-
高速下载
|