B方法规格说明的构造及应用

摘要：

B方法是一种软件形式化方法,支持从规格说明到代码生成的整个软件开发周期.本文比较系统地分析了B方法规格说明的构造结构,并结合所设计的实例演示了用B方法编写规格说明的过程,简略地给出了其规格说明的证明义务,并对其规格说明进行了一次精化.

关键词：规格说明、B方法、抽象机、证明义务、精化

分类号：TP311(计算技术、计算机技术)

在线出版日期：2007-06-18（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：29-32,35