Optimizing requirements decisions with KEYS

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2008, Pages 79-86

  Jalali, Omid ^a   Menzies, Tim ^a   Feather, Martin ^b  

^a WEST VIRGINIA UNIVERSITY   (United States)

^b CALIFORNIA INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

Clumps; Collars; DDP; KEYS

Indexed keywords

COBALT; INTERNAL COMBUSTION ENGINES; KEYS (FOR LOCKS); NASA; OPTIMIZATION; SIMULATED ANNEALING; SOFTWARE ENGINEERING; TECHNICAL PRESENTATIONS;

CLUMPS; COLLARS; DDP; EXTERNAL-; JET PROPULSION LABORATORIES; KEY FACTORS; KEYS; LINEAR OPTIMIZATION PROBLEMS; LINEAR OPTIMIZATIONS; OPTIMAL SOLUTIONS; ORDERS OF MAGNITUDES; PRIOR WORKS; PROPRIETARY INFORMATIONS; REQUIREMENTS MODELS; SPEED-UP;

MODELS;

EID: 57049119233     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1370788.1370807     Document Type: Conference Paper

References (34)

1. Y. Akao. Quality Function Deployment. Productivity Press, Cambridge, Massachusetts, 1990.
2. b. hailpern and p. tarr. model-driven develpment: the good, the bad, and the ugly. ibm systems journal, 45(3):451-461, 2006.
3. S. Bay and M. Pazzani. Detecting change in categorical data: Mining contrast sets. In Proceedings of the Fifth International Conference on Knowledge Discovery and Data Mining, 1999. Available from http://www.ics.uci.edu/-pazzani/Publications/stucco.pdf.
4. A. Biere, A. Cimatti, E. M. Clarke, and Y. Zhu. Symbolic model checking without bdds. In In Proceedings of Tools and Algorithms for the Analysis and Construction of Systems, page 193207, May 1999.
5. A. Brown, S. Iyengar, and S. Johnston. A rational approach to model-driven development. IBM Systems Journal, 45(3):463-480, 2006.
6. C. Cai, A. Fu, C. Cheng, and W. Kwong. Mining association rules with weighted items. In Proceedings of International Database Engineering and Applications Symposium (IDEAS 98), August 1998. Available from http: //www.cse. cuhk.edu.hk/~kdd/assoc-rule/paper.pdf.
7. E. Chiang and T. Menzies. Simulations for very early lifecycle quality evaluations. Software Process: Improvement and Practice, 7(3-4): 141-159, 2003. Available from http://menzies.us/pdf/03spip.pdf.
8. R. Clark. Faster treatment learning, Computer Science, Portland State University. Master's thesis, 2005.
9. S. Cornford, M. Feather, and K. Hicks. DDP a tool for life-cycle risk management. In IEEE Aerospace Conference, Big Sky, Montana, pages 441-451, March 2001.
10. A. Darwiche and P. Marquis. A knowledge compulation map. Journal of Artifical Intelligence Research, 17:229-264, 2002. Available from ww. jair.org/media/989/live-989-2063-jair.pdf.
11. J. DeKleer. An Assumption-Based TMS. Artificial Intelligence, 28:163-196, 1986.
12. P. Domingos and M. J. Pazzani. On the optimality of the simple bayesian classifier under zero-one loss. Machine Learning, 29(2-3): 103-130, 1997.
13. M. Druzdzel. Some properties of joint probability distributions. In Proceedings of the Tenth Annual Conference on Uncertainty in Artificial Intelligence (UAI-94), pages 187-194, 1994. Available from http: //www.pitt.edu/AFShome/d/r/druzdzel/public/html/abstracts/uai94.ht%ml.
14. M. Feather, S. Cornford, K. Hicks, J. Kiper, and T. Menzies. Application of a broad-spectrum quantitative requirements model to early-lifecycle decision making. IEEE Software, 2008. Available from http://menzies.us/pdf/08ddp. pdf.
15. M. Feather and T. Menzies. Converging on the optimal attainment of requirements. In IEEE Joint Conference On Requirements Engineering ICRE'02 and RE'02, 9-13th September, University of Essen, Germany, 2002. Available from http://menzies.us/pdf/02re02.pdf.
16. J. Greenfield and K. Short. Software factories: assembling applications with patterns, models, frameworks, and tools. Wiley Publishing, Indianapolis, IN, 2004.
17. J. Greenwald. A novel metaheuristic search technique: Iterative treatment learning. Master's thesis, Computer Science, Portland State University, 2007. Available from http://unbox.org/wisp/var/Jeremy/Greenwald06Thesis.pdf.
18. R. Holte. Very simple classification rules perform well on most commonly used datasets. Machine Learning, 11:63, 1993.
19. Y. Hu. Treatment learning: Implementation and application. Master's thesis, Department of Electrical Engineering, University of British Columbia, 2003. Masters Thesis.
20. H. Kautz, B. Selman, and Y. Jiang. A general stochastic approach to solving problems with hard and soft constraints. In D. Gu, J. Du, and P. Pardalos, editors, The Satisfiability Problem: Theory and Applications, New York, NY, pages 573-586, 1997. Available on-line at http://citeseer.ist.psu. edu/168907.html.
21. S. Kirkpatrick, C. D. Gelatt, and M. P. Vecchi. Optimization by simulated annealing. Science, Number 4598, 13 May 1983, 220, 4598:671-680, 1983.
22. R. Kohavi and G. H. John. Wrappers for feature subset selection. Artificial Intelligence, 97(1-2):273-324, 1997.
23. T. Menzies, E. Chiang, M. Feather, Y. Hu, and J. Kiper. Condensing uncertainty via incremental treatment learning. In T. M. Khoshgoftaar, editor, Software Engineering with Computational Intelligence. Kluwer, 2003. Available from http://menzies.us/pdf/02itar2.pdf.
24. T. Menzies and P. Compton. Applications of abduction: Hypothesis testing of neuroendocrinological qualitative compartmental models. Artificial Intelligence in Medicine, 10:145-175, 1997. Available from http://menzies.us/pdf/96aim.pdf.
25. T. Menzies and Y. Hu. Data mining for very busy people. In IEEE Computer, November 2003. Available from http://menzies.us/pdf/03tar2.pdf.
26. T. Menzies and Y. Hu. Just enough learning (of association rules): The TAR2 treatment learner. In Artificial Intelligence Review, 2007. Available from http://menzies.us/pdf/07tar2.pdf.
27. T. Menzies, J. Kiper, and M. Feather. Improved software engineering decision support through automatic argument reduction tools. In SEDECS'2003: the 2nd International Workshop on Software Engineering Decision Support (part of SEKE2003), June 2003. Available from http://menzies.us/pdf/03star1.pdf.
28. T. Menzies and H. Singh. Many maybes mean (mostly) the same thing. In M. Madravio, editor, Soft Computing in Software Engineering. Springer-Verlag, 2003. Available from http://menzies.us/pdf/03maybe.pdf.
29. M. Richardson and P. Domingos. Markov logic networks, February 206.
30. B. Selman and H. Kautz. Knowledge compilation and theory approximation. Journal of the ACM, 43(2): 193-224, 1996. Available from http://citeseer.nj.nec.com/article/selman96knowledge.html.
31. S. Sendall and W. Kozacaynski. Model transformation: The heart and soul of model-driven software development. IEEE Software, 20(5):42-45, Sept.-Oct. 2003.
32. H. Simon. The Science of the Artificial (third edition). MIT Press, 1996.
33. D. Waddington and P. Lardieri. Model-centric software development. IEEE Computer, 39(2):28-29, February. 2006.
34. R. Williams, C. Gomes, and B. Selman. Backdoors to typical case complexity. In Proceedings of IJCAI 2003, 2003. http://www.cs.cornell. edu/gomes/FILES/backdoors.pdf.