共 10 条
- [1] [Anonymous], 2003, GUIDE MODELING VERIF
- [2] Bass L., 2003, Software Architecture in Practice. Software Engineering
- [4] Hoare C. A. R., 1985, Communicating Sequential Processes.
- [5] AN AXIOMATIC BASIS FOR COMPUTER PROGRAMMING [J]. COMMUNICATIONS OF THE ACM, 1969, 12 (10) : 576 - &
- [6] IEEE, 2000, STD14712000 IEEE
- [7] Li Tong, 2008, APPROACH MODELLING S
- [9] Mei Hong, 2006, Journal of Software, V17, P1257, DOI 10.1360/jos171257
- [10] Sun Chang-ai, 2002, Journal of Software, V13, P1228