形式化方法B及其程序规约机理

作     者：肖美华 薛锦云 

作者机构：江西师范大学计算机科学系 

基　　金：国家自然科学基金资助项目(60273092) 江西省自然科学基金资助项目(0411041) 

出 版 物：《计算机工程》 (Computer Engineering)

年 卷 期：2004年第30卷第16期

页      码：16-18,50页

摘      要：用形式化方法开发软件是提高软件可靠性和生产效率的革命性途径,是实现软件自动化的关键。文章针对B方法,介绍了其产生的历史背景,分析了其程序规约机理,并结合实例给出了B方法中抽象机的具体运用,对该方法的特点进行了评述。

主 题 词：形式化方法B 程序规约 抽象机 程序设计 

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

核心收录：

D　O　I：10.3969/j.issn.1000-3428.2004.16.007

馆 藏 号：203100567...