Automatic generation and maintenance of correct spreadsheets

Proceedings - International Conference on Software Engineering

Volumn 2005, Issue , 2005, Pages 136-145

  Erwig, Martin ^a   Abraham, Robin ^a   Cooperstein, Irene ^b   Kollmansberger, Steve ^a  

^a OREGON STATE UNIVERSITY   (United States)

^b UNIVERSITY OF HOUSTON   (United States)

Author keywords

End user software engineering; Error prevention; Program generation; Spreadsheet; Template; Type system

Indexed keywords

END USER SOFTWARE ENGINEERING; ERROR PREVENTION; TEMPLATES; TYPE SYSTEM;

AUTOMATIC PROGRAMMING; BIT ERROR RATE; SECURITY OF DATA; SOFTWARE ENGINEERING; SOFTWARE PROTOTYPING; SPREADSHEETS; USER INTERFACES;

COMPUTER SOFTWARE MAINTENANCE;

EID: 33244454495     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSE.2005.1553556     Document Type: Conference Paper

References (20)

1. R. Abraham and M. Erwig. Header and Unit Inference for Spreadsheets Through Spatial Analyses. In IEEE Int. Symp. on Visual Languages and Human-Centric Computing, pages 165-172, 2004.
2. R. Abraham, M. Erwig, S. Kollmansberger, and E. Seifert. Visual Specifications of Correct Spreadsheets. Technical Report CS05-60-1, School of EECS, Oregon State University, 2005.
3. Y. Ahmad, T. Antoniu, S. Goldwater, and S. Krishnamurthi. A Type System for Statically Detecting Spreadsheet Errors. In 18th IEEE Int. Conf. on Automated Software Engineering, pages 174-183, 2003.
4. T. Antoniu, P. A. Steckler, S. Krishnamurthi, E. Neuwirth, and M. Felleisen. Validating the Unit Correctness of Spreadsheet Programs. In 26th IEEE Int. Conf. on Software Engineering, pages 439-448, 2004.
5. P. S. Brown and J. D. Gould. An Experimental Study of People Creating Spreadsheets. ACM Transactions on Office Information Systems, 5(3):258-272, 1987.
6. M. M. Burnett, C. Cook, J. Summet, G. Rothermel, and C. Wallace. End-user Software Engineering with Assertions. In Int. Conf. on Software Engineering, pages 93-103, 2003.
7. M. M. Burnett, A. Sheretov, B. Ren, and G. Rothermel. Testing Homogeneous Spreadsheet Grids with the "What You See Is What You Test" Methodology. IEEE Transactions on Software Engineering, 29(6):576-594, 2002.
8. S. Ditlea. Spreadsheets Can be Hazardous to Your Health. Personal Computing, 11(1):60-69, 1987.
9. M. Erwig, R. Abraham, I. Cooperstein, and S. Kollmansberger. Gencel - A Program Generator for Correct Spreadsheets. Technical Report TR04-60-11, School of EECS, Oregon State University, 2004.
10. M. Erwig and M. M. Burnett. Adding Apples and Oranges. In 4th Int. Symp. on Practical Aspects of Declarative Languages, LNCS 2257, pages 173-191, 2002.
11. M. Fisher II, M. Cao, G. Rothermel, C. Cook, and M. M. Burnett. Automated Test Case Generation for Spreadsheets. In Int. Conf. on Software Engineering, pages 141-151, 2002.
12. J. F. Lerch, M. M. Mantei, and J. R. Olson. Skilled Financial Planning: The Cost of Translating Ideas Into Action. ACM Conf. on Human Factors in Computing Systems, pages 121-126, 1989.
13. R. R. Panko. What We Know About Spreadsheet Errors. Journal of End User Computing (Special issue on Scaling Up End User Development), 10(2):15-21, 1998.
14. R. R. Panko. Spreadsheet Errors: What We Know. What We Think We Can Do. In Symp. of the European Spreadsheet Risks Interest Group (EuSpRIG), 2000.
15. S. L. Peyton Jones. Haskell 98 Language and Libraries: The Revised Report. Cambridge University Press, Cambridge, UK, 2003.
16. S. Prabhakarao, C. Cook, J. Ruthruff, E. Creswick, M. Main, M. Durham, and M. Burnett. Strategies and Behaviors of End-User Programmers with Interactive Fault Localization. In IEEE Int. Symp. on Human-Centric Computing Languages and Environments, pages 203-210, 2003.
17. K. Rajalingham, D. R. Chadwick, and B. Knight. Classification of Spreadsheet Errors. Symp. of the European Spreadsheet Risks Interest Group (EuSpRIG), 2001.
18. G. Rothermel, M. M. Burnett, L. Li, C. DuPuis, and A. Sheretov. A Methodology for Testing Spreadsheets. ACM Transactions on Software Engineering and Methodology, pages 110-147, 2001.
19. U.S. Department of Education. Audit of the Colorado Student Loan Program's Establishment and Use of Federal and Operating Funds for the Federal Family Education Loan Program, July 2003. Report ED-OIG/A07-C0009.
20. U.S. Department of Health and Human Services. Review of Medicare Bad Debts at Pitt County Memorial Hospital, January 2003. Report A-04-02-02016.