随着软件形式化方法的不断发展，各种各具特色的形式化方法涌现出来，为了解决在具体的系统开发中如何选取合适的形式化方法，对目前较为流行的几种形式化方法RSL，B，VDM，Z的特点进行对比分析，然后针对不同的软件开发人员和所需开发系统的不同，给出了适合用形式化方法开发的情况和如何选择合适的形式化开发方法。
2021-01-29 20:11:31
667KB
1
本资源为天津大学，形式化与自动机的期末试卷，为了不浪费资源，上传到csdn中，就此留给学弟学们，老学长要毕业了。
2020-04-10 09:46:08
471KB
1