EXECUTABLE SPECIFICATIONS AS AN AID TO DIALOGUE DESIGN

Designing the user interface is still an experimental craft, primarily because it is difficult to be precise and objective about what constitutes a “good” design. Consequentiy, interface designers need to be able to experiment with different ideas, subjecting those ideas to user evaluation at an early stage in the process. This paper uses techniques from software engineering to formalise and prototype user interface designs.