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

• 作者: 李莉 缪淮扣
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 形式化方法 B方法 网络银行系统
• 年，卷（期）: 2001,（10）
• 所属期刊栏目: 基金项目论文
• 页码范围: 65-66,121
• 页数: 3页
• 分类号: TP399
• 字数: 2424字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2001.10.025

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	缪淮扣	上海大学计算机工程与科学学院	100	1030	16.0	26.0
2	李莉	上海大学计算机工程与科学学院	28	89	6.0	9.0