loading...
Visual Specifications of Correct Spreadsheets
Dallas, Texas September 20-September 24
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/VLHCC.2005.702005 IEEE Symposium on Visual Languag ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Robin Abraham, Martin Erwig, Steve Kollmansberger, Ethan Seifert, "Visual Specifications of Correct Spreadsheets," Visual Languages - Human Centric Computing, 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 - Human Centric Computing},
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 - Human Centric Computing
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 - Human Centric Computing
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.


Suggestions