共 8 条
- [1] DANIEL K, 2003, FORMAL VERIFICATION
- [2] EDWARDS SH, 1995, FORMAL MODEL SOFTWAR
- [3] JIA Y, 2002, EVOLUTINARY COMPONEN
- [5] Mili H., 2002, Reuse-based Software Engineering Techniques, Organizations, and Controls
- [6] PING AI, 2002, RES FORMAL METHOD DE
- [7] WEBER H, 2002, T SDPS J INTEGRATED, V6, P1
- [8] ZHANG GW, 2003, J SOFTWARE, V14, P1345