基于构件技术和B方法的形式化需求分析
梁树军
张志锋
邓璐娟
1.郑州轻工业学院计算机与通信工程学院,河南郑州,4500022.郑州轻工业学院计算机与通信工程学院,河南郑州,4500023.郑州轻工业学院计算机与通信工程学院,河南郑州,450002
摘要：采用一种基于构件技术和B方法的企业信息系统形式化需求分析方法,按照构件的思想对非形式化的需求分析进行形式化描述,可发现软件需求中隐含的不一致性、不完整性、消除二义性.该方法可以解决传统方法的一些不足,大大提高系统需求分析的质量与效率.
关键词：构件B方法形式化需求分析
分类号：TP311(计算技术、计算机技术)
资助基金：河南省教育厅自然科学基金项目(0411010500)河南省新世纪优秀人才支持项目(2005HANCET-03)
论文发表日期：2009-01-01
在线出版日期：2025-08-15（本平台首次上网日期，不代表文献的发表时间）
页数：4( 48-50,72 )
英文信息