Exploring Design Options Rationally

Abstract. This paper describes a design technique for interactive systems that allows designs to be specified and refined formally, using a notation based on Action Systems. The rationale underlying the choices made by designers is recorded in a style based on the “Questions, Options, Criteria” notation. The means of capturing formal specifications and the reasoning behind design decisions are presented as parts of a uniform framework; a formal account is given of how design options satisfy criteria and how design options can be combined to answer larger design questions.

• Type: Conference
• Year: 1995
• Where: DSVIS
• Authors: Chris Bramwell, Bob Fields, Michael D. Harrison
• Keywords: Design, Design Options, DSVIS 1995, Human Computer Interaction, Options Satisfy Criteria