%0 Generic %1 citeulike:820097 %A Sebastiani, R. %A Giorgini, P. %A Mylopoulos, J. %D 2004 %K goal models satisfiability solver %T Simple and minimum-cost satisfiability for goal models %U http://citeseer.ist.psu.edu/sebastiani04simple.html %X Goal models have been used in Computer Science in order to represent software requirements, business objectives and design qualities. In previous work we have presented a formal framework for reasoning with goal models, in a qualitative or quantitative way, and we have introduced an algorithm for forward propagating values through goal models. In this paper we focus on the qualitative framework and we propose a technique and an implemented tool for addressing two much more challenging...

@misc{citeulike:820097, abstract = {Goal models have been used in Computer Science in order to represent software requirements, business objectives and design qualities. In previous work we have presented a formal framework for reasoning with goal models, in a qualitative or quantitative way, and we have introduced an algorithm for forward propagating values through goal models. In this paper we focus on the qualitative framework and we propose a technique and an implemented tool for addressing two much more challenging...}, added-at = {2007-03-17T15:34:03.000+0100}, author = {Sebastiani, R. and Giorgini, P. and Mylopoulos, J.}, biburl = {https://www.bibsonomy.org/bibtex/2f520f0c904f019f84f57f3f122dad538/yijunyu}, citeulike-article-id = {820097}, interhash = {b6a8bf7c2ce007f3f9f2433ea3c2330e}, intrahash = {f520f0c904f019f84f57f3f122dad538}, keywords = {goal models satisfiability solver}, priority = {2}, timestamp = {2007-03-17T15:34:08.000+0100}, title = {Simple and minimum-cost satisfiability for goal models}, url = {http://citeseer.ist.psu.edu/sebastiani04simple.html}, year = 2004 }