【文件属性】：
文件名称：B Method B方法
文件大小：3.24MB
文件格式：RAR
更新时间：2015-02-26 16:07:39
B Method
B方法是由Jean-Raymond Abrial创造的。它覆盖了软件的整个开发周期，适用于大规模软件的开发。B方法以元集合理论和二值谓词逻辑为数学基础，其核心是证据，且必须论证B方法所描述的每一个特性，这为开发者提供了统一的形式化规范和代码
【文件预览】：
B
----Modeling in Event-B System and Software Engineering.pdf(3.01MB)
----D7.pdf(1.06MB)
网友评论
- 好东西，在event-b.org 上可以找到程序
- 不错。可惜是英文的！！！！
- 老师推荐下载，确实值得一看。
- 资料不错，但是现在B语言不流行了吧
- Event-B语言是很好的语言，现在正需要这本书
- 很好的资源~~谢谢啦，最近就在看B方法的东西！！
- 还挺不错的东西，不过B方法不咋实用，太难了，最后放弃了
- 资料很好，看起来需要一定的基础。
- 资料很好，但要有点基础才能看懂！
- 太好了，一共有2个PDF文件，一本是Event-B的语言介绍，另外一本是Abrial写的600多页的关于Event-B的教材，教材提供了很多的实例，讲解的思路按照精化步骤给出，娓娓道来，让人耳目一新。非常推荐！