Browsing by Author "Bowen, Judy"

• 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 ...

  

• 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 ...

  

• Coping with design complexity: a conceptual framework for design alternatives and variants 

  Bowen, Judy; Dittmar, Anke (Springer, 2017)

  Interaction design processes are characterised by multi-disciplinary teamwork and by an interplay of creative, situated and analytical thinking. Although design in the domain of human-computer interaction has been widely ...

  

• 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