2 papers
cs.SE2025
Verifying User Interfaces using SPARK Ada: A Case Study of the T34 Syringe Driver
Peterson Jean
The increase in safety and critical systems improved Healthcare. Due to their risk of harm, such systems are subject to stringent guidelines and compliances. These safety measures…
cs.HC2025
Lost in Data: How Older Adults Perceive and Navigate Health Data Representations
Peterson Jean, Emma Murphy, Enda Bates
As the ageing population grows, older adults increasingly rely on wearable devices to monitor chronic conditions. However, conventional health data representations (HDRs) often pre…