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
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.