Please read our student and staff community guidance on COVID-19
Skip to main content Skip to navigation

024 - Enhancing Interaction in Computer-Aided Design

Abstract

Computer-aided techniques must support design as a process involving consultation between human agents and interaction with the world at the level of partial solutions. We discuss and illustrate the potential for using generalisations of spreadsheets as consultative documents in the design process. Our work involves the comprehensive adoption of systems of definitions as a representation for state in programming and design.

Download