Interaction engineering using the IVY tool

Abstract

This paper is concerned with support for the process of usability engineering. The aim is to use formal techniques to provide a systematic approach that is more traceable, and because it is systematic, repeatable. As a result of this systematic process some of the more subjective aspects of the analysis can be removed. The technique explores exhaustively those features of a specific design that fail to satisfy a set of properties. It also analyzes those aspects of the design where it is possible to quantify the cost of use. The method is illustrated using the example of a medical device. While many aspects of the approach and its tool support have already been discussed elsewhere, this paper builds on and contrasts an analysis of the same device provided by a third party and in so doing enhances the IVY tool.

European Portuguese Validation of Usefulness, Satisfaction and Ease of Use Questionnaire (USE)

“…For example, it has been utilized to evaluate technologies in the health care domain (e.g. evaluation of rehabilitation equipment for patients with stroke [9], robotics applied to rehabilitation [10], personal health records [11,12], prevention applications [13][14][15], tools to support diagnostic [16] or informal caregivers empowerment [17]), applications to browse the contents of maps [18] or videos [19], social networking sites [20], elearning environments [21,22], tools to support engineering work [23], virtual reality [15], remote labs management [24] or visualization of ontologies [25].…”

“…In Portugal the literature reports the utilization of the USE from north [23] to south of the country [18,19] although, strangely, it is not known any validated European Portuguese version of the questionnaire.…”

GUIsurfer: A Reverse Engineering Framework for User Interface Software

“…The generated models are amenable to analysis via model checking (c.f. (Campos & Harrison, 2009)). In this work, alternative lighter weight approaches have been explored .…”

Using task analytic models to visualize model checker counterexamples

“…Ta ble representations are supported by some model checkers such as the Cadence SMV [12]. These tables may sometimes highlight changes in variables to make it easier to compare variable values between steps [13], [14]. They can also allow analysts to hide variables and steps from the display [15].…”

“…With process and sequence diagrams, variables are either grouped into domain relevant designations (such as processes or threads for software) or represented by themselves [14], [16], [21]- [26]. These designations are listed together along an axis.…”