Qualitative, interactive, backwards analysis of i* models

CEUR Workshop Proceedings

Volumn 322, Issue , 2008, Pages 43-46

  Horkoff, Jennifer ^a   Yu, Eric ^a  

^a UNIVERSITY OF TORONTO   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

BACKWARDS ANALYSIS; GOAL MODELING; INTERACTIVE ANALYSIS; QUALITATIVE EVALUATIONS; SAT PROBLEMS; SAT-SOLVING; TOPDOWN;

ITERATIVE METHODS;

EID: 84864704392     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (3)

1. Sebastiani, R., Giorgini, P., Mylopoulos, J.: Simple and Minimum Cost Satisfiability for Goal Models. CAiSE'04 (2004)
2. * Models for Evaluation. MSc Thesis, University of Toronto (2006)
3. */Tropos Worshop (2005)