共 29 条
- [1] Abrial Jean-Raymond, 1996, The B-Book - Assigning Programs to Meanings
- [2] [Anonymous], 1998, DESIGN ANAL FAULT TO
- [3] [Anonymous], 610121990 IEEE
- [4] BERNSTEIN L, 2003, ADV COMPUT, V58, P240
- [5] A COMPENDIUM OF FORMAL TECHNIQUES FOR SOFTWARE MAINTENANCE [J]. SOFTWARE ENGINEERING JOURNAL, 1993, 8 (05): : 253 - 262
- [6] Towards a taxonomy of software change [J]. JOURNAL OF SOFTWARE MAINTENANCE AND EVOLUTION-RESEARCH AND PRACTICE, 2005, 17 (05): : 309 - 332
- [7] Types of software evolution and software maintenance [J]. JOURNAL OF SOFTWARE MAINTENANCE AND EVOLUTION-RESEARCH AND PRACTICE, 2001, 13 (01): : 3 - 30
- [8] Clark AC, 1999, PROF ENG, V12, P17
- [9] *DEP DEF US, 1995, MILHDBK2084 DEP DEF
- [10] Erdil Kagan., 2003, SOFTWARE MAINTENANCE