代数规格化说明相关论文
现阶段面向对象软件系统占据了很大的比重,在软件测试方面,形式化规格说明通常作为正确性验证的基础.本文主要研究了基于程序的代......
随着计算机技术的发展和计算机应用的普及,软件系统的需求量越来越大,在现阶段,面向对象软件系统占据了其中很大的比例,在软件系统......
