ClassSheets: automatic generation of spreadsheet applications from object-oriented specifications
A methodology for testing spreadsheets