共 27 条
[1]
AMPO Y, 1995, P FDN SOFTW ENG 95
[2]
[Anonymous], 1996, ARIANE 5 FLIGHT 501
[3]
Boehm B. W., 1981, SOFTWARE ENG EC
[4]
BUTLER RW, 1995, P 10 ANN C COMP ASS
[6]
CROW J, 1996, WORKSH FORM METH SOF
[7]
CROW J, 1995, SRICSL9517 SRI INT
[8]
DIVITO BL, 1996, P FORMAL METHODS EUR
[9]
EASTERBROOK S, 1996, P IEEE 5 WORKSH EN T
[10]
EASTERBROOK S, 1997, P 3 IEEE S REQ ENG R