Formal Reasoning Techniques for Goal Models
Authors:
- 1 January 2003
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 1-20
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Goal-based requirements analysis2002
- The use of goals to surface requirements for evolving systems2002
- A design process based on a model combining scenarios with goals and functionsIEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans, 2000
- Guiding goal modeling using scenariosIEEE Transactions on Software Engineering, 1998
- Managing conflicts in goal-driven requirements engineeringIEEE Transactions on Software Engineering, 1998
- Fast planning through planning graph analysisArtificial Intelligence, 1997
- Calculating criticalitiesArtificial Intelligence, 1996
- Goal-directed requirements acquisitionScience of Computer Programming, 1993
- Representing and using nonfunctional requirements: a process-oriented approachIEEE Transactions on Software Engineering, 1992
- GPS, A PROGRAM THAT SIMULATES HUMAN THOUGHT1988