郑州轻工业学院学报（自然科学版）2008，Vol.23Issue(2)：62-64,3.
B方法和构件技术在软件开发中的应用研究
An application study with B method and component technology in software development
摘要
关键词
构件技术/B方法/形式化方法/软件开发分类
信息技术与安全科学引用本文复制引用
卢中宁,程立辉,张志锋..B方法和构件技术在软件开发中的应用研究[J].郑州轻工业学院学报（自然科学版）,2008,23(2):62-64,3.基金项目
河南省自然科学基金资助项目(0411010500) （0411010500）
