Reasoning with Goal Models (2002)

by Paolo Giorgini , John Mylopoulos , Eleonora Nicchiarelli , Roberto Sebastiani
Citations:66 - 38 self

Active Bibliography

36 Formal Reasoning Techniques for Goal Models – Paolo Giorgini , John Mylopoulos, Eleonora Nicchiarelli, Roberto Sebastiani - 2004
47 Simple and minimum-cost satisfiability for goal models – Roberto Sebastiani, Paolo Giorgini, John Mylopoulos - 2004
1 Exploiting Requirements Variability for Software Customization and Adaptation – Alexei Lapouchnian - 2011
126 Formal Refinement Patterns for Goal-Driven Requirements Elaboration – Robert Darimont, Axel Van Lamsweerde - 1996
18 Goal-oriented requirements analysis and reasoning in the tropos methodology – Paolo Giorgini, John Mylopoulos, Roberto Sebastiani - 2005
Preface xi – Rudolf Groner, Marina Groner, Walter F. Bischof, Dedicated To George Polya, Marina Groner, Rudolf Groner, Walter F. Bischof - 1980
Issues in Early Artificial Intelligence – Edited J. G. Carbonell, J. Siekmann, Oliviero Stock, Marco Schaerf, Roberto Cordeschi
Table 3. Backward reasoning with the goal model of Figure 7.Goal Modelling and Reasoning in Tropos – Goalminsolve (gray Arrows, Paolo Giorgini, John Mylopoulos, Roberto Sebastiani
118 Requirements Engineering in the Year 00: A Research Perspective – Axel van Lamsweerde - 2000
190 Goal-Oriented Requirements Engineering: A Guided Tour – Axel van Lamsweerde - 2001
14 The Tropos Methodology: An Overview – Paolo Giorgini, Manuel Kolp, John Mylopoulos, Marco Pistore - 2003
unknown title – Ivan Marsic - 2009
unknown title – unknown authors
Knowledge-Based Techniques for Software Requirements Validation – Jordi Alvarez, NĂºria Castell
14 The Treatment of Non-Functional Requirements in MIKE – Dieter Landes, Dieter L, Rudi Studer - 1995
8 An Organization Modelling Framework for Information Systems Requirements Engineering (Extended Abstract) – Eric S. K. Yu - 1993
1 Goal-Oriented Elaboration of Security Requirements – Pierre-Jean Fontaine, Axel Van Lamsweerde, Emmanuel Letier, Robert Darimont - 2001
1 An Integrated Framework for Analysing Changing Requirements – David Duffy, Craig Macnish, Miles Osborne - 1995
2 Dagstuhl Workshop on Scenario Management – Matthias Jarke, X. Tung Bui, John M. Carroll - 1998