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

摘要：

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

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

所属期刊栏目：27

分类号：TP399(计算技术、计算机技术)

资助基金：国家自然科学基金69773038

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

页数：共3页

页码：65-66,121