Paolo Giorgini, John Mylopoulos, Eleonora Nicchiarelli, Roberto Sebastiani  Home/Search
Context Related
| dit.unitn.it/%7Epgiorgio/pap...er02.pdf Cached: PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
PS.gz PS Image Update HelpFrom: toronto.edu/km/istar/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Over the past decade, goal models have been used in Computer Science in order to represent software requirements, business objectives and design qualities. Such models extend traditional AI planning techniques for representing goals by allowing for partially defined and possibly inconsistent goals. This paper presents a formal framework for reasoning with such goal models. In particular, the paper proposes a qualitative and a numerical axiomatization for goal modeling primitives and... (Update)
Cited by: More
Minimal Disclosure in Hierarchical Hippocratic.. - Massacci, Mylopoulos, .. (2005) (Correct)
On Security Requirements Analysis For . . . - Bresciani (2003) (Correct)
Simple and Minimum-Cost Satisfiability for Goal Models - Sebastiani, Giorgini.. (2004) (Correct)
Active bibliography (related documents): More All
0.3: Reasoning with Goal Models - Paolo Giorgini John (2002) (Correct)
0.3: Formal Reasoning Techniques for Goal Models - Paolo Giorgini John (2004) (Correct)
0.2: Simple and Minimum-Cost Satisfiability - For Goal Models (Correct)
Similar documents based on text: More All
0.3: From Entities and Relationships to Social Actors and.. - Mylopoulos, Fuxman.. (2000) (Correct)
0.3: Agent-Oriented Software Development: A Case Study - Giorgini, Perini.. (2001) (Correct)
0.3: Information Systems as Social Structures - Fuxman, Giorgini, Kolp, Mylopoulos (2001) (Correct)
Related documents from co-citation: More All
9: Goaldirected requirements acquisition - Dardenne, van Lamsweerde et al. - 1993
8: Towards Requirements-Driven Information Systems Engineering: The Tropos Project - Castro, Kolp et al. - 2002
8: NonFunctional Requirements in Software Engineering (context) - Chung, Nixon et al.
BibTeX entry: (Update)
P. Giorgini, J. Mylopoulos, E. Nicchiarelli, and R. Sebastiani. Reasoning with goal models. Technical report, Department of Information and Communication Technologies - University of Trento - Italy, 2002. http://citeseer.ist.psu.edu/giorgini02reasoning.html More
@misc{ giorgini02reasoning,
author = "P. Giorgini and J. Mylopoulos and E. Nicchiarelli and R. Sebastiani",
title = "Reasoning with goal models",
text = "P. Giorgini, J. Mylopoulos, E. Nicchiarelli, and R. Sebastiani. Reasoning
with goal models. Technical report, Department of Information and Communication
Technologies - University of Trento - Italy, 2002.",
year = "2002",
url = "citeseer.ist.psu.edu/giorgini02reasoning.html" }
Citations (may not include all citations):625 A Mathematical Theory of Evidence (context) - Shafer - 1976
229 Goal-directed requirements acquisition - Dardenne, van Lamsweerde et al. - 1993
151 Problem Solving Methods in Artificial Intelligence (context) - Nilsson - 1971
125 Representing and Using Non-Functional Requirements: A Proces.. - Mylopoulos, Chung et al. - 1992
49 GPS: A Program that Simulates Human Thought (context) - Newell, Simon
6 Calculating Criticalities - Bundy, Giunchiglia et al. - 1996
6 Semantic Models for Knowledge Management (context) - Jarvis, McArthur et al. - 2001
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.toronto.edu/km/istar/): More
A Natural Extension of Tropos Methodology for Modelling.. - Haralambos Mouratidis.. (Correct)
The TROPOS Analysis Process as Graph Transformation System - Bresciani, Giorgini (Correct)
Enhancing Agent OPEN with concepts used in the.. - Henderson-Sellers.. (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC