摘要： 方法作为少数几种具有较强商业化工具支持的形式化方法之一支持规格说明到代码生成的全部开发周期。文章将方法应用于网B,B络银行系统模型开发。此方法提供了系统的需求和可执行代码之间的中间过程。整个开发过程中的规格说明书写以及细化都使用。

关键词: 形式化方法, 方法, 网络银行系统B

Abstract: B method is one of the formal methods,which are supported by the strong commercial tool.It backs up the software development from the formal specification to code generation.This paper applies the B method to the development of the Web-based bank system.The method fills the gap between system requirement and executable code.The specification and refinement in whole development are specified in Atelier B.

中图分类号: 

• TP399