Sciweavers

11 search results - page 1 / 3
» Automatic generation and maintenance of correct spreadsheets
Sort
View
ICSE
2005
IEEE-ACM
16 years 5 months ago
Automatic generation and maintenance of correct spreadsheets
Existing spreadsheet systems allow users to change cells arbitrarily, which is a major source of spreadsheet errors. We propose a system that prevents errors in spreadsheets by re...
Martin Erwig, Robin Abraham, Irene Cooperstein, St...
VL
2008
IEEE
111views Visual Languages» more  VL 2008»
15 years 11 months ago
Test-driven goal-directed debugging in spreadsheets
We present an error-detection and -correction approach for spreadsheets that automatically generates questions about input/output pairs and, depending on the feedback given by the...
Robin Abraham, Martin Erwig
126
Voted
VL
2005
IEEE
117views Visual Languages» more  VL 2005»
15 years 10 months ago
Goal-Directed Debugging of Spreadsheets
We present a semi-automatic debugger for spreadsheet systems that is specifically targeted at end-user programmers. Users can report expected values for cells that yield incorrec...
Robin Abraham, Martin Erwig
VL
2007
IEEE
149views Visual Languages» more  VL 2007»
15 years 11 months ago
A Type System Based on End-User Vocabulary
In previous work we have developed a system that automatically checks for unit errors in spreadsheets. In this paper we describe our experiences using the system in a workshop on ...
Robin Abraham, Martin Erwig, Scott Andrew
OOPSLA
2007
Springer
15 years 11 months ago
Detection and correction of design defects in object-oriented designs
Design defects come from poor design choices and have the effect of degrading the quality of object-oriented designs. Therefore, they present opportunities for improvements. Howev...
Naouel Moha