Reasoning about many-to-many requirement relationships in spreadsheets

Proceedings - IEEE 2002 Symposia on Human Centric Computing Languages and Environments, HCC 2002

Volumn , Issue , 2002, Pages 149-157

  Beckwith, L ^a   Burnett, M ^a   Cook, C ^a  

^a OREGON STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ATTENTION ECONOMICS; COGNITIVE DIMENSIONS; DESIGN DECISIONS; END USERS; HUMAN-CENTRIC DESIGNS; MANY-TO-MANY; REQUIREMENT SPECIFICATION;

ECONOMICS; HUMAN COMPUTER INTERACTION;

SPREADSHEETS;

EID: 0038681722     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/HCC.2002.1046367     Document Type: Conference Paper

References (21)

1. Belkin, N. Helping people find what they don't know, Comm. ACM 41(8), Aug. 2000, 58-61
2. Blackwell, A. and Green, T. R. G. Investment of attention as an analytic approach to cognitive dimensions. In T. Green, R. Abdullah & P. Brna (Eds.) Collected Papers Wkshp. Psychology of Programming Interest Group, 1999, 24-35.
3. 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.
4. Burnett, M., Sheretov, A., Ren, B., and Rothermel, G. Testing homogeneous spreadsheet grids with the 'What You See Is What You Test' methodology, IEEE Trans. Software Engineering, June 2002 (to appear).
5. Corritore, C., Kracher, B., and Wiedenbeck, S. Trust in the online environment, HCI International, Vol, 1, New Orleans, LA, Aug. 2001, 1548-1552.
6. Ericsson, K. and Simon, H. Protocol Analysis, MIT Press, Cambridge, MA, 1984.
7. Ernst, M., Cockrell, J., Griswold, W., and Notkin, D. Dynamically discovering likely program invariants to support program evolution, Int'l. Conf. Software Engineering, Los Angeles, CA, May 1999, 213-224.
8. Gray, W. and Fu, W. Ignoring perfect knowledge in-the-world for imperfect knowledge in-the-head: implications of rational analysis for interface design, ACM Conf. Human Factors in Computing Systems, Seattle, WA, Mar. 2001, 112-119.
9. Green, T. R. G. and Petre, M. Usability analysis of visual programming environments: a 'cognitive dimensions' framework, J. Visual Languages and Computing 7(2), June 1996, 131-174. (Pubitemid 126167522)
10. Karam, M., Smedley T. A testing methodology for a dataflow based visual programming language, IEEE Int'l. Conf. Human Centric Computing, Stresa, Italy, Sept. 2001, 280-287.
11. 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'l. Conf. Software Maintenance, Florence, Italy, Nov. 2001, 72-81.
12. Landay J. and Myers, B. Sketching interfaces: toward more human interface design, Computer 34(3), Mar. 2001, 56-64. (Pubitemid 32255197)
13. Miller, R., and Myers B. Outlier finding: focusing user attention on possible errors, ACM Symp. User Interface Software and Technology, Orlando, FL, Nov. 2001
14. Nardi, B. A Small Matter of Programming: Perspectives on End-User Computing, MIT Press, Cambridge, MA, 1993.
15. Panko, R. What we know about spreadsheet errors, J. End User Computing, Spring 1998.
16. Reichwein, J. Rothermel, G., and Burnett, M. Slicing spreadsheets: an integrated methodology for spreadsheet testing and debugging, Conf. Domain-Specific Languages, Austin, TX, Oct. 1999, 25-38.
17. Rosenblum, D. A practical approach to programming with assertions, IEEE Trans. Software Engineering 21(1), Jan. 1995, 19-31.
18. Rothermel, G., Li, L., DuPuis, C. and Burnett, M. What you see is what you test: a methodology for testing form-based visual programs, Int'l. Conf. Software Engineering, Kyoto, Japan, Apr. 1998, 198-207.
19. Rothermel, G., Burnett, M., Li, L., DuPuis, C., and Sheretov, A. A methodology for testing spreadsheets, ACM Trans. Software Engineering and Methodology, Jan. 2001, 110-147. (Pubitemid 33631327)
20. Sankar, S., and Mandal, M. Concurrent runtime monitoring of formally specified programs, Computer 26, Mar. 1993, 32-41. (Pubitemid 23676017)
21. Wallace C., Cook, C., Summet, J., and Burnett, M. Assertions in end-user software engineering: a think-aloud study, IEEE Symp. Human-Centric Computing Languages and Environments, Arlington, VA, Sept. 2002 (tech note, to appear).