随着软件形式化方法的不断发展，各种各具特色的形式化方法涌现出来，为了解决在具体的系统开发中如何选取合适的形式化方法，对目前较为流行的几种形式化方法RSL，B，VDM，Z的特点进行对比分析，然后针对不同的软件开发人员和所需开发系统的不同，给出了适合用形式化方法开发的情况和如何选择合适的形式化开发方法。
2021-01-29 20:11:31
667KB
1
本资源为天津大学，形式化与自动机的期末试卷，为了不浪费资源，上传到csdn中，就此留给学弟学们，老学长要毕业了。
2020-04-10 09:46:08
471KB
1
Modeling in Event-B-System and software Engineering pdf电子版
2019-12-21 21:03:32
3.01MB
1
B方法作为一种形式化语言方法，比起非形式化文档语言更有规范性。它以数学理论为基础，通过严格的逻辑推论，使得整个描述过程更为严谨，更容易转化为代码。
2019-12-21 20:11:01
2.47MB
1