Formal user models as a design tool for interactive systems
Richard J. Butterworth, ANN E. BLANDFORD, David John Duke · 2000
We discuss and exemplify how formal user models can be integrated into a formal development life-cycle. Doing so allows for usability criteria to be addressed during design as opposed to in a post-hoc manner. We specify two web browsers and then show how a very simple user model can be used to comparatively analyse the usability of the two browsers. We purposely use models no more complicated than is required by the evaluation. We discuss how these simple models can be refined in order to give more detailed (yet more costly) evaluations.