title: An Eclipse Environment for Z

authors: Xu, Chengdong

subjects: Eclipse

abstract: This thesis reports on the design, implementation and evaluation of a new interactive Z environment that is integrated into the Eclipse environment.
The Z language is a formal specification notation that is used to describe and model computer-based systems.  For the widespread use of Z, it is desirable to integrate Z support with a mature and popular editing environment, such as Eclipse.  Eclipse was chosen as the basis for the new Z environment because it is widely used, it provides rich functionality and it is designed to be extensible.
The Z environment described in this thesis extends Eclipse to provide a large set of useful features for editing and analyzing Z specifications, such as a table of Z symbols, constant detection of syntax and type errors, outlining facilities, cross-referencing of Z names and conversion between different Z markups.  User feedback shows that the resulting Z environment is helpful for editing and correcting Z specifications.
The development of the Z support for Eclipse is a part of the CZT (Community Z Tools) project, which is a Java framework for building Z tools and provides parsers, typecheckers and other Z tools.

text: An Eclipse Environment for Z This thesis reports on the design, implementation and evaluation of a new interactive Z environment that is integrated into the Eclipse environment.
The Z language is a formal specification notation that is used to describe and model computer-based systems.  For the widespread use of Z, it is desirable to integrate Z support with a mature and popular editing environment, such as Eclipse.  Eclipse was chosen as the basis for the new Z environment because it is widely used, it provides rich functionality and it is designed to be extensible.
The Z environment described in this thesis extends Eclipse to provide a large set of useful features for editing and analyzing Z specifications, such as a table of Z symbols, constant detection of syntax and type errors, outlining facilities, cross-referencing of Z names and conversion between different Z markups.  User feedback shows that the resulting Z environment is helpful for editing and correcting Z specifications.
The development of the Z support for Eclipse is a part of the CZT (Community Z Tools) project, which is a Java framework for building Z tools and provides parsers, typecheckers and other Z tools.

year: 2006

title: Education outside the classroom in Aotearoa New Zealand - A comprehensive national study: Final Report

authors: Hill, Allen

abstract: Education outside the Classroom (EOTC) has a long and rich history in Aotearoa New Zealand schools (Lynch, 2006), contributing positively to the lives of many young New Zealanders. The purpose of this study was to gain a contemporary and comprehensive understanding of what EOTC is currently occurring in schools across, the value that schools see in/ascribe to EOTC, and the various challenges and factors that influence the provision of EOTC.  
Data for the EOTC Comprehensive National Study was gathered from late 2017 throughout 2018 utilising a multiphase mixed methods research design. Data collection involved a national EOTC questionnaire (NEOTCQ) completed by school leaders and EOTC coordinators’ (n=523), specific EOTC inventories from a small sample of schools (n=23), and individual and focus group interviews with school leaders and teachers (n=28), students (n=140) and LEOTC providers (n=9).
This executive summary provides a succinct overview of the key findings from the comprehensive final report. The summary comprises four key sections addressing: what schools are doing with EOTC, teacher and student perspectives on the value of EOTC, how school leaders and teachers view challenges associated with EOTC provision, and enablers of flourishing EOTC in schools.

text: Education outside the classroom in Aotearoa New Zealand - A comprehensive national study: Final Report Education outside the Classroom (EOTC) has a long and rich history in Aotearoa New Zealand schools (Lynch, 2006), contributing positively to the lives of many young New Zealanders. The purpose of this study was to gain a contemporary and comprehensive understanding of what EOTC is currently occurring in schools across, the value that schools see in/ascribe to EOTC, and the various challenges and factors that influence the provision of EOTC.  
Data for the EOTC Comprehensive National Study was gathered from late 2017 throughout 2018 utilising a multiphase mixed methods research design. Data collection involved a national EOTC questionnaire (NEOTCQ) completed by school leaders and EOTC coordinators’ (n=523), specific EOTC inventories from a small sample of schools (n=23), and individual and focus group interviews with school leaders and teachers (n=28), students (n=140) and LEOTC providers (n=9).
This executive summary provides a succinct overview of the key findings from the comprehensive final report. The summary comprises four key sections addressing: what schools are doing with EOTC, teacher and student perspectives on the value of EOTC, how school leaders and teachers view challenges associated with EOTC provision, and enablers of flourishing EOTC in schools.

year: 2020

title: Sharing, listening, learning and developing understandings of Kaupapa Māori research by engaging with two Māori communities involved in education.

authors: Kana, Fred

subjects: Kaupapa Maori research methodology

abstract: This paper is a culmination of common understandings that were elicited from two pieces of research: ‘The Impact of the BHP New Zealand Steel Mining on the Tangata Whenua and the Environment’ and ‘The Impact of Maori Medium Education within a Mainstream Secondary School on the Lives of its Participants, in particular the Teachers, Caregivers and Students’. It was at the conclusion of each research project and as a consequence of informal conversations and discussions that this paper evolved. The paper discusses shared understandings in the context of Kaupapa Māori research methodology and key findings from the two research projects.

text: Sharing, listening, learning and developing understandings of Kaupapa Māori research by engaging with two Māori communities involved in education. This paper is a culmination of common understandings that were elicited from two pieces of research: ‘The Impact of the BHP New Zealand Steel Mining on the Tangata Whenua and the Environment’ and ‘The Impact of Maori Medium Education within a Mainstream Secondary School on the Lives of its Participants, in particular the Teachers, Caregivers and Students’. It was at the conclusion of each research project and as a consequence of informal conversations and discussions that this paper evolved. The paper discusses shared understandings in the context of Kaupapa Māori research methodology and key findings from the two research projects.

year: 2006