期刊文章详细信息
形式化方法B及其程序规约机理
Formal Method B and Its Program Specification Theory
文献类型：期刊文章
机构地区：[1]江西师范大学计算机科学系
基 金：国家自然科学基金资助项目(60273092);江西省自然科学基金资助项目(0411041)
年 份：2004
卷 号：30
期 号：16
起止页码：16-18
语 种：中文
收录情况：AJ、BDHX、BDHX2000、CAS、CSA、CSA-PROQEUST、CSCD、CSCD2011_2012、IC、INSPEC、JST、RCCSE、SCOPUS、UPD、ZGKJHX、核心刊
摘 要：用形式化方法开发软件是提高软件可靠性和生产效率的革命性途径,是实现软件自动化的关键。文章针对B方法,介绍了其产生的历史背景,分析了其程序规约机理,并结合实例给出了B方法中抽象机的具体运用,对该方法的特点进行了评述。
关 键 词：形式化方法B 程序规约 抽象机 程序设计
分 类 号：TP311]
参考文献：
正在载入数据...
二级参考文献：
正在载入数据...
耦合文献：
正在载入数据...
引证文献：
正在载入数据...
二级引证文献：
正在载入数据...
同被引文献：
正在载入数据...
