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

• 作者: 肖美华 薛锦云
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 形式化方法B 程序规约 抽象机 程序设计
• 年，卷（期）: 2004,（16）
• 所属期刊栏目: 博士论文
• 页码范围: 16-18,50
• 页数: 4页
• 分类号: TP311
• 字数: 4112字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2004.16.007

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	肖美华	江西师范大学计算机科学系	27	313	8.0	17.0
7	薛锦云	江西师范大学计算机科学系	77	745	15.0	23.0