3Fredericka P Brooks Jr 汪颖译.人月神话[M].北京:清华大学出版社,2002.10—12.
4胡塞尔.欧洲科学危机和超验现象[M].上海:上海译文出版社,1988.71.
5Rush by J. Formal Method and Certification of Critical Systems [ M]. Technical Report CSL-93 -7. Compont Seience Laboratory,SRl International, 1993.66 - 67.
6Booch G. Object Oriented Development [J ]. IEEE Trans on Software Eng,1986.12 (1) :211,221.
7Mike S. Impacts Object Oriented Technologies: Seven Years of Software[ J ]. J Systems Software, 1993.23 ( 1 ) : 163 - 169.
8Henderson B, Edwards J M. The Object Oriented System Lifecycle[ J ]. Comm ACM, 1990.3( 1 ) : 142,159.
9Jenyen C,Yanting C. A New Object - oriented Method Integrating Jackson Structed Progra -mining Metliod[J] . J Systems Software, 1994.24(1) : 125 - 137.
10Tony B, Ancly E. O O Oversold:Those Objects of Obscure Desire[J].inf & Sort Tech,1993.24(1) :35-42.
