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

• 作者: 吴帅 杨庆红 樊艳芬
• 来源期刊: 计算机与现代化
• 学科: 工学
• 关键词: 规格说明 B方法 抽象机 证明义务 精化
• 年，卷（期）: 2007,（5）
• 所属期刊栏目: 程序设计与算法
• 页码范围: 29-32,35
• 页数: 5页
• 分类号: TP311
• 字数: 2989字
• 语种: 中文
• DOI: 10.3969/j.issn.1006-2475.2007.05.009

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杨庆红	江西师范大学计算机信息工程学院	30	139	8.0	9.0
2	吴帅	江西师范大学计算机信息工程学院	7	30	3.0	5.0
4	樊艳芬	江西师范大学计算机信息工程学院	8	9	2.0	2.0