![]() ![]() ![]() | ![]() |
![]() ![]() ![]() ![]() ![]() |
![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
Note: Links lead to the DBLP on the Web. Eleonora Nicchiarelli Paolo Giorgini , John Mylopoulos , Eleonora Nicchiarelli, Roberto Sebastiani : Formal Reasoning Techniques for Goal Models. J. Data Semantics I 2003 : 1-20 Paolo Giorgini , John Mylopoulos , Eleonora Nicchiarelli, Roberto Sebastiani : Reasoning with Goal Models. ER 2002 : 167-181 1 [ 1 ] [ 2 ] 2 [ 1 ] [ 2 ] 3 [ 1 ] [ 2 ] ![]() ©2004 Association for Computing Machinery |