文件名称：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)