一个抽象机库中B方法的研究

作     者：杨丹 梁洪峻 YANG Dan;LIANG Hongjun

作者机构：天津大学电信学院天津300072 

出 版 物：《微计算机应用》 (Microcomputer Applications)

年 卷 期：2007年第28卷第10期

页      码：1117-1120页

摘      要：B方法是支持规格说明到软件设计和执行的形式化方法。文章研究了B方法中一种抽象机库的实现模型和生成代码,对该方法的特点进行评述。验证了B的正确可靠的实现方法,充分利用B方法的精化原则,提高了B形式化方法的开发验证效率。

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

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

D　O　I：10.3969/j.issn.2095-347X.2007.10.025

馆 藏 号：203963143...