基于B方法的应用软件开发

摘要：

随着应用的发展,计算机系统的一致性和可靠性变得越来越重要. 形式化方法以精确的数学语义为基础,能精确描述系统规范,严格验证规范的性质,从而更好地保证软件的一致性和可靠性. B形式化方法支持从规范说明到代码生成的整个软件开发周期. 在给出基于B方法的开发过程之后,以POS系统的开发过程为例,介绍B方法在实际软件开发中的应用.

关键词：B方法、形式化方法、规范说明、软件设计、POS

所属期刊栏目：39

分类号：TP311.5(计算技术、计算机技术)

在线出版日期：2009-07-01（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：304-308