| 一个基于Web技术的网络银行系统的B方法设计与实现 |
| |
| 引用本文： | 李莉,缪淮扣.一个基于Web技术的网络银行系统的B方法设计与实现[J].计算机工程,2001,27(10):65-66,121. |
| |
| 作者姓名： | 李莉 缪淮扣 |
| |
| 作者单位： | 上海大学计算机工程与科学学院 |
| |
| 基金项目： | 国家自然科学基金资助项目(69773038) |
| |
| 摘 要： | B方法作为少数几种具有较强商业化工具支持的形式化方法之一，支持规格说明到代码生成的全部开发周期。文章将B方法应用于网络银行系统模型开发。此方法提供了系统的需求和可执行代码之间的中间过程。整个开发过程中的规格说明书写以及细化都使用Atelier B。
|
| 关 键 词： | 形式化方法 B方法 网络银行系统 Web Internet |
| 文章编号： | 1000-3428(2001)10-0065-02 |
Design and Implementation of An E-banking System Using B Method |
| |
| LI Li,MIAO Huaikou.Design and Implementation of An E-banking System Using B Method[J].Computer Engineering,2001,27(10):65-66,121. |
| |
| Authors: | LI Li MIAO Huaikou |
| |
| 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. |
| |
| Keywords: | Formal method B method Web-based bank system |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
