一个基于Web技术的网络银行系统的B方法设计与实现  

Design and Implementation of An E-banking System Using B Method

作　　者：李莉[1] 缪淮扣[1] 

机构地区：[1]上海大学计算机工程与科学学院,上海200072

出　　处：《计算机工程》2001年第10期65-66,121,共3页Computer Engineering

基　　金：国家自然科学基金资助项目(69773038)

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

关 键 词：形式化方法 B方法 网络银行系统 WEB INTERNET 

分 类 号：F830.49[经济管理—金融学] TP393.4[自动化与计算机技术—计算机应用技术]