Invited Talks.- Retrospective and Challenges for Model-Based Interface Development.- Human Factor... more Invited Talks.- Retrospective and Challenges for Model-Based Interface Development.- Human Factors in Aeronautics.- Abstract Interpretation and Application to Interactive System Verification.- Moving Towards Implementation.- Device Models.- A Formal Description of Low Level Interaction and its Application to Multimodal Interactive Systems.- Deriving a Formal Model of an Interactive System from its UIL Description in order to Verify and Test its Behaviour.- Prototyping Device Interfaces with DSN/2.- Evaluating Formal Languages.- Toward More Understandable User Interface Specifications.- Towards an Integrated Proposal for Interactive Systems Design Based on TLIM and ICO.- The Evaluation of User Interface Notations.- Analysing Errors.- Supporting Error-Driven Design.- Risk Analysis, Impact and Interaction Modelling.- Design Assistance for User-Adapted Interaction.- Design, Specification and Verification.- GRALPLA: an Algebraic Specification Language for Interactive Graphic Systems.- Fusion Engines and Melting Pots.- Monolingual, Articulated Modeling of Users, Devices, and Interfaces.- Evaluating the Interfaces of Three Theorem Proving Assistants.- Validating Properties of Component-based Graphical User Interfaces.- Specifying and Reasoning About CSCW.- Reports from Working Groups.- The Namur Principles: Criteria for the Evaluation of User Interface Notations.- The Role of Formalisms.
ABSTRACT The use of critical information is ubiquitous in today’s world, and often distributed ac... more ABSTRACT The use of critical information is ubiquitous in today’s world, and often distributed across multiple participants of a socio-technical work-system. However, incidents sometimes unfortunately happen, because the dual constraints of using correct, and consistent information were not fully satisfied. To support investigation, and learning from such incidents, we propose and illustrate one way to frame investigative hypotheses. The approach proposed is called the Information Safety Framework, and is based on Distributed Cognition in its design and conceptualisation. Through explicitly modelling, and understanding the factors shaping the progression of such ‘informational’ incidents, we hope to reduce their reoccurrence in future. Two patient safety incidents are used to illustrate our approach.
Abstract Hypermedia systems allow information to be created, stored, accessed, and manipulated in... more Abstract Hypermedia systems allow information to be created, stored, accessed, and manipulated in a variety of ways. One example of such a system is a digital library (DL). DLs are typically difficult to learn and to use. One aspect of learnability is that novice users should be able to learn how to search effectively; one approach to this is having the system provide context-relevant help. We report on two studies: the first identifies novices' difficulties, which informed design changes to integrate adaptive help into a DL system; ...
BACKGROUND Digital health interventions (DHIs) have become increasingly common across healthcare,... more BACKGROUND Digital health interventions (DHIs) have become increasingly common across healthcare, both before and during the COVID-19 pandemic. Health inequalities, particularly by ethnicity, are recognised across diseases, but may be excluded in frameworks addressing implementation of DHIs. OBJECTIVE Using cardiometabolic disease as an exemplar, this scoping review aims to assess how health inequalities are addressed in frameworks relevant to the implementation, uptake and use of DHIs, health and ethnic inequalities, and interventions for cardiometabolic disease. METHODS SCOPUS, PubMed, EMBASE and grey literature was searched to identify frameworks relevant to: implementation, uptake and use of DHIs; ethnically or culturally diverse populations and health inequalities; and interventions for cardiometabolic disease. We assessed the extent to which these include health inequalities, specifically regarding ethnicity; and explored how these were addressed, drawing out recommendations f...
Proceedings of the 5th EAI International Conference on Wireless Mobile Communication and Healthcare - "Transforming healthcare through innovations in mobile and wireless technologies", 2015
Invited Talks.- Retrospective and Challenges for Model-Based Interface Development.- Human Factor... more Invited Talks.- Retrospective and Challenges for Model-Based Interface Development.- Human Factors in Aeronautics.- Abstract Interpretation and Application to Interactive System Verification.- Moving Towards Implementation.- Device Models.- A Formal Description of Low Level Interaction and its Application to Multimodal Interactive Systems.- Deriving a Formal Model of an Interactive System from its UIL Description in order to Verify and Test its Behaviour.- Prototyping Device Interfaces with DSN/2.- Evaluating Formal Languages.- Toward More Understandable User Interface Specifications.- Towards an Integrated Proposal for Interactive Systems Design Based on TLIM and ICO.- The Evaluation of User Interface Notations.- Analysing Errors.- Supporting Error-Driven Design.- Risk Analysis, Impact and Interaction Modelling.- Design Assistance for User-Adapted Interaction.- Design, Specification and Verification.- GRALPLA: an Algebraic Specification Language for Interactive Graphic Systems.- Fusion Engines and Melting Pots.- Monolingual, Articulated Modeling of Users, Devices, and Interfaces.- Evaluating the Interfaces of Three Theorem Proving Assistants.- Validating Properties of Component-based Graphical User Interfaces.- Specifying and Reasoning About CSCW.- Reports from Working Groups.- The Namur Principles: Criteria for the Evaluation of User Interface Notations.- The Role of Formalisms.
ABSTRACT The use of critical information is ubiquitous in today’s world, and often distributed ac... more ABSTRACT The use of critical information is ubiquitous in today’s world, and often distributed across multiple participants of a socio-technical work-system. However, incidents sometimes unfortunately happen, because the dual constraints of using correct, and consistent information were not fully satisfied. To support investigation, and learning from such incidents, we propose and illustrate one way to frame investigative hypotheses. The approach proposed is called the Information Safety Framework, and is based on Distributed Cognition in its design and conceptualisation. Through explicitly modelling, and understanding the factors shaping the progression of such ‘informational’ incidents, we hope to reduce their reoccurrence in future. Two patient safety incidents are used to illustrate our approach.
Abstract Hypermedia systems allow information to be created, stored, accessed, and manipulated in... more Abstract Hypermedia systems allow information to be created, stored, accessed, and manipulated in a variety of ways. One example of such a system is a digital library (DL). DLs are typically difficult to learn and to use. One aspect of learnability is that novice users should be able to learn how to search effectively; one approach to this is having the system provide context-relevant help. We report on two studies: the first identifies novices' difficulties, which informed design changes to integrate adaptive help into a DL system; ...
BACKGROUND Digital health interventions (DHIs) have become increasingly common across healthcare,... more BACKGROUND Digital health interventions (DHIs) have become increasingly common across healthcare, both before and during the COVID-19 pandemic. Health inequalities, particularly by ethnicity, are recognised across diseases, but may be excluded in frameworks addressing implementation of DHIs. OBJECTIVE Using cardiometabolic disease as an exemplar, this scoping review aims to assess how health inequalities are addressed in frameworks relevant to the implementation, uptake and use of DHIs, health and ethnic inequalities, and interventions for cardiometabolic disease. METHODS SCOPUS, PubMed, EMBASE and grey literature was searched to identify frameworks relevant to: implementation, uptake and use of DHIs; ethnically or culturally diverse populations and health inequalities; and interventions for cardiometabolic disease. We assessed the extent to which these include health inequalities, specifically regarding ethnicity; and explored how these were addressed, drawing out recommendations f...
Proceedings of the 5th EAI International Conference on Wireless Mobile Communication and Healthcare - "Transforming healthcare through innovations in mobile and wireless technologies", 2015
Uploads
Papers by Ann Blandford