关于计算机功能的理解的文献？
[1]Booch G. Object-Oriented design[J]. ACM SIGAda Ada Letters. 1982,1(3)： 64-76.
[2]建模的价值IBMRational技术白皮书[R].
[3]邵维忠.杨芙清.面向对象的系统分析[M].北京：清华大学出版社.2000
[4]郑红军.张乃孝.软件幵发中的形式化 *** [J].计算机科学.1997,24(6)： 90-96.
[5]王1川，石纯1.基于n演算的1种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