一种基于B方法的网络发票系统设计与实现
徐兵兵
刘如强
于治楼
1.浪潮集团 山东 济南 2501012.浪潮集团 山东 济南 2501013.浪潮集团 山东 济南 250101
摘要：目前,在软件项目设计方法中,B方法是少数几种能够贯穿从需求分析到系统实现环节的、对软件产品进行全生命周期管理的形式化方法之一.本文以网络发票系统为例,对其使用B方法进行产品设计的良好实践进行了说明,阐述了该方法从规格说明到精化、实现的实践过程,该过程使用AtelierB作为实现工具.
关键词：B方法网络发票系统形式化规格说明
论文发表日期：2014-01-01
在线出版日期：2026-05-22（本平台首次上网日期，不代表文献的发表时间）
页数：4( 91-94 )
英文信息