参考文章(23)
Rick Salay, Jan Gorzny, Marsha Chechik, Change propagation due to uncertainty change fundamental approaches to software engineering. pp. 21- 36 ,(2013) , 10.1007/978-3-642-37057-1_3
Kim Guldstrand Larsen, The expressive power of implicit specifications international colloquium on automata, languages and programming. pp. 204- 216 ,(1991) , 10.1007/3-540-54233-7_135
Yuanyuan Zhang, Anthony Finkelstein, Mark Harman, Search Based Requirements Optimisation: Existing Work and Challenges requirements engineering foundation for software quality. pp. 88- 94 ,(2008) , 10.1007/978-3-540-69062-7_8
Rick Salay, Michalis Famelis, Marsha Chechik, Language independent refinement using partial modeling fundamental approaches to software engineering. pp. 224- 239 ,(2012) , 10.1007/978-3-642-28872-2_16
Yudistira Asnar, Volha Bryl, Paolo Giorgini, Using Risk Analysis to Evaluate Design Alternatives Lecture Notes in Computer Science. ,vol. 2007, pp. 140- 155 ,(2006) , 10.1007/978-3-540-70945-9_9
Jennifer Horkoff, Eric Yu, Finding solutions in goal models: an interactive backward reasoning approach international conference on conceptual modeling. pp. 59- 75 ,(2010) , 10.5555/1929757.1929764
Paolo Giorgini, John Mylopoulos, Eleonora Nicchiarelli, Roberto Sebastiani, Reasoning with Goal Models international conference on conceptual modeling. pp. 167- 181 ,(2002) , 10.1007/3-540-45816-6_22
Renzo Degiovanni, Dalal Alrajeh, Nazareno Aguirre, Sebastian Uchitel, Automated goal operationalisation based on interpolation and SAT solving international conference on software engineering. pp. 129- 139 ,(2014) , 10.1145/2568225.2568323
Rick Salay, Marsha Chechik, Steve Easterbrook, Zinovy Diskin, Pete McCormick, Shiva Nejati, Mehrdad Sabetzadeh, Petcharat Viriyakattiyaporn, An Eclipse-based tool framework for software model management Proceedings of the 2007 OOPSLA workshop on eclipse technology eXchange - eclipse '07. pp. 55- 59 ,(2007) , 10.1145/1328279.1328291
Jennifer Horkoff, Eric Yu, Interactive goal model analysis for early requirements engineering Requirements Engineering. ,vol. 21, pp. 29- 61 ,(2016) , 10.1007/S00766-014-0209-8