loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'05)
Visual Specifications of Correct Spreadsheets
Dallas, Texas
September 20-September 24
ISBN: 0-7695-2443-5
ASCII Text
x 
 
Robin Abraham, Martin Erwig, Steve Kollmansberger, Ethan Seifert, "Visual Specifications of Correct Spreadsheets," Visual Languages and Human-Centric Computing, IEEE Symposium on, pp. 189-196, 2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'05), 2005.
 
 
BibTex
x
 
@article{ 10.1109/VLHCC.2005.70,
author = {Robin Abraham and Martin Erwig and Steve Kollmansberger and Ethan Seifert},
title = {Visual Specifications of Correct Spreadsheets},
journal ={Visual Languages and Human-Centric Computing, IEEE Symposium on},
volume = {0},
year = {2005},
isbn = {0-7695-2443-5},
pages = {189-196},
doi = {http://doi.ieeecomputersociety.org/10.1109/VLHCC.2005.70},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Visual Languages and Human-Centric Computing, IEEE Symposium on
TI - Visual Specifications of Correct Spreadsheets
SN - 0-7695-2443-5
SP189
EP196
A1 - Robin Abraham,
A1 - Martin Erwig,
A1 - Steve Kollmansberger,
A1 - Ethan Seifert,
PY - 2005
KW - null
VL - 0
JA - Visual Languages and Human-Centric Computing, IEEE Symposium on
ER -
 
Robin Abraham, Oregon State University
Martin Erwig, Oregon State University
Steve Kollmansberger, Oregon State University
Ethan Seifert, Oregon State University

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.

Citation:
Robin Abraham, Martin Erwig, Steve Kollmansberger, Ethan Seifert, "Visual Specifications of Correct Spreadsheets," vlhcc, pp.189-196, 2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'05), 2005
Usage of this product signifies your acceptance of the Terms of Use.