The business case for automated software engineering

ASE'07 - 2007 ACM/IEEE International Conference on Automated Software Engineering

Volumn , Issue , 2007, Pages 303-312

  Menzies, Tim ^a   Elrawas, Oussama ^a   Hihn, Jairus ^b   Feather, Martin ^b   Madachy, Ray ^c   Boehm, Barry ^c  

^a WEST VIRGINIA UNIVERSITY   (United States)

^b CALIFORNIA INSTITUTE OF TECHNOLOGY   (United States)

^c UNIVERSITY OF SOUTHERN CALIFORNIA   (United States)

Author keywords

bayes; COCOMO; COQUALMO; simulated annealing

Indexed keywords

ALTERNATE METHOD; BAYES; BAYESIAN; BUSINESS CASE; LOCAL DATA; LOCAL TUNING; POST-PROCESSOR; PROJECT DECISION; SOFTWARE EFFORT; SOFTWARE PREDICTION MODELS;

ANNEALING; AUTOMATION; COMPUTER SIMULATION; COMPUTER SOFTWARE; DEFECTS; MATHEMATICAL MODELS; NASA; TUNING;

SIMULATED ANNEALING;

EID: 77949883201     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1321631.1321676     Document Type: Conference Paper

References (29)

1. B. Boehm. Software Engineering Economics. Prentice Hall, 1981.
2. B. Boehm. Safe and simple software cost analysis. IEEE Software, pages 14-17, September/October 2000. Available from http://www.computer.org/ certification/beta/Boehm-Safe.pdf.
3. B. Boehm, E. Horowitz, R. Madachy, D. Reifer, B. K. Clark, B. Steece, A. W. Brown, S. Chulani, and C. Abts. Software Cost Estimation with Cocomo II. Prentice Hall, 2000.
4. S. Chulani, B. Boehm, and B. Steece. Bayesian analysis of empirical software engineering cost models. IEEE Transaction on Software Engineerining, 25(4), July/August 1999.
5. J. Clark, J. J. Dolado, M. Harman, R. M. Hierons, B. Jones, M. Lumkin, B. Mitchell, S. Mancoridis, K. Rees, M. Roper, and M. Shepperd. Reformulating software engineering as a search problem. IEE Proceedings on Software, 150(3):161-175, 2003. Available from http://www.brunel.ac.uk/~csstrmh/papers/ sbse.ps.
6. R. Clark. Faster treatment learning, Computer Science, Portland State University. Master's thesis, 2005.
7. S. L. Cornford, M. S. Feather, J. Dunphy, J. Salcedo, and T. Menzies. Optimizing spacecraft design optimization engine development: Progress and plans. In Proceedings of the IEEE Aerospace Conference, Big Sky, Montana, 2003. Available from http://menzies.us/pdf/03aero.pdf.
8. T. DeMarco and T. Lister. Peopleware: productive projects and teams. Dorset House Publishing Co., Inc., New York, NY, USA, 1987.
9. S. Devnani-Chulani. Bayesian Analysis of Software Cost and Quality Models. PhD thesis, 1999. Available on-line at http://citeseer.ist.psu.edu/ devnani-chulani99bayesian.html.
10. 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.
11. 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.
12. M. Hall and G. Holmes. Benchmarking attribute selection techniques for discrete class data mining. IEEE Transactions On Knowledge And Data Engineering, 15(6):1437-1447, 2003. Available from http://www.cs.waikato.ac.nz/~mhall/ HallHolmesTKDE.pdf.
13. M. Harman and J. Wegener. Getting results from search-based approaches to software engineering. In ICSE '04: Proceedings of the 26th International Conference on Software Engineering, pages 728-729, Washington, DC, USA, 2004. IEEE Computer Society.
14. K. Havelund and T. Pressburger. Model checking java programs using java pathfinder. International Journal on Software Tools for Technology Transfer, 2(4), April 2000. Available from http://ase.arc.nasa.gov/visser/jpf/jpf1.ps.gz.
15. G. Holzmann. The model checker SPIN. IEEE Transactions on Software Engineering, 23(5):279-295, May 1997.
16. IEEE-1012. IEEE standard 1012-2004 for software verification and validation, 1998.
17. B. Jackson, J. Griggs, K. Costello, and D. Solomon. Systems level definition of iv&v, 2006. NASA document IVV 09-1, last revised March 16, 2006, available on-line at http://www.nasa.gov/centers/ivv/pdf/170825main-IVV- 09-1.pdf.
18. J. Josephson, B. Chandrasekaran, M. Carroll, N. Iyer, B. Wasacz, and G. Rizzoni. Exploration of large design spaces: an architecture and preliminary results. In AAAI '98, 1998. Available from http://www.cis.ohio-state.edu/~jj/ Explore.ps.
19. J. King and M. Diaz. How CMM impacts quality, productivity, rework, and the bottom line. CROSSTALK, March 2002. Avaiable from http://www.stsc.hill.af. mil/crosstalk/2002/03/diaz.html.
20. S. Kirkpatrick, C. D. Gelatt, and M. P. Vecchi. Optimization by simulated annealing. Science, Number 4598, 13 May 1983, 220, 4598:671-680, 1983.
21. R. Kohavi and G. H. John. Wrappers for feature subset selection. Artificial Intelligence, 97(1-2):273-324, 1997.
22. T. Menzies, Z. Chen, J. Hihn, and K. Lum. Selecting best practices for effort estimation. IEEE Transactions on Software Engineering, November 2006. Available from http://menzies.us/pdf/06coseekmo.pdf.
23. T. Menzies and Y. Hu. Data mining for very busy people. In IEEE Computer, November 2003. Available from http://menzies.us/pdf/03tar2.pdf.
24. T. Menzies, D. Raffo, S. on Setamanit, Y. Hu, and S. Tootoonian. Model-based tests of truisms. In Proceedings of IEEE ASE 2002, 2002. Available from http://menzies.us/pdf/02truisms.pdf.
25. T. Menzies and J. Richardson. Xomo: Understanding development options for autonomy. In COCOMO forum, 2005, 2005. Available from http://menzies.us/pdf/ 05xomo-cocomo-forum.pdf. For more details, see also the longer technical report http://menzies.us/pdf/05xomo101.pdf.
26. T. Menzies and E. Sinsel. Practical large scale what-if queries: Case studies with software risk assessment. In Proceedings ASE 2000, 2000. Available from http://menzies.us/pdf/00ase.pdf.
27. N. Metropolis, A. Rosenbluth, M. Rosenbluth, A. Teller, and E. Teller. J. Chem. Phys, 21:1087-1092, 1953.
28. R. Rubinstein and D. Kroese. The Cross-Entropy Method: A Unified Approach to Combinatorial Optimization, Monte-Carlo Simulation, and Machine Learning. Springer-Verlag, 2004.
29. D. Wallace and R. Fujii. Software verification and validation: An overview. IEEE Software, pages 10-17, May 1989.