Now showing items 1-2 of 2

  • Eliciting usage contexts of safety-critical medical devices

    Bowen, Judy; Cunningham, Sally Jo; Hinze, Annika; Jung, Doris; Reeves, Steve (Department of Computer Science, The University of Waikato, 2014)
    This position paper outlines our approach to improve the usage choice of suitable devices in different health care environments (contexts). Safety-critical medical devices are presumed to have undergone a thorough ...
  • Using ontologies to reason about the usability of interactive medical devices in multiple situations of use

    Bowen, Judy; Hinze, Annika (Association for Computing Machinery (ACM), 2012)
    Formally modelling interactive software systems and devices allows us to prove properties of correctness about such devices, and thus ensure effectiveness of their use. It also enables us to consider interaction properties ...