郑州轻工业学院学报（自然科学版）2009，Vol.24Issue(5)：48-50,72,4.
基于构件技术和B方法的形式化需求分析
Formalized requirement analysis based on the component technology and method-B
摘要
关键词
构件/B方法/形式化/需求分析分类
信息技术与安全科学引用本文复制引用
梁树军,张志锋,邓璐娟..基于构件技术和B方法的形式化需求分析[J].郑州轻工业学院学报（自然科学版）,2009,24(5):48-50,72,4.基金项目
河南省教育厅自然科学基金项目(0411010500),河南省新世纪优秀人才支持项目(2005HANCET-03) （0411010500）
