Toggle Main Menu Toggle Search

Open Access padlockePrints

Reusing models and properties in the analysis of similar interactive devices

Lookup NU author(s): Professor Michael HarrisonORCiD



This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License (CC BY-NC 4.0).


The paper is concerned with the comparative analysis of interactive devices. It compares two devices by checking a battery of template properties that are designed to explore important interface characteristics. The two devices are designed to support similar tasks in a clinical setting but differ in a number of respects as a result of judgements based on a range of considerations including software. Variations between designs are often relatively subtle and do not always become evident through even relatively thorough user testing. Notwithstanding their subtlety these differences may be important to the safety or usability of the device. The illustrated approach uses formal techniques to provide the analysis. This means that similar analysis can be applied systematically.

Publication metadata

Author(s): Harrison MD, Campos JC, Masci P

Publication type: Article

Publication status: Published

Journal: Innovations in Systems and Software Engineering

Year: 2015

Volume: 11

Issue: 2

Pages: 95-111

Print publication date: 01/06/2015

Online publication date: 03/04/2013

Acceptance date: 06/03/2013

Date deposited: 08/03/2013

ISSN (print): 1614-5046

ISSN (electronic): 1614-5054

Publisher: Springer


DOI: 10.1007/S11334-013-0201-3


Altmetrics provided by Altmetric