User profiles for Abigail Cauchi
Abigail CauchiPhD Researcher, Swansea University Verified email at swansea.ac.uk Cited by 218 |
The benefits of formalising design guidelines: A case study on the predictability of drug infusion pumps
A demonstration is presented of how automated reasoning tools can be used to check the
predictability of a user interface. Predictability concerns the ability of a user to determine the …
predictability of a user interface. Predictability concerns the ability of a user to determine the …
Safer “5–key” number entry user interfaces using Differential Formal Analysis
A Cauchi, A Gimblett, H Thimbleby…�- The 26th BCS�…, 2012 - scienceopen.com
Differential formal analysis is a new user interface analytic evaluation method based on
stochastic user simulation. The method is particularly valuable for evaluating safety critical user …
stochastic user simulation. The method is particularly valuable for evaluating safety critical user …
On formalising interactive number entry on infusion pumps
We define the predictability of a user interface as the property that an idealised user can
predict with sufficient certainty the effect of any action in a given state in a system, where state …
predict with sufficient certainty the effect of any action in a given state in a system, where state …
[BOOK][B] Using analytical and empirical techniques for improving medical device number entry systems design
A Cauchi - 2014 - search.proquest.com
User interfaces that employ the same display and buttons may look the same but can work
very differently depending on how they are implemented. In healthcare, it is critical that …
very differently depending on how they are implemented. In healthcare, it is critical that …
Using medical device logs for improving medical device design
User interfaces that employ the same display and buttons may look the same but can work
very differently depending on exactly how they are implemented. In healthcare, it is critical …
very differently depending on exactly how they are implemented. In healthcare, it is critical …
Using gherkin to extract tests and monitors for safer medical device interaction design
A Cauchi, C Colombo, A Francalanza…�- Proceedings of the 8th�…, 2016 - dl.acm.org
Number entry systems on medical devices are safety critical and it is important to get them
right. Interaction design teams can be multidisciplinary, and in this work we present a process …
right. Interaction design teams can be multidisciplinary, and in this work we present a process …
Design of interactive medical devices: Feedback and its improvement
Y Li, P Oladimeji, C Monroy, A Cauchi…�- …�symposium on IT in�…, 2011 - ieeexplore.ieee.org
The design of medical devices directly affects the way healthcare practitioners carry out their
daily tasks. Users welcome design that takes into account the clinical environment, in which …
daily tasks. Users welcome design that takes into account the clinical environment, in which …
Triangulating empirical and analytic techniques for improving number entry user interfaces
Empirical methods and analytic methods have been used independently to analyse and
improve number entry system designs. This paper identifies key differences in exploring number …
improve number entry system designs. This paper identifies key differences in exploring number …
Differential formal analysis: evaluating safer 5-key number entry user interface designs
A Cauchi�- Proceedings of the 4th ACM SIGCHI symposium on�…, 2012 - dl.acm.org
Differential Formal Analysis (DFA) is an evaluation method based on stochastic simulation
for evaluating safety critical user interfaces with subtle programming differences. This method …
for evaluating safety critical user interfaces with subtle programming differences. This method …
[PDF][PDF] Comparing Actual Practice and User Manuals: A Case Study Based on Programmable Infusion Pumps.
We report on a case study investigating current practice in the use of a programmable infusion
pump. We start by formalising an existing description of the procedure followed by nurses …
pump. We start by formalising an existing description of the procedure followed by nurses …