共 31 条
[12]
FALLERI JR, 2006, ECMDA TRAC WORKSH EC, P31
[13]
Gamma E., 1995, Design Patterns: Elements of Reusable Object-Oriented Software
[14]
Geraci A., 1991, IEEE STANDARD COMPUT
[15]
GOTEL OCZ, 1994, P INT C REQ ENG IEEE
[16]
Graphviz, GRAPH VIS SOFTW
[17]
Hearnden D, 2006, LECT NOTES COMPUT SC, V4199, P321
[18]
*IRISA, MET LANG KERM
[19]
Jouault F., 2005, P MOD TRANSF PRACT W
[20]
Kent S., 2002, Integrated Formal Methods. Third International Conference, IFM 2002. Proceedings (Lecture Notes in Computer Science Vol.2335), P286