Gencel
-
Automatic generation and maintenance of correct spreadsheets
-
ClassSheets - model-based, object-oriented design of spreadsheet applications
-
ClassSheets: Automatic generation of spreadsheet applications from object-oriented specifications
-
Gencel: A program generator for correct spreadsheets
-
Visual specifications of correct spreadsheets