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

作     者：吴帅 杨庆红 樊艳芬 WU Shuai;YANG Qing-hong;FAN Yan-fen

作者机构：江西师范大学计算机信息工程学院 

出 版 物：《计算机与现代化》 (Computer and Modernization)

年 卷 期：2007年第5期

页      码：29-32,35页

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

主 题 词：规格说明 B方法 抽象机 证明义务 精化 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

D　O　I：10.3969/j.issn.1006-2475.2007.05.009

馆 藏 号：203486277...