Skip to main content Skip to navigation

024 - Enhancing Interaction in Computer-Aided Design


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.