共 39 条
- [1] [Anonymous], 1992, LECT NOTES COMPUTER
- [2] Austin L. J., 1962, THINGS WORDS
- [3] BOEHM B, 1995, PROC INT CONF SOFTW, P243, DOI 10.1145/225014.225037
- [5] A formal framework for viewpoint consistency [J]. FORMAL METHODS IN SYSTEM DESIGN, 2002, 21 (02) : 111 - 166
- [6] CHECHIK M, 2001, P INT C CONC THEOR A, P21
- [7] Davis A.M., 2005, JUST ENOUGH REQUIREM
- [8] A framework for multi-valued reasoning over inconsistent viewpoints [J]. PROCEEDINGS OF THE 23RD INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 2001, : 411 - 420
- [9] Easterbrook S., 2001, SOFTWARE ENG NOTES, V26, P76