Visual Specifications of Correct Spreadsheets
Authors:
- R. AbrahamRAR. Abraham
- M. ErwigMEM. Erwig
- S. KollmansbergerSKS. Kollmansberger
- E. SeifertESE. Seifert
- 18 October 2005
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 189-196
Abstract
No abstract availableThis publication has 8 references indexed in Scilit:
- Gencel: a program generator for correct spreadsheetsJournal of Functional Programming, 2006
- Header and Unit Inference for Spreadsheets Through Spatial Analyses2005
- A type system for statically detecting spreadsheet errors2003
- Notational Systems—The Cognitive Dimensions of Notations Framework2003
- End-user software engineering with assertions in the spreadsheet paradigm2003
- Adding Apples and Oranges2001
- A methodology for testing spreadsheetsACM Transactions on Software Engineering and Methodology, 2001
- Usability Analysis of Visual Programming Environments: A ‘Cognitive Dimensions’ FrameworkJournal of Visual Languages & Computing, 1996