[2] 建模的价值IBMRAtional技术***[R].
[3] 邵维忠, 杨芙清. 面向对象的系统分析[M]. 北京: 清华DX出版社. 200.
[4] 郑红军, 张乃孝. 软件开发中的形式化方法[J]. 计算机科学. 1997, 24(6): 90-96.
[5] 王一川, 石纯一. 基于n演算的一种Agent组织模型[J]. 计算机研发与发展. 2003, 40(2): 163-168.
[6] 阿丽亚娜5型火箭发射失败的调查报告[R].
[7] Booch G. Object-Oriented design[J]. ACM SIGAda Ada Letters. 1982,1(3): 64-76.
[8] 陈鑫, 李宣东. 基于设计演算的形式化用例分析建模框架[J]. 软件学报. 2008, 19(10): 2539-2549.
[9] 夏志翔, 徐中伟, 陈祖希等. UML模型形式化B方法转换的实现[J]. 计算机应用与软件. 2011, 28(11): 15-20.
[10] 袁晓东, 郑国梁. 面向对象扩充COOZ的设计[J]. 软件学报. 1997, 8(9): 694-700.
0