Visual Specifications of Correct Spreadsheets

Authors:
Robin Abraham;Martin Erwig;Steve Kollmansberger;Ethan Seifert
Affiliations:
Oregon State University;Oregon State University;Oregon State University;Oregon State University
Venue:
VLHCC '05 Proceedings of the 2005 IEEE Symposium on Visual Languages and Human-Centric Computing
Year:
2005

Citing 0
Cited 13

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
UCheck: A spreadsheet type checker for end users

Journal of Visual Languages and Computing
Automatic detection of dimension errors in spreadsheets

Journal of Visual Languages and Computing
The state of the art in end-user software engineering

ACM Computing Surveys (CSUR)
Type-safe evolution of spreadsheets

FASE'11/ETAPS'11 Proceedings of the 14th international conference on Fundamental approaches to software engineering: part of the joint European conferences on theory and practice of software
From relational ClassSheets to UML+OCL

Proceedings of the 27th Annual ACM Symposium on Applied Computing
MDSheet: a framework for model-driven spreadsheet engineering

Proceedings of the 34th International Conference on Software Engineering
A bidirectional model-driven spreadsheet environment

Proceedings of the 34th International Conference on Software Engineering
Coupled evolution of model-driven spreadsheets

Proceedings of the 34th International Conference on Software Engineering
Bidirectional transformation of model-driven spreadsheets

ICMT'12 Proceedings of the 5th international conference on Theory and Practice of Model Transformations

Quantified Score

Hi-index	0.00

Visualization

Abstract

We introduce a visual specification language for spreadsheets that allows the definition of spreadsheet templates. A spreadsheet generator can automatically create Excel spreadsheets from these templates together with customized update operations. It can be shown that spreadsheets created in this way are free from a large class of errors, such as reference, omission, and type errors. We present a formal definition of the visual language for templates and describe the process of generating spreadsheets from templates. In addition, we present an editor for templates and analyze the editor using the Cognitive Dimensions framework.