User interface specification using an enhanced spreadsheet model | Synapse