Simple and minimum-cost satisfiability for goal models

@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...}, author = {Sebastiani, R. and Giorgini, P. and Mylopoulos, J. }, citeulike-article-id = {820097}, keywords = {goal, models, satisfiability, solver}, posted-at = {2006-08-28 19:35:05}, priority = {2}, title = {Simple and minimum-cost satisfiability for goal models}, url = {http://citeseer.ist.psu.edu/sebastiani04simple.html}, year = {2004} }

TY - GEN ID - citeulike:820097 L3 - citeulike-article-id:820097 TI - Simple and minimum-cost satisfiability for goal models N2 - 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... KW - goal KW - models KW - satisfiability KW - solver AU - Sebastiani, R AU - Giorgini, P AU - Mylopoulos, J PY - 2004/// UR - http://citeseer.ist.psu.edu/sebastiani04simple.html ER -