共 37 条
[21]
Olsen A, 1999, LECT NOTES COMPUT SC, V1597, P342
[22]
REED R, 1993, SPECIFICATION PROGRA
[23]
Rumbaugh J., 1991, Object -Oriented Modeling and Design
[24]
SCHIEFERDECKER I, 1998, P INT NETW SERV C 19
[26]
Schmidt DC, 1997, COMMUN ACM, V40, P85, DOI 10.1145/262793.262810
[27]
*SCORE, 2017 SCORE RACE
[28]
SINNOTT RO, 1998, FRAMEWORKS FUTURE FO
[29]
SINNOTT RO, 1999, P 2 IEEE INT S OBJ O
[30]
SINNOTT RO, 1999, FORMAL METHODS OPEN, P187