共 40 条
[1]
Abrial J.-R., 1991, VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe Proceedings. Vol.2: Tutorials, P398, DOI 10.1007/BFb0020001
[2]
[Anonymous], 1997, UML SEM VERS 1 1
[4]
Bernon C., 2005, P STOCHASTIC ANAL CL, P1
[5]
Bertolini D., 2005, CONTR AOSE TFG M
[6]
Beydoun G., 2005, SIGSOFT SOFTW ENG NO, P1
[7]
Bezivin J., 2001, P TOOLS USA VOL IEEE, P346
[8]
Bolusset T., 2002, RCS 02 INT WORKSH RE
[9]
Bousquet F., 1999, 1 INT WORKSH CENTR E, P154
[10]
COLLINS BP, 1991, INST MATH C, V27, P153