Reasoning about partial goal satisfaction for requirements and design engineering
- 31 October 2004
- conference paper
- conference paper
- Published by Association for Computing Machinery (ACM) in Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering - SIGSOFT '04/FSE-12
- Vol. 29 (6), 53-62
- https://doi.org/10.1145/1029894.1029905
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Agent-based tactics for goal-oriented requirements elaborationPublished by Association for Computing Machinery (ACM) ,2002
- Making decisions: using Bayesian nets and MCDAKnowledge-Based Systems, 2001
- Handling obstacles in goal-oriented requirements engineeringIEEE Transactions on Software Engineering, 2000
- Non-Functional Requirements in Software EngineeringPublished by Springer Science and Business Media LLC ,2000
- Patterns in property specifications for finite-state verificationPublished by Association for Computing Machinery (ACM) ,1999
- Managing conflicts in goal-driven requirements engineeringIEEE Transactions on Software Engineering, 1998
- A cost-value approach for prioritizing requirementsIEEE Software, 1997
- A logic for reasoning about time and reliabilityFormal Aspects of Computing, 1994
- Representing and using nonfunctional requirements: a process-oriented approachIEEE Transactions on Software Engineering, 1992
- Variable-structure systems and system zerosIEE Proceedings D Control Theory and Applications, 1983