有效性语义相关硕士博士期刊学术论文

形式化方法是软件开发方法合理的发展方向，软件开发自动化的发展影响着形式化方法的应用前途；而软件开发自动化的程度又相当依赖于求......