title: Governance and legitimacy: Indigenous development in Aotearoa

authors: Dodd, Materoa

subjects: Māori governance

abstract: Within the indigenous paradigm lies a paradox over what constitutes legitimate Māori authority: Iwi structures are legitimated and recognised by the state, and traditional forms (for example, Hapū and Māori women), have had their authority diminished. Iwi authorities are colonial constructs that diminish the rights of Hapū and Māori women. The manner in which such constructs have come about generally has not involved tribewide debate over important issues in which Hapū and Māori women have an interest. For their legitimacy, emergent self-governing structures will need to be grounded in principles that ensure legitimate representation of Māori people and not socially constructed hybrids of a colonial past. Structures need to recognise Hapū and Māori women in the formulation, anything less than this will trigger a legitimation crisis.

text: Governance and legitimacy: Indigenous development in Aotearoa Within the indigenous paradigm lies a paradox over what constitutes legitimate Māori authority: Iwi structures are legitimated and recognised by the state, and traditional forms (for example, Hapū and Māori women), have had their authority diminished. Iwi authorities are colonial constructs that diminish the rights of Hapū and Māori women. The manner in which such constructs have come about generally has not involved tribewide debate over important issues in which Hapū and Māori women have an interest. For their legitimacy, emergent self-governing structures will need to be grounded in principles that ensure legitimate representation of Māori people and not socially constructed hybrids of a colonial past. Structures need to recognise Hapū and Māori women in the formulation, anything less than this will trigger a legitimation crisis.

year: 2000-10

title: An evaluation of Te Rau Puawai workforce 100: Evaluation overview

authors: Nikora, Linda Waimarie

subjects: Maori students

abstract: In July 2001, the Maori & Psychology Research Unit of the University of Waikato was asked to conduct an evaluation of the Te Rau Puawai programme, a joint venture between the former Health Funding Authority and Massey University. The overall goal of the programme is to contribute at least 100 Maori graduates to the Maori mental health workforce within a five year period. The overall aim of the evaluation was to provide the Ministry of Health with a clearer understanding of the programme including: the perceived critical success factors, the barriers if any regarding Te Rau Puawai, the impact of the programme, the extent to which the programme may be transferable, gaps in the programme, and suggested improvements. Through archival search, questionnaire surveys and interviews, evaluative data was collected from major stakeholders in the Te Rau Puawai programme.

text: An evaluation of Te Rau Puawai workforce 100: Evaluation overview In July 2001, the Maori & Psychology Research Unit of the University of Waikato was asked to conduct an evaluation of the Te Rau Puawai programme, a joint venture between the former Health Funding Authority and Massey University. The overall goal of the programme is to contribute at least 100 Maori graduates to the Maori mental health workforce within a five year period. The overall aim of the evaluation was to provide the Ministry of Health with a clearer understanding of the programme including: the perceived critical success factors, the barriers if any regarding Te Rau Puawai, the impact of the programme, the extent to which the programme may be transferable, gaps in the programme, and suggested improvements. Through archival search, questionnaire surveys and interviews, evaluative data was collected from major stakeholders in the Te Rau Puawai programme.

year: 2002-05-01

title: Using behavioural specifications to support model-checking

authors: Liu, Bowen

subjects: Formal methods,Cucumber,Behavioural Speficication

abstract: Safety-critical interactive systems provide many beneﬁts 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 ensure a high level of correctness. Formal models can be used to ensure that safetycritical systems are developed correctly. However, when models of the systems are being built, there is no guarantee that the modelled system fully satisﬁes the user requirements. If the systems are not what business stakeholders truly desire, new errors can be made. Behaviour-Driven-Development is often applied to ensure the requirements of thesystemareproperlyunderstoodandmaintainedbyusingBehaviouralSpeciﬁcations. These speciﬁcations use natural language, and so, are well suited for expressing user requirements. They can be used as the basis for test generation but do not provide the guarantees of correctness that formal methods can provide. In this work, we develop an approach that takes advantage of the expressivity of behaviour speciﬁcations and combines it with the use of formal methods. We use Behavioural Speciﬁcations to create First-Order-Logic predicates of the requirements. These predicates can be used with formal methods, either to support the creation of the formal models or to ensure the user requirements and speciﬁcations are consistent.

text: Using behavioural specifications to support model-checking Safety-critical interactive systems provide many beneﬁts 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 ensure a high level of correctness. Formal models can be used to ensure that safetycritical systems are developed correctly. However, when models of the systems are being built, there is no guarantee that the modelled system fully satisﬁes the user requirements. If the systems are not what business stakeholders truly desire, new errors can be made. Behaviour-Driven-Development is often applied to ensure the requirements of thesystemareproperlyunderstoodandmaintainedbyusingBehaviouralSpeciﬁcations. These speciﬁcations use natural language, and so, are well suited for expressing user requirements. They can be used as the basis for test generation but do not provide the guarantees of correctness that formal methods can provide. In this work, we develop an approach that takes advantage of the expressivity of behaviour speciﬁcations and combines it with the use of formal methods. We use Behavioural Speciﬁcations to create First-Order-Logic predicates of the requirements. These predicates can be used with formal methods, either to support the creation of the formal models or to ensure the user requirements and speciﬁcations are consistent.

year: 2019