An experimental study of people creating spreadsheets
ACM Transactions on Information Systems (TOIS)
Spreadsheets can be hazardous to your health
Personal Computing
Skilled financial planning: the cost of translating ideas into action
CHI '89 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
What we know about spreadsheet errors
Journal of End User Computing - End User Development
A methodology for testing spreadsheets
ACM Transactions on Software Engineering and Methodology (TOSEM)
Testing Homogeneous Spreadsheet Grids with the "What You See Is What You Test" Methodology
IEEE Transactions on Software Engineering
Automated test case generation for spreadsheets
Proceedings of the 24th International Conference on Software Engineering
PADL '02 Proceedings of the 4th International Symposium on Practical Aspects of Declarative Languages
End-user software engineering with assertions in the spreadsheet paradigm
Proceedings of the 25th International Conference on Software Engineering
Validating the Unit Correctness of Spreadsheet Programs
Proceedings of the 26th International Conference on Software Engineering
Header and Unit Inference for Spreadsheets Through Spatial Analyses
VLHCC '04 Proceedings of the 2004 IEEE Symposium on Visual Languages - Human Centric Computing
Strategies and behaviors of end-user programmers with interactive fault localization
HCC '03 Proceedings of the 2003 IEEE Symposium on Human Centric Computing Languages and Environments
How to communicate unit error messages in spreadsheets
WEUSE I Proceedings of the first workshop on End-user software engineering
ClassSheets: automatic generation of spreadsheet applications from object-oriented specifications
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Gencel: a program generator for correct spreadsheets
Journal of Functional Programming
Inferring templates from spreadsheets
Proceedings of the 28th international conference on Software engineering
Type inference for spreadsheets
Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming
An empirical evaluation of a testing and debugging methodology for Excel
Proceedings of the 2006 ACM/IEEE international symposium on Empirical software engineering
Translating keyword commands into executable code
UIST '06 Proceedings of the 19th annual ACM symposium on User interface software and technology
UCheck: A spreadsheet type checker for end users
Journal of Visual Languages and Computing
Implementing logic spreadsheets in less
The Knowledge Engineering Review
SpreadMash: A Spreadsheet-Based Interactive Browsing and Analysis Tool for Data Services
CAiSE '08 Proceedings of the 20th international conference on Advanced Information Systems Engineering
Demonstration of Software Components for End-User Development
HCSE-TAMODIA '08 Proceedings of the 2nd Conference on Human-Centered Software Engineering and 7th International Workshop on Task Models and Diagrams
Rapid development of spreadsheet-based web mashups
Proceedings of the 18th international conference on World wide web
Automatic detection of dimension errors in spreadsheets
Journal of Visual Languages and Computing
Spatio-textual spreadsheets: geotagging via spatial coherence
Proceedings of the 17th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems
No Code Required: Giving Users Tools to Transform the Web
No Code Required: Giving Users Tools to Transform the Web
The state of the art in end-user software engineering
ACM Computing Surveys (CSUR)
MDSheet: a framework for model-driven spreadsheet engineering
Proceedings of the 34th International Conference on Software Engineering
Coupled evolution of model-driven spreadsheets
Proceedings of the 34th International Conference on Software Engineering
Systematic evolution of model-based spreadsheet applications
Journal of Visual Languages and Computing
Bidirectional transformation of model-driven spreadsheets
ICMT'12 Proceedings of the 5th international conference on Theory and Practice of Model Transformations
User-driven modelling: Visualisation and systematic interaction for end-user programming
Journal of Visual Languages and Computing
Hi-index | 0.00 |
Existing spreadsheet systems allow users to change cells arbitrarily, which is a major source of spreadsheet errors. We propose a system that prevents errors in spreadsheets by restricting spreadsheet updates to only those that are logically and technically correct. The system is based on the concept of templates that describe the principal structure of the initial spreadsheet and all of its future versions. We have developed a program generator that translates a template into an initial spreadsheet together with customized update operations for changing cells and inserting/deleting rows and columns for this particular template.We have designed a type system for templates that ensures the following form of "spreadsheet maintenance safety": Update operations that are generated from a type-correct template are proved to transform the spreadsheet only according to the template and to never produce any omission, reference, or type errors.Finally, we have developed a prototype as an extension to Excel, which has been shown by a preliminary usability study to be well accepted by end users.