信息技术与信息化
信息技術與信息化
신식기술여신식화
INFORMATION TECHNOLOGY & INFORMATIZATION
2014年
8期
91-94
,共4页
B方法%网络发票系统%形式化%规格说明
B方法%網絡髮票繫統%形式化%規格說明
B방법%망락발표계통%형식화%규격설명
目前,在软件项目设计方法中,B方法是少数几种能够贯穿从需求分析到系统实现环节的、对软件产品进行全生命周期管理的形式化方法之一.本文以网络发票系统为例,对其使用B方法进行产品设计的良好实践进行了说明,阐述了该方法从规格说明到精化、实现的实践过程,该过程使用AtelierB作为实现工具.
目前,在軟件項目設計方法中,B方法是少數幾種能夠貫穿從需求分析到繫統實現環節的、對軟件產品進行全生命週期管理的形式化方法之一.本文以網絡髮票繫統為例,對其使用B方法進行產品設計的良好實踐進行瞭說明,闡述瞭該方法從規格說明到精化、實現的實踐過程,該過程使用AtelierB作為實現工具.
목전,재연건항목설계방법중,B방법시소수궤충능구관천종수구분석도계통실현배절적、대연건산품진행전생명주기관리적형식화방법지일.본문이망락발표계통위례,대기사용B방법진행산품설계적량호실천진행료설명,천술료해방법종규격설명도정화、실현적실천과정,해과정사용AtelierB작위실현공구.
