程序正确性相关论文
本文利用程序设计方法学的断言,逐步推导论证了一个正确的程序设计,并修正了McCarthy91函数的定义,严密地叙述该定义的函数值的范......
软件开发过程需要保证程序满足正确性规约。目前主要有软件测试、模型检验等技术用于程序的正确性保证。软件测试通过测试用例集来......
随着计算机技术特别是网络技术的迅速发展及其在教育领域中的广泛应用,CAI(ComputerAssisted Instruction)和 e-Learning 得到了飞......
目前计算机软件的发展受着多种因素的影响,它滞后于硬件,其安全性、可靠性和稳定性一直是人们关注的几个重要问题。随着软件的大型......
