Reasoning with Goal Models

By Paolo Giorgini, John Mylopoulos, Eleonora Nicchiarelli, Roberto Sebastiani. International Conference on Conceptual Modeling, 2002

337 citations recorded by the source corpus.

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

Tropos: An Agent-Oriented Software Development Methodology (2004, background): “Consistency checking for Tropos models is discussed in [15, 16].”
Secure Tropos: a Security-Oriented Extension of the Tropos Methodology (2007, background): “Although, this in general is left to the developers, a process [35] that is based on the measure of satisfiability [51] can be employed to determine whether for example a mobile agent or a client server architecture is more likely to satisfy the security requirements of the system under development.”
On Non-Functional Requirements in Software Engineering (2009, methodology): “The original process was devised in the NFR Framework [3] and variations followed [42] [43].”
Reasoning about partial goal satisfaction for requirements and design engineering (2004, methodology): “, the house-of-quality weight matrix in the QFD method for evaluating impacts of alternatives on customers goals [1]; the utility weights in [28] for requirements negotiation support; the fuzzy logic values in [35] for detecting conflicts among imprecise requirements; the degrees of evidence of sati”