Simple and minimum-cost satisfiability for goal models

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

Volumn 3084, Issue , 2004, Pages 20-35

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

^a UNIVERSITY OF TRENTO   (Italy)

^b UNIVERSITY OF TORONTO   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

MASS TRANSPORTATION;

BUSINESS OBJECTIVES; DESIGN QUALITY; FORMAL FRAMEWORK; GOAL MODELS; MINIMUM COST; PUBLIC TRANSPORTATION SERVICES; SATISFIABILITY; SOFTWARE REQUIREMENTS;

COSTS;

EID: 35048899193     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-25975-6_4     Document Type: Article

References (13)

1. S.A. Cook. The complexity of theorem proving procedures. In 3rd Annual ACM Symposium on the Theory of Computation, pages 151-158, 1971.
2. A. Dardenne, A. van Lamsweerde, and S. Fickas. Goal-directed requirements acquisition. Science of Computer Programming, 20(1-2):3-50, 1993.
3. M. Davis, G. Logemann, and D. Loveland. A machine program for theorem proving. Journal of the ACM, 5(7), 1962.
4. P. Giorgini, E. Nicchiarelli, J. Mylopoulos, and R.Sebastiani. Reasoning with Goal Models. In Proc. Int. Conference of Conceptual Modeling - ER'02, LNCS, Tampere, Finland, October 2002. Springer.
5. 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.
6. P. Liberatore. Algorithms and Experiments on Finding Minimal Models. Technical report, DIS, University of Rome "La Sapienza", December 2000. Available at http://www.dis.uniromal.it/~liberato/mindp/
7. M. W. Moskewicz, C. F. Madigan, Y. Z., L. Zhang, and S. Malik. Chaff: Engineering an efficient SAT solver. In Design Automation Conference, 2001.
8. J. Mylopoulos, L. Chung, and B. Nixon. Representing and Using Non-Functional Requirements: A Process-Oriented Approach. IEEE Transactions on Sofovare Engineering, 6(18):483-497, June 1992.
9. A. Newell and H. Simon. GPS: A Program that Simulates Human Thought. In E. Feigenbaum and J. Feldman, editors, Computers and Thought. McGraw Hill.
10. N. Nilsson. Problem Solving Methods in Artificial Intelligence. McGraw Hill, 1971.
11. C. Rolland. Reasoning with Goals to Engineer Requirements. In Proceedings 5th International Conference on Enterprise Information Systems, 2003.
12. A. v. Lamsweerde. Requirements engineering in the year 00: A research perspective. In Proceedings 22nd International Conference on Software Engineering, Invited Paper, ACM Press, 2000.
13. Lintao Zhang and Sharad Malik. The quest for efficient boolean satisfiability solvers. In Proc. CAV'02, number 2404 in LNCS, pages 17-36. Springer, 2002.