diduce 相关硕士博士期刊学术论文

结合Java建模语言描述了程序不变量的基本概念，以程序静态分析技术和动态分析技术为基础，讲解了程序不变量在软件质量保证中的重要作......