title: Formal models for user interface design artefacts

authors: Bowen, Judy

subjects: formal methods

abstract: There are many different ways of building software applications and of tackling the problems of understanding the system to be built, designing that system and finally implementing the design. One approach is to use formal methods, which we can generalise as meaning we follow a process which uses some formal language to specify the behaviour of the intended system, techniques such as theorem proving or model-checking to ensure the specification is valid (i.e., meets the requirements and has been shown, perhaps by proof or other means of inspection, to have the properties the client requires of it) and a refinement process to transform the specification into an implementation. Conversely, the approach we take may be less structured and rely on informal techniques. The design stage may involve jotting down ideas on paper, brainstorming with users etc. We may use prototyping to transform these ideas into working software and get users to test the implementation to find problems. Formal methods have been shown to be beneficial in describing the functionality of systems, what we may call application logic, and underlying system behaviour. Informal techniques, however, have also been shown to be useful in the design of the user interface to systems. Given that both styles of development are beneficial to different parts of the system we would like to be able to use both approaches in one integrated software development process. Their differences, however, make this a challenging objective. In this paper we describe models and techniques which allow us to incorporate informal design artefacts into a formal software development process.

text: Formal models for user interface design artefacts There are many different ways of building software applications and of tackling the problems of understanding the system to be built, designing that system and finally implementing the design. One approach is to use formal methods, which we can generalise as meaning we follow a process which uses some formal language to specify the behaviour of the intended system, techniques such as theorem proving or model-checking to ensure the specification is valid (i.e., meets the requirements and has been shown, perhaps by proof or other means of inspection, to have the properties the client requires of it) and a refinement process to transform the specification into an implementation. Conversely, the approach we take may be less structured and rely on informal techniques. The design stage may involve jotting down ideas on paper, brainstorming with users etc. We may use prototyping to transform these ideas into working software and get users to test the implementation to find problems. Formal methods have been shown to be beneficial in describing the functionality of systems, what we may call application logic, and underlying system behaviour. Informal techniques, however, have also been shown to be useful in the design of the user interface to systems. Given that both styles of development are beneficial to different parts of the system we would like to be able to use both approaches in one integrated software development process. Their differences, however, make this a challenging objective. In this paper we describe models and techniques which allow us to incorporate informal design artefacts into a formal software development process.

year: 2008

title: Recognition of Facial Affect in individuals scoring high and low on Psychopathic Personality Characteristics

authors: Ali, Afiya

subjects: psychopathy

abstract: The accuracy of perception of facial emotion expressions was studied in individuals with low and high psychopathic personality characteristics in a sample of 21 male and 39 female university students. Participants completed the Psychopathic Personality Inventory (PPI), and the Behavioural Inhibition Scale and the Behavioural Activation Scale (BIS/BAS) as measures of psychopathy. Participants completed a computerised emotion recognition task containing six emotions of facial expressions (each emotion had five different intensities). The results showed that participants scoring low on the BIS and high on the BAS scores showed significant impairments in the recognition of both sad and fearful expressions. On the other hand, group scoring high on the PPI, showed significant impairment in the recognition of angry, but not fearful or sad expressions in the total sample. Males with high psychopathic personality characteristics showed significant impairments in the recognition of sad, fearful and angry expressions compared to males with low psychopathic personality characteristics. On the other hand females with high psychopathic personality characteristics showed significant impairment in recognising the expression of disgust only compared to females with low psychopathic personality characteristics. The PPI and the BIS/BAS scales showed reasonable alpha reliabilities with some exceptions for one subscale in each measure. Correlations between the PPI and the BIS/BAS scales were weak to moderate. The current findings suggest that different dimensions of psychopathy may be associated with selective impairments in recognising unpleasant emotion expressions in others.

text: Recognition of Facial Affect in individuals scoring high and low on Psychopathic Personality Characteristics The accuracy of perception of facial emotion expressions was studied in individuals with low and high psychopathic personality characteristics in a sample of 21 male and 39 female university students. Participants completed the Psychopathic Personality Inventory (PPI), and the Behavioural Inhibition Scale and the Behavioural Activation Scale (BIS/BAS) as measures of psychopathy. Participants completed a computerised emotion recognition task containing six emotions of facial expressions (each emotion had five different intensities). The results showed that participants scoring low on the BIS and high on the BAS scores showed significant impairments in the recognition of both sad and fearful expressions. On the other hand, group scoring high on the PPI, showed significant impairment in the recognition of angry, but not fearful or sad expressions in the total sample. Males with high psychopathic personality characteristics showed significant impairments in the recognition of sad, fearful and angry expressions compared to males with low psychopathic personality characteristics. On the other hand females with high psychopathic personality characteristics showed significant impairment in recognising the expression of disgust only compared to females with low psychopathic personality characteristics. The PPI and the BIS/BAS scales showed reasonable alpha reliabilities with some exceptions for one subscale in each measure. Correlations between the PPI and the BIS/BAS scales were weak to moderate. The current findings suggest that different dimensions of psychopathy may be associated with selective impairments in recognising unpleasant emotion expressions in others.

year: 2007

title: Observations by and conversations with health workers and hospital personnel involved in transferring Maori patients and whānau to Waikato Hospital in Aotearoa New Zealand

authors: Masters-Awatere, Bridgette

subjects: Science & Technology

abstract: The predominant focus of Aotearoa New Zealand’s public health system on biomedical models of health has left little room for meaningful engagement with holistic indigenous approaches. Culturally appropriate provision and support are recognized for their relevance and importance during hospital transferals. Hospital staff involved in transfers to one of New Zealand’s trauma centers share their observations of whānau Māori engagement during an admission away from their home base. Sixteen key informants share their experiences, which are presented as strategies and challenges to whānau engagement. Three main themes highlight challenges within the health system that make it difficult for hospital staff to engage whānau in the desired ways and as often as both parties would like. Key informants described services and practices that are not designed with patients and their whānau in mind; instead they are designed by clinicians around the needs of administrative systems. As employees within the public health system, key informants felt powerless to challenge dominant settings. Nevertheless, employees managed to circumnavigate processes. Our findings highlight the need for continued decolonization and anti-racism work within public health settings.

text: Observations by and conversations with health workers and hospital personnel involved in transferring Maori patients and whānau to Waikato Hospital in Aotearoa New Zealand The predominant focus of Aotearoa New Zealand’s public health system on biomedical models of health has left little room for meaningful engagement with holistic indigenous approaches. Culturally appropriate provision and support are recognized for their relevance and importance during hospital transferals. Hospital staff involved in transfers to one of New Zealand’s trauma centers share their observations of whānau Māori engagement during an admission away from their home base. Sixteen key informants share their experiences, which are presented as strategies and challenges to whānau engagement. Three main themes highlight challenges within the health system that make it difficult for hospital staff to engage whānau in the desired ways and as often as both parties would like. Key informants described services and practices that are not designed with patients and their whānau in mind; instead they are designed by clinicians around the needs of administrative systems. As employees within the public health system, key informants felt powerless to challenge dominant settings. Nevertheless, employees managed to circumnavigate processes. Our findings highlight the need for continued decolonization and anti-racism work within public health settings.

year: 2020