共 32 条
[1]
Agrawal A., 2011, P 4 INDIA SOFTWARE E, P61, DOI [10.1145/1953355.1953363, DOI 10.1145/1953355.1953363]
[2]
[Anonymous], FORMAL20110101 OMG
[3]
Bubenko J. A. Jr., 1995, Proceedings of the Second IEEE International Symposium on Requirements Engineering (Cat. No.95TH8040), P160, DOI 10.1109/ISRE.1995.512557
[4]
Ceponiene L, 2009, INF TECHNOL CONTROL, V38, P29
[5]
Cheng R, 2011, LECT NOTES BUS INF P, V87, P13
[6]
Friedrich Fabian, 2011, Advanced Information Systems Engineering. Proceedings 23rd International Conference, CAiSE 2011, P482, DOI 10.1007/978-3-642-21640-4_36
[7]
Goedertier S, 2007, LECT NOTES COMPUT SC, V4805, P603
[10]
Hohwiller J, 2011, LECT NOTES BUS INF P, V95, P136