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.