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

Applied Software Development Based on B-Method

作　　者：陈丹敏[1] 裘宗燕[2] 

机构地区：[1]河南大学计算机与信息工程学院,河南开封475004 [2]北京大学数学科学学院,北京100871

出　　处：《河南大学学报（自然科学版）》2009年第3期304-308,共5页Journal of Henan University:Natural Science

摘　　要：随着应用的发展,计算机系统的一致性和可靠性变得越来越重要.形式化方法以精确的数学语义为基础,能精确描述系统规范,严格验证规范的性质,从而更好地保证软件的一致性和可靠性.B形式化方法支持从规范说明到代码生成的整个软件开发周期.在给出基于B方法的开发过程之后,以POS系统的开发过程为例,介绍B方法在实际软件开发中的应用.The coherence and reliability of computer systems are more and more crucial. With precise mathematical semantics, formal methods support accurate specification and rigor verification for software systems. Among these methods, B-method supports the whole lifecycle of software development. This paper introduces first the development process of B-method in general in some details, and then uses POS system as an example to illustrate how B-method can be used in software development.

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

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]