B方法
基本信息·出版社：电子工业出版社 ·页码：526 页 ·出版日期：2004年01月 ·ISBN：7505393391 ·条形码：9787505393394 ·版本：第1版 ·装帧：平装 · ...
| 商家名称 |
信用等级 |
购买信息 |
订购本书 |
|
|
 |
B方法 |
 |
|
|
B方法 |
|
基本信息·出版社：电子工业出版社
·页码：526 页
·出版日期：2004年01月
·ISBN：7505393391
·条形码：9787505393394
·版本：第1版
·装帧：平装
·开本：16
·正文语种：中文
·丛书名：国外计算机科学教材系列
·外文书名：The B-Book
内容简介 《B方法》针对B方法这一重要的实用性软件形式化方法之一，介绍了B方法所用的数学基础，用其描述软件系统规范的语言记法，及基本程序结构和程序实例等。
作者简介 J-R Abrial，世界著名的计算机科学家，是对软件形式化方法及其应用做出了最重要贡献的人物之一。他从20世纪70年代开始研究数据结构的程序的形式化规范问题，20世纪70年代后期在牛津大学程序设计研究组（PRG）访问期间完成了有关形式化规范语言Z的开创性工作。为了将形式化方法与软件开发更好地平滑衔接，J-R Abrial从20世纪80年代前期开始了B语言和B方法的研究和开发。这一方法的目的是希望为整个软件开发过程提供坚实的教学基础。随着B方法的发展和成熟，它已经被成功地应用到许多关键性的工业开发项目中。本书就是J-R Abrial对B方法的总结。
媒体推荐 书评
B方法是对软件系统进行规范、设计和编程的一种方法。本书对B方法进行了全面系统的讲解，内容包括B方法的数学基础、所用符号的精确定义以及大量的应用范例。本书的问世使从事形式化方式方法工作的技术人员、计算机科学家以及系统开发人员终于能够看到最具权威性的B方法论著，同时还能在用形式化方法构造软件系统时查到标准的参考书。
目录 第一部分 数学
第1章数学推理
第2章集合形式
第3章数学对象
第二部分 抽象机
第4章抽象机引论
第5章抽象机的定义
第6章抽象机理论
第7章大型抽象机
第8章抽象机的实例
第三部分 程序设计
第9章顺序和循环
第10章程序设计实例
第四部分 精化
第11章精化
第12章构造大型抽象机
第13章精化的实例
附录
附录A 记法综述
附录B 语法
附录C 定义
附录D 可见性规则
附录E 规则和公理
附录F 证明义务
……
