title: A teaching and support tool for building formal models of graphical user-interfaces

authors: Reeves, Steve

subjects: computer science

abstract: In this paper we propose the design of a tool that will allow the construction of a formal, textual description of a software system even if it has a graphical user-interface as a component. An important aspect of this design is that it can be used for two purposes—the teaching of predicate calculus and the formal specification of graphical user-interfaces. The design has been suggested by considering a system that has already been very successful for teaching predicate logic, namely Tarski's World.

text: A teaching and support tool for building formal models of graphical user-interfaces In this paper we propose the design of a tool that will allow the construction of a formal, textual description of a software system even if it has a graphical user-interface as a component. An important aspect of this design is that it can be used for two purposes—the teaching of predicate calculus and the formal specification of graphical user-interfaces. The design has been suggested by considering a system that has already been very successful for teaching predicate logic, namely Tarski's World.

year: 1995-08

title: ‘Generation X Games’, action sports and the Olympic movement: Understanding the cultural politics of incorporation

authors: Thorpe, Holly Aysha

subjects: action sports

abstract: An important and mounting issue for the contemporary Olympic Movement is how to remain relevant to younger generations. Cognizant of the diminishing numbers of youth viewers, and the growing success of the X Games – the ‘Olympics’ of action sport – the International Olympic Committee (IOC) set about adding a selection of youth-oriented action sports into the Olympic programme. In this article we offer the first in-depth discussion of the cultural politics of action sports Olympic incorporation via case studies of windsurfing, snowboarding, and bicycle motocross (BMX). Adopting a post-subcultural theoretical approach, our analysis reveals that the incorporation process, and forms of (sub)cultural contestation, is in each case unique, based on a complex and shifting set of intra- and inter-politics between key agents, namely the IOC and associated sporting bodies, media conglomerates, and the action sport cultures and industries. In so doing, our article illustrates some of the complex power struggles involved in modernizing the Olympic Games in the 21st century.

text: ‘Generation X Games’, action sports and the Olympic movement: Understanding the cultural politics of incorporation An important and mounting issue for the contemporary Olympic Movement is how to remain relevant to younger generations. Cognizant of the diminishing numbers of youth viewers, and the growing success of the X Games – the ‘Olympics’ of action sport – the International Olympic Committee (IOC) set about adding a selection of youth-oriented action sports into the Olympic programme. In this article we offer the first in-depth discussion of the cultural politics of action sports Olympic incorporation via case studies of windsurfing, snowboarding, and bicycle motocross (BMX). Adopting a post-subcultural theoretical approach, our analysis reveals that the incorporation process, and forms of (sub)cultural contestation, is in each case unique, based on a complex and shifting set of intra- and inter-politics between key agents, namely the IOC and associated sporting bodies, media conglomerates, and the action sport cultures and industries. In so doing, our article illustrates some of the complex power struggles involved in modernizing the Olympic Games in the 21st century.

year: 2011

title: The Māori female - her body, spirituality, sacredness and mana : a space within spaces

authors: August, Wikitoria

subjects: Body image in women

abstract: This thesis is an exploration of bodily rituals, practices and cultural spaces of the female Māori body. Critical social theories and Kaupapa Māori research paradigms are combined to disrupt and challenge hegemonic Western knowledges. Qualitative methods - interviews, focus groups and autobiographical experience - are used to understand bodily practices that pertain to being Māori and female. There are three points to my discussion. I argue first, that the embodied relationship between Māori women and urupā and food gathering spaces rests on notions of Papatūānuku and female reproduction. During menstruation or pregnancy most women are restricted from urupā. Many participants, however, view this tikanga positively and describe it as making them feel special. Second, I examine the ways in which Māori female bodies are colonised and positioned between Western patriarchal and traditional ways of being. Due to various reasons surrounding colonisation, there are gaps in younger generations' Māori knowledge and this has led to tensions about which space to occupy. Finally, I discuss mana and conclude by asserting that the Māori female body has not lost individual mana, despite the efforts of colonisation to take mana away from Māori women. Throughout this research I offer cultural perspectives in order to prompt new ways of thinking about the Māori female body. 

The views expressed in this thesis are not the views of all Māori. Practices, tikanga and knowledges vary between different iwi, hapū and rohe.

text: The Māori female - her body, spirituality, sacredness and mana : a space within spaces This thesis is an exploration of bodily rituals, practices and cultural spaces of the female Māori body. Critical social theories and Kaupapa Māori research paradigms are combined to disrupt and challenge hegemonic Western knowledges. Qualitative methods - interviews, focus groups and autobiographical experience - are used to understand bodily practices that pertain to being Māori and female. There are three points to my discussion. I argue first, that the embodied relationship between Māori women and urupā and food gathering spaces rests on notions of Papatūānuku and female reproduction. During menstruation or pregnancy most women are restricted from urupā. Many participants, however, view this tikanga positively and describe it as making them feel special. Second, I examine the ways in which Māori female bodies are colonised and positioned between Western patriarchal and traditional ways of being. Due to various reasons surrounding colonisation, there are gaps in younger generations' Māori knowledge and this has led to tensions about which space to occupy. Finally, I discuss mana and conclude by asserting that the Māori female body has not lost individual mana, despite the efforts of colonisation to take mana away from Māori women. Throughout this research I offer cultural perspectives in order to prompt new ways of thinking about the Māori female body. 

The views expressed in this thesis are not the views of all Māori. Practices, tikanga and knowledges vary between different iwi, hapū and rohe.

year: 2004