首页> 中文期刊> 《计算机工程》 >一个基于Web技术的网络银行系统的B方法设计与实现

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

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《计算机工程》 |2001年第10期|65-66121|共3页
作者
李莉; 缪淮扣;
展开▼
作者单位

上海大学计算机工程与科学学院;

上海大学计算机工程与科学学院;

展开▼
原文格式 PDF
正文语种 chi
中图分类在其他方面的应用;
关键词
形式化方法; B方法; 网络银行系统;

相似文献

中文文献
外文文献
专利

1. 一种基于Web技术下的网络考试系统的设计与实现 [J] . 何龙 . 无线互联科技 . 2013,第012期
2. 基于Web技术传感器网络测试软件的设计与实现 [J] . 谢昊飞 ,廖晓娟 ,肖华 . 科技信息 . 2012,第035期
3. 基于SSL WEB技术的综合网络管理平台的设计与实现 [J] . 黄科军 ,杜秀娟 . 青海师范大学学报（自然科学版） . 2008,第004期
4. 基于Web技术的部队后勤网络办公自动化系统的总体设计与实现 [J] . 武立涛 ,韩燮 . 科技情报开发与经济 . 2007,第006期
5. 基于Web技术网络考试系统的设计与实现 [J] . 任民宏 . 福建电脑 . 2007,第009期
6. 教育领域中的一个服务应用:基于SOA的学分银行系统 [C] . 林慧苹 ,李伟平 ,吴斯 . 2009年服务科学国际会议 . 2009
7. 基于Web技术的网络报警监控系统的设计与实现 [A] . 曾欣 . 2012

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号