基于B方法应用软件开发.PDFVIP

( ) 第 39 卷 第 3 期 河南大学学报 自然科学版 Vol . 39 　No . 3 2009 年 5 月 Journal of Henan U niver sit y (Nat ural Science) May 2009 基于 B 方法的应用软件开发 1 2 陈丹敏 ,裘宗燕 ( 1. 河南大学 计算机与信息工程学院 ,河南 开封 475004 ; 　2 . 北京大学 数学科学学院 ,北京 10087 1) 摘 　要 : 随着应用的发展 ,计算机系统的一致性和可靠性变得越来越重要.