共 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