B方法和构件技术在软件开发中的应用研究
卢中宁
程立辉
张志锋
1.郑州轻工业学院,计算机与通信工程学院,河南,郑州,4500022.郑州轻工业学院,计算机与通信工程学院,河南,郑州,4500023.郑州轻工业学院,计算机与通信工程学院,河南,郑州,450002
摘要：提出了一种基于B方法和构件技术的形式化开发方法,该方法结合构件技术和形式化方法,对软件开发的方法进行改进从而提高了软件的重用,很好地消除了系统的二义性、不完整性和不一致性,大大提高了软件开发效率.
关键词：构件技术B方法形式化方法软件开发
分类号：TP311.52(计算技术、计算机技术)
资助基金：河南省自然科学基金(0411010500)
论文发表日期：2008-01-01
在线出版日期：2025-08-15（本平台首次上网日期，不代表文献的发表时间）
页数：3( 62-64 )
英文信息