函数型程序似然不变量论文

论文摘要随着计算机技术的发展,软件在各个行业得到广泛的应用,人们对软件的质量和安全也得到更为广泛的关注。对如何提高软件质量的问题人们已经从软件开发方法、软件开发过程管理、软件开...