共 28 条
- [1] Boehm BW(1991)Software risk management: principles and practices IEEE Softw 8 32-41
- [2] Bresciani P(2004)Tropos: an agent-oriented software development methodology J Auton Agent Multi Agent Syst 8 203-236
- [3] Perini A(1993)Goal-directed requirements acquisition Sci Comput Program 20 3-50
- [4] Giorgini P(2003)Formal reasoning techniques for goal models J Data Semantics 1 1-20
- [5] Giunchiglia F(2002)A software fault tree approach to requirements analysis of an intrusion detection system Requir Eng J 7 207-220
- [6] Mylopoulos J(2004)Defining risk Financ Anal J 60 19-25
- [7] Dardenne A(1997)HAZOP—past and future Reliab Eng Syst Saf 55 263-266
- [8] van Lamsweerde A(2000)Handling obstacles in goal-oriented requirements engineering IEEE Trans Softw Eng 26 978-1005
- [9] Fickas S(1997)Requirements analysis using forward and backward search Ann Softw Eng 3 459-475
- [10] Giorgini P(1999)Attack trees: modeling security threats Dr Dobbï J 12 21-29