《B语言与方法 实用形式化开发指南》求取 ⇩

第一章 引言1

1．1 形式化方法1

1．2 B语言的历史9

1．3 B与其他形式化方法的关系12

1．4 本章小结15

第二章 B AMN基础16

2．1 数学符号表示法16

2．2 定义操作22

2．3 抽象机32

2．4 机器组成机制48

2．5 细化55

2．6 实现65

2．7 本章小结91

2．8 习题92

第三章 分析和规格说明95

3．1 需求分析95

3．2 规格说明开发96

3．3 动画139

3．4 内部一致性法则的证明141

3．5 船载实例研究-规格说明142

3．6 重命名150

3．7 聚集（aggregation）150

3．8 本章小结152

3．9 习题153

第四章 设计和实现159

4．1 分层开发范型160

4．2 细化举例165

4．3 细化的证明186

4．4 分解实现191

4．5 船载实例研究——实现193

4．6 本章小结204

4．7习题204

第五章 实例研究205

5．1 人事系统开发205

5．2 矿井水泵控制227

5．3 自动售货机243

5．4 习题259

第六章 结束语260

附A．1 第2．8节习题解答264

附录A 习题解答264

附A．2 第3．9节习题解答268

附A．3 第4．7节习题解答274

附录B 最弱前置条件特性279

附B．1 终止和可行性281

附B．2 集合论的语义283

附B．3 细化285

附B．4 良好形式的法则287

附B．5 正规形式289

附B．6 操作符||的规则290

附B．7 :=的定义290

附录C 证明技术292

参考文献297

索引303