Browsing by Author "Bowen, Judy"

Now showing items 1-5 of 50

  • Case studies

    Weyers, Benjamin; Harrison, Michael D.; Bowen, Judy; Dix, Alan; Palanque, Philippe (Springer, 2017)
    This chapter introduces a set of case studies that are used in the rest of the book. They encompass well known problem domains in Human-Computer Interaction research and provide a practical focus for the approaches presented ...
  • Collaboration in research: weaving Kaupapa Māori and computer science

    Rolleston, Anna; Bowen, Judy; Hinze, Annika; Korohina, Erina; Matamua, Rangi (University of Waikato, 2021)
    We describe a collaboration between Māori (indigenous people of Aotearoa/New Zealand) and Tauiwi (non- Māori) researchers on a software engineering project. Te Tiriti o Waitangi (The Treaty of Waitangi) provides the basis ...
  • Collecting sensitive personal data in a multi-cultural environment

    Hinze, Annika; Timpany, Claire; Bowen, Judy; Chang, Carole; Starkey, Nicola J.; Elder, Hinemoa (2018)
    Traumatic Brain Injury (TBI) has long-term effects on memory and cognitive functions. This paper discusses the challenges encountered and lessons learned from developing augmented memory aids for people with TBI. In ...
  • A Coloured Petri Net approach to model and analyze safety-critical interactive systems

    Jaidka, Sapna; Reeves, Steve; Bowen, Judy (IEEE, 2019)
    To gain confidence in safety-critical interactive systems, formal modelling and analysis plays a vital role. The aim of this paper is to use Coloured Petri Nets to model and analyze safety-critical interactive systems. We ...
  • Combining models for interactive system modelling

    Bowen, Judy; Reeves, Steve (Springer International Publishing, 2017)
    Our approach for modelling interactive systems has been to develop models for the interface and interaction which are lightweight but with an underlying formal semantics. Combined with traditional formal methods to describe ...

Showing up to 5 theses - most recently added to Research Commons first.

  • Formal modelling and analysis of safety-critical Interactive systems using Coloured Petri Nets

    Jaidka, Sapna (The University of Waikato, 2020)
    To gain confidence in safety-critical interactive systems, formal modelling and analysis plays a vital role. Generally, existing techniques focus either on modelling the user interface or on modelling the functionality of ...
  • Characterising sound visualisations of specifications using refinement

    Pilbrow, Colin (The University of Waikato, 2019)
    Visualisations can be used to help analyse, explore, and validate Z specifications. However, if visualisations contain errors or are used incorrectly then they can be misleading and harmful. The aim of this work is to ...
  • Using behavioural specifications to support model-checking

    Liu, Bowen (The University of Waikato, 2019)
    Safety-critical interactive systems provide many benefits for human daily life, but erroneous safety-critical interactive systems can lead to serious consequences to the users. Thus building these systems requires that we ...
  • Supporting interactive system testing with interaction sequences

    Turner, Jessica Dawn (The University of Waikato, 2019)
    Despite extensive research into the modelling and testing of interactive systems, existing strategies do not adequately cover all parts of an interactive system. These existing strategies model and test either the functional ...
  • Adaptive user interfaces for the Semantic Web

    Turner, Emmanuel King (The University of Waikato, 2018)
    The Semantic Web aims to democratise data by making data open, shareable and recombinable (Berners-Lee, Hendler, & Lassila, 2001). To achieve these characteristics, Semantic Web data, different to data on the web, is ...

... View More