3 documents found, page 1 of 1
Explaining Spreadsheets with Spreadsheets (Short Paper)
Cunha, Jácome; Dan, Mihai; Erwig, Martin; Fedorin, Danila; Grejuc, AlexBased on the concept of explanation sheets, we present an approach to make spreadsheets easier to understand and thus easier to use and maintain. We identify the notion of explanation soundness and show that explanation sheets which conform to simple rules of formula coverage provide sound explanations. We also present a practical evaluation of explanation sheets based on samples drawn from widely used spreadsh...
Model inference for spreadsheets
Mendes, Jorge; Erwig, Martin; Cunha, Jácome Miguel Costa; Saraiva, João AlexandreMany errors in spreadsheet formulas can be avoided if spreadsheets are built automati- cally from higher-level models that can encode and enforce consistency constraints in the generated spreadsheets. Employing this strategy for legacy spreadsheets is dificult, because the model has to be reverse engineered from an existing spreadsheet and existing data must be transferred into the new model-generated spreadshe...
Automatically inferring ClassSheet models from spreadsheets
Cunha, Jácome; Erwig, Martin; Saraiva, João AlexandreMany errors in spreadsheet formulas can be avoided if spreadsheets are built automatically from higher-level models that can encode and enforce consistency constraints. However, designing such models is time consuming and requires expertise beyond the knowledge to work with spreadsheets. Legacy spreadsheets pose a particular challenge to the approach of controlling spreadsheet evolution through higher-level mod...