Toggle Main Menu Toggle Search

ePrints

Formal interactive systems analysis and usability inspection methods: Two incompatible worlds?

Lookup NU author(s): Professor Michael Harrison

Downloads

Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


Abstract

We present our view on how a formal technique for the analysis of interactive systems can be used to support ‘discount’usability inspection methods. As a demonstration, we present a snapshot of our work on supporting heuristic evaluation and on the analysis of selected usability properties. Our method focuses on the exhaustive analysis of functional properties. We claim that the benefits gained by a formal approach like the one presented here justify its extra costs. Moreover, we believe these costs can be kept comparably low by making the analysis technique flexible enough to support a number of other (informal) analysis techniques throughout the different stages of the design process.In fact, for some types of safety-critical systems the use of formal design techniques is required by authorities (see, for example, UK MoD Defense Standard 00-56, safety integrity level S4 of systematic failure integrity).


Publication metadata

Author(s): Loer K, Harrison M

Editor(s): Palanque, P., Paterno, F.

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: Interactive Systems. Design, Specification and Verification. 7th International Workshop, DSV-IS

Year of Conference: 2001

Pages: 169-190

ISSN: 0302-9743 (Print) 1611-3349 (Online)

Publisher: Springer-Verlag

URL: http://dx.doi.org/10.1007/3-540-44675-3_11

DOI: 10.1007/3-540-44675-3_11

Library holdings: Search Newcastle University Library for this item

Series Title: Lecture Notes in Computer Science

ISBN: 9783540416630


Actions

Link to this publication


Share