共 10 条
- [1] [Anonymous], 2006, P 28 INT C SOFTW ENG
- [3] BROY M, 2003, P WORKSH FORM ASP CO, P3
- [4] Broy M., 2001, Specification and Development of Interactive Systems: FOCUS on Streams, Interfaces, and Refinement
- [5] BROY M, FESCA WORKSH P ETAPS, P1
- [6] BROY M, 2004, ENG THEORIES SOFTWAR, P47
- [7] BROY M, 2006, ACM T SOFTWARE ENG M
- [8] Broy M, 2005, P 3 WORLD C SOFTW QU
- [9] LELANN G, 1997, P 10 IEEE INT ECBS C, P3339
- [10] Pretschner A, 2005, PROC INT CONF SOFTW, P392