Browsing by Supervisor "Bowen, Judy"
Now showing items 1-9 of 9
-
A Mobile Augmented Memory Aid for people with Traumatic Brain Injury
(University of Waikato, 2017)Traumatic Brain Injury (TBI) occurs when an external mechanical force traumatically injures the brain. The 2010/2011 population-based study shows that the total incidence of TBI in New Zealand has increased to 790 per ... -
Adaptive user interfaces for the Semantic Web
(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 ... -
Characterising sound visualisations of specifications using refinement
(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 ... -
Formal modelling and analysis of safety-critical Interactive systems using Coloured Petri Nets
(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 ... -
Investigating the use of wearable technology to support safety in the workplace
(The University of Waikato, 2018)Many workplaces in New Zealand can be described as hazardous. That is, the nature of the work and/or workplace, or the combination of the two, can lead to situations where workers may be at risk of workplace accidents. One ... -
Investigating Tools and Methods for Data Capture of Forestry Workers
(University of Waikato, 2016)The forestry industry in New Zealand has been in the spotlight for many years due to its poor health and safety record. Workplace locations are often remote requiring extended travel times and worksites rarely offer any ... -
Recording and Tracking Design Decisions in Interactive System Development
(University of Waikato, 2016)Experience economy is prompting the innovation of traditional product design. The design concept - "user-centered design" has received wide recognition. In the face of many professional or non-professional users, the ... -
Supporting interactive system testing with interaction sequences
(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 ... -
Using behavioural specifications to support model-checking
(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 ...
