|
28
|
Formal Reasoning Techniques for Goal Models
– Paolo Giorgini , John Mylopoulos, Eleonora Nicchiarelli, Roberto Sebastiani
- 2004
|
|
45
|
Simple and minimum-cost satisfiability for goal models
– Roberto Sebastiani, Paolo Giorgini, John Mylopoulos
- 2004
|
|
|
Exploiting Requirements Variability for Software Customization and Adaptation
– Alexei Lapouchnian
- 2011
|
|
111
|
Formal Refinement Patterns for Goal-Driven Requirements Elaboration
– Robert Darimont, Axel Van Lamsweerde
- 1996
|
|
15
|
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
|
|
|
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
|
|
107
|
Requirements Engineering in the Year 00: A Research Perspective
– Axel van Lamsweerde
- 2000
|
|
162
|
Goal-Oriented Requirements Engineering: A Guided Tour
– Axel van Lamsweerde
- 2001
|
|
13
|
The Tropos Methodology: An Overview
– Paolo Giorgini, Manuel Kolp, John Mylopoulos, Marco Pistore
- 2003
|
|
|
unknown title
– Ivan Marsic
- 2009
|
|
|
Knowledge-Based Techniques for Software Requirements Validation
– Jordi Alvarez, Núria Castell
|
|
|
Non-Functional Requirements for Object-Oriented Modeling
– Jaime De Melo, Sabát Neto, Julio Cesar, Sampaio Prado Leite, Luiz Márcio Cysneiros, R. Marquês, São Vicente
|
|
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
|
|
1
|
Enhancing Data Warehouse Design with the NFR Framework
– Fábio Rilston, Silva Paim, Jaelson F. B. Castro
|
