End-user software engineering with assertions in the spreadsheet paradigm

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2003, Pages 93-103

  Burnett, Margaret ^a   Cook, Curtis ^a   Pendse, Omkar ^a   Rothermel, Gregg ^a   Summet, Jay ^a   Wallace, Chris ^a  

^a OREGON STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE SELECTION AND EVALUATION; ERROR CORRECTION; PROGRAM DIAGNOSTICS; SPREADSHEETS; USER INTERFACES;

END USER PROGRAM DEVELOPMENT; END USER SOFTWARE ENGINEERING;

SOFTWARE PROTOTYPING;

EID: 0037587612     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/icse.2003.1201191     Document Type: Conference Paper

References (31)

1. Allwood, C. Error detection processes in statistical problem solving. Cognitive Science 8(4), 1984, 413-437.
2. Auguston, M., Banerjee, S., Mamnani, M., Nabi, G., Reinfelds J., Sarkans, U., and Strnad, I. A debugger and assertion checker for the Awk programming language. Int. Conf. Soft. Eng., 1996.
3. Beckwith, L., Burnett, M., and Cook, C. Reasoning about many-to-many requirement relationships in spreadsheets, IEEE Symp. Human-Centric Lang. Environ. Arlington, VA, Sept. 2002, 149-157
4. Belkin, N. Helping people find what they don't know, Comm. ACM 41(8), Aug. 2000, 58-61
5. Boehm, B. and Basili, V. Gaining intellectual control of software development, Computer 33(5), May 2000, 27-33.
6. Burnett, M., Atwood, J., Djang, R., Gottfried, H., Reichwein, J., and Yang, S. Forms/3: a first-order visual language to explore the boundaries of the spreadsheet paradigm, J. Functional Programming, Mar. 2001, 155-206.
7. Cook, C., Rothermel, K., Burnett, M., Adams, T., Rothermel, G., Sheretov, A., Cort, F., and Reichwein, J. Does a visual "testedness" methodology aid debugging? TR #99-60-07, Oregon State Univ., rev. March 2001.
8. Corritore, C., Kracher, B., and Wiedenbeck, S. Trust in the online environment, HCI International, Vol. 1, New Orleans, LA, Aug. 2001, 1548-1552.
9. Dwyer, M., Avrunin, G., and Corbett, J. Patterns in property specifications for finite-state verification, Int. Conf. Soft. Eng., Los Angeles, CA, May 1999, 411-420.
10. Ernst, M., Cockrell, J., Griswold, W., and Notkin, D. Dynamically discovering likely program invariants to support program evolution, Int. Conf. Soft. Eng., Los Angeles, CA, May 1999, 213-224.
11. Fisher, M., Cao, M., Rothermel, G., Cook, C., and Burnett, M. Automated test case generation for spreadsheets, Int. Conf. Soft. Eng., Orlando, FL, May 2002, 141-151.
12. Hangal, S. and Lam, M. Tracking down software bugs using automatic anomaly detection, Int. Conf. Soft. Eng., Orlando, FL, May 2002, 291-301.
13. Krishna, V., Cook, C., Keller, D., Cantrell, J., Wallace, C., Burnett, M., and Rothermel, G. Incorporating incremental validation and impact analysis into spreadsheet maintenance: an empirical study,IEEE Int. Conf. Soft. Maintenance, Florence, Italy, Nov. 2001, 72-81.
14. Leventhal, L., Teasley, B., and Rohlman, D. Analyses of factors related to positive test bias in software testing. Int. J. Human-Computer Studies 41, 1994, 717-749.
15. Meyer, B. Applying "Design by Contract," Computer 25(10), October 1992, 40-51.
16. Michael, J., Ong, V., and Rowe, N. Natural-language processing support for developing policy-governed software systems, Int. Conf. Technology for Object-Oriented Languages and Systems, Santa Barbara, CA, 2001.
17. Miller, R. and Myers, B. Outlier finding: focusing user attention on possible errors, ACM Symp. User Interface Software and Technology, Nov. 2001.
18. Pane, J., Ratanamahatan, C., and Myers, B. Studying the language and structure in non-programmers' solutions to programming problems. Int. J. Human-Computer Studies 54(2), Feb. 2001, 237-264.
19. Panko, R. Finding spreadsheet errors: most spreadsheet models have design flaws that may lead to long-term miscalculation, Information Week, May 1995, 100-100.
20. Panko, R. What we know about spreadsheet errors. J. End User Computing, Spring 1998, 15-21.
21. Raz, O., Koopman, P., and Shaw, M. Semantic anomaly detection in online data sources, Int. Conf. Soft. Eng., Orlando, FL, May 2002, 302-312.
22. Rosenblum, D. A practical approach to programming with assertions, IEEE Trans. Soft. Eng., Jan. 1995, 19-31.
23. Rosenblum, D., Sankar, S. and Luckham, D. Concurrent runtime checking of Annotated Ada programs, Conf. Foundations Soft. Technology and Theoretical Comp. Science (LNCS 241). NY, Springer-Verlag, Dec. 1986, 10-35.
24. Rothermel, G., Burnett, M., Li, L., DuPuis, C., Sheretov, A. A methodology for testing spreadsheets, ACM Trans. Soft. Eng. and Methodology, Jan. 2001, 110-147.
25. Sankar, S., Mandal, M. Concurrent runtime monitoring of formally specified programs, Computer, Mar. 1993, 32-41.
26. Smith, R., Avrunin, G., Clarke, L., and Osterweil, L. Propel: an approach supporting property elucidation, Int. Conf. Soft. Eng., Orlando, FL, May 2002, 11-21.
27. Summet, J. and Burnett, M. End-user assertions: propagating their implications, TR 02-60-04, Oregon State Univ., 2002.
28. Wallace, C., Cook, C., Summet, J., and Burnett, M. Assertions in end-user software engineering: a think-aloud study (Tech Note), IEEE Symp. Human-Centric Lang. Environ., Arlington, VA, Sept. 2002, 63-65.
29. Welch, D., String, S. An exception-based assertion mechanism for C++. J. Obj. Oriented Prog. 11(4), 1998, 50-60.
30. Wilcox, E., Atwood, J., Burnett, M., Cadiz, J., and Cook, C. Does continuous visual feedback aid debugging in direct-manipulation programming system? ACM Conf. Human Factors in Computing Systems, Mar. 1997, 258-265.
31. Wilson, A., Burnett, M., Beckwith, L., Granatir, O., Casburn, L., Cook, C., Durham M. and Rothermel, G. Harnessing curiosity to increase correctness in end-user programming, ACM Conf. Human Factors in Computing Systems, Ft. Lauderdale, FL, Apr. 2003 (to appear).