Using an SMT solver for interactive requirements prioritization

SIGSOFT/FSE 2011 - Proceedings of the 19th ACM SIGSOFT Symposium on Foundations of Software Engineering

Volumn , Issue , 2011, Pages 48-58

  Palma, Francis ^a   Susi, Angelo ^a   Tonella, Paolo ^a  

^a FONDAZIONE BRUNO KESSLER   (Italy)

Author keywords

Constraint solving; Requirements prioritization

Indexed keywords

CONSTRAINT SOLVING; DECISION MAKERS; IMPLEMENTATION COST; INTERACTIVE APPROACH; ORDER RELATION; PAIR-WISE COMPARISON; PERCEIVED VALUE; PRIORITIZATION; RELATIVE PRIORITIES; REQUIREMENTS PRIORITIZATION; SATISFIABILITY MODULO THEORIES; SOFTWARE DEVELOPMENT PROCESS; TECHNICAL CONSTRAINTS;

HEALTH CARE; KNOWLEDGE ACQUISITION; SOFTWARE DESIGN;

USER INTERFACES;

EID: 80053196432     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2025113.2025124     Document Type: Conference Paper

References (16)

1. R. Andrich, F. Botto, V. Gower, C. Leonardi, O. Mayora, L. Pigini, V. Revolti, L. Sabatucci, A. Susi, and M. Zancanaro. ACube: User-Centred and Goal-Oriented techniques. Technical report, Fondazione Bruno Kessler - IRST, 2010.
2. P. Avesani, C. Bazzanella, A. Perini, and A. Susi. Facing scalability issues in requirements prioritization with machine learning techniques. In RE 2005, pages 297-306, 2005.
3. D. Greer and G. Ruhe. Software release planning: an evolutionary and iterative approach. Information and Software Technology, 46(4):243-253, 2004.
4. P. T. Harker. Incomplete Pairwise Comparisons in the Analytic Hierarchy Process. Math. Modelling, 9(11):837 - 848, 1987.
5. H. P. In, D. Olson, and T. Rodgers. Multi-criteria preference analysis for systematic requirements negotiation. In COMPSAC 2002, pages 887-892, 2002.
6. J. Karlsson. Software Requirements Prioritizing. In Proceedings of 2nd International Conference on Requirements Engineering (ICRE'96), pages 110-116, April 1996.
7. J. Karlsson and K. Ryan. A cost-value approach for prioritizing requirements. IEEE Software, 14(5):67-74, 1997. (Pubitemid 127554991)
8. S. Lauesen. Software requirements: styles and techniques. Addison Wesley, 2002.
9. D. Leffingwell and D. Widrig. Managing Software Requirements: A Unified Approach. Addison-Wesley Longman Inc., 2000.
10. F. Moisiadis. Prioritising software requirements. In SERP 2002, June 2002.
11. A. Ngo-The and G. Ruhe. Requirements negotiation under incompleteness and uncertainty. In Proceedings of the Fifteenth International Conference on Software Engineering & Knowledge Engineering, SEKE, pages 586-593, San Francisco Bay, CA, USA, July 2003.
12. T. L. Saaty and L. G. Vargas. Models, Methods, Concepts & Applications of the Analytic Hierarchy Process. Kluwer Academic, 2000.
13. S. Sivzittian and B. Nuseibeh. Linking the Selection of Requirements to Market Value: A Portfolio - Based Approach. In REFSQ 2001, 2001.
14. P. Tonella, A. Susi, and F. Palma. Using Interactive GA for Requirements Prioritization. In 2nd International Symposium on Search Based Software Engineering, pages 57-66. IEEE, 2010.
15. K. E. Wiegers. Software Requirements. Best Practices. Microsoft Press, 1999.
16. Y. Zhang, M. Harman, and S. A. Mansouri. The multi-objective next release problem. In GECCO'07, pages 1129-1137. ACM, 2007. (Pubitemid 47291672)