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

来源 :计算机工程 | 被引量 : 0次 | 上传用户：sun_merry

【摘要】

：

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

【作者】

：

【机构】

：

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

【出处】

：

计算机工程

【发表日期】

：

2001年10期

【关键词】

：

【基金项目】

：

国家自然科学基金

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

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

其他文献

阐述了入侵检测系统(IDS)的概念、模型,目前的通信协议状况,重点介绍了入侵检测报文交换格式(IDMEF).IDME F描述了表示IDS输出信息的数据模型,并且已经用XML(ExtensibleMarku

期刊