Visual specifications of correct spreadsheets

Proceedings - 2005 IEEE Symposium on Visual Languages and Human-Centric Computing

Volumn 2005, Issue , 2005, Pages 189-198

  Abraham, Robin ^a   Erwig, Martin ^a   Kollmansberger, Steve ^a   Seifert, Ethan ^a  

^a OREGON STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COGNITIVE DIMENSIONS FRAMEWORK; EXCEL SPREADSHEETS; TEMPLATES; VISUAL SPECIFICATIONS;

COGNITIVE SYSTEMS; COMPUTATION THEORY; COMPUTER PROGRAMMING LANGUAGES; ERROR CORRECTION; FILE EDITORS; FORMAL LANGUAGES; SPREADSHEETS; VISUALIZATION;

COMPUTER VISION;

EID: 33746205840     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/VLHCC.2005.70     Document Type: Conference Paper

References (14)

1. R. Abraham and M. Erwig. Header and Unit Inference for Spreadsheets Through Spatial Analyses. IEEE Int. Symp. on Visual Languages and Human-Centric Computing, pp. 165-172, 2004.
2. Y. Ahmad, T. Antoniu, S. Goldwater, and S. Krishnamurthi. A Type System for Statically Detecting Spreadsheet Errors. 18th IEEE Int. Conf. on Automated Software Engineering, pp. 174-183, 2003.
3. A. F. Blackwell and T. R. G. Green. Notational Systems - The Cognitive Dimensions of Notations Framework. HCI Models, Theories, and Frameworks: Toward and Interdisciplinary Science, pp. 103-133, 2003.
4. M. M. Burnett, C. Cook, J. Summet, G. Rothermel, and C. Wallace. End-User Software Engineering with Assertions. IEEE Int. Conf. on Software Engineering, pp. 93-103, 2003.
5. S. Clarke. Evaluating a New Programming Language. 13th Psychology of Programming Interest Group Workshop, pp. 275-289, 2001.
6. K. Cox. Cognitive Dimensions of Use Cases - Feedback From a Student Questionnaire. 12th Psychology of Programming Interest Group Workshop, pp. 99-122, 2000.
7. S. Ditlea. Spreadsheets Can be Hazardous to Your Health. Personal Computing, 11(1):60-69, 1987.
8. 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.
9. M. Erwig, R. Abraham, I. Cooperstein, and S. Kollmansberger. Automatic Generation and Maintenance of Correct Spreadsheets. 27th IEEE Int. Conf. on Software Engineering, pp. 136-145, 2005.
10. M. Erwig and M. M. Burnett. Adding Apples and Oranges. 4th Int. Symp. on Practical Aspects of Declarative Languages, LNCS 2257, pp. 173-191, 2002.
11. T. R. G. Green and M. Petre. Usability Analysis of Visual Programming Environments: A 'Cognitive Dimensions' Framework. Journal of Visual Languages and Computing, 7(2):131-174, 1996.
12. R. R. Panko. Spreadsheet Errors: What We Know. What We Think We Can Do. Symp. of the European Spreadsheet Risks Interest Group (EuSpRIG), 2000.
13. K. Rajalingham, D. R. Chadwick, and B. Knight. Classification of Spreadsheet Errors. Symp. of the European Spreadsheet Risks Interest Group (EuSpRIG), 2001.
14. G. Rothermel, M. M. Burnett, L. Li, C. DuPuis, and A. Sheretov. A Methodology for Testing Spreadsheets. ACM Transactions on Software Engineering and Methodology, pp. 110-147, 2001.