A software engineering view of user interface design
Christian Gram · 1996
An interactive system must be designed for usability. But usability is often described through a number of heuristics that are difficult to use directly in the design process. This paper relates the most important usability heuristics to software properties which the developer may design for. The software properties are grouped after influence on the interface quality and after suitability for formal specification. 1 Introduction The quality of an interactive computer system has several facets. The usual software engineering approach concentrates on specifying functional requirements and then constructing a system that adheres to the requirements. An important trend is to use formal (mathematically based) notations for requirements, specifications, and implementations. This opens the road for formally proving certain properties of a specified and implemented system. First it is proved that a specification fulfills the requirements set up, and next it is proved that an implementat...