共 15 条
[1]
BACON J, 1998, CONCURRENT SYSTEMS O
[2]
Coffman E. G., 1971, ACM COMPUT SURV, V3, P67, DOI DOI 10.1145/356586.356588
[3]
Dyer M., 1992, CLEANROOM APPROACH Q
[4]
HE Z, 1998, THESIS SOUTHAMPTON I
[5]
KING G, 1995, UNDERSTANDING DESIGN
[8]
NISSANKE N, 1997, REALTIME SYSTEMS
[9]
POORE JH, 1996, CLEANROOM SOFTWARE E
[10]
Pressman Roger S., 1994, SOFTWARE ENG PRACTIT