一种基于B方法的网络发票系统设计与实现

摘要

目前,在软件项目设计方法中,B方法是少数几种能够贯穿从需求分析到系统实现环节的、对软件产品进行全生命周期管理的形式化方法之一.本文以网络发票系统为例,对其使用B方法进行产品设计的良好实践进行了说明,阐述了该方法从规格说明到精化、实现的实践过程,该过程使用AtelierB作为实现工具.