Generating software from specifications