Reasoning with goal models

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2503, Issue , 2002, Pages 167-181

  Giorgini, Paolo ^a   Mylopoulos, John ^b   Nicchiarelli, Eleonora ^a   Sebastiani, Roberto ^a  

^a UNIVERSITY OF TRENTO   (Italy)

^b UNIVERSITY OF TORONTO   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

BUSINESS OBJECTIVES; CAR MANUFACTURERS; DESIGN QUALITY; FORMAL FRAMEWORK; LABEL PROPAGATION; PROPAGATION ALGORITHM; SOFTWARE REQUIREMENTS; SOUND AND COMPLETE;

AUTOMOBILE MANUFACTURE;

EID: 84974691155     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45816-6_22     Document Type: Conference Paper

References (7)

1. A. Bundy, F. Giunchiglia, R. Sebastiani, and T. Walsh. Calculating Criticalities. Artificial Intelligence, 88(1-2), December 1996.
2. A. Dardenne, A. van Lamsweerde, and S. Fickas. Goal-directed requirements acquisition. Science of Computer Programming, 20(1–2): 3–50, 1993.
3. R. Jarvis, G. McArthur, J. Mylopoulos, P. Rodriguez-Gianolli, and S. Zhou. Semantic Models for Knowledge Management. In Proc. of the Second International Conference on Web Information Systems Engineering (WISE’01), 2001.
4. J. Mylopoulos, L. Chung, and B. Nixon. Representing and Using Non-Functional Requirements: A Process-Oriented Approach. IEEE Transactions on Software Engineering, 6(18): 483–497, June 1992.
5. A. Newell and H. Simon. GPS: A Program that Simulates Human Thought. In E. Feigenbaum and J. Feldman, editors, Computers and Thought. McGraw Hill.
6. N. Nilsson. Problem Solving Methods in Artificial Intelligence. McGraw Hill, 1971.
7. G. Shafer. A Mathematical Theory of Evidence. Princeton University Press., 1976.