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: The ever-changing landscape of New Zealand vocational education and training: The Reform of Vocational Education (RoVE) and the current and planned changes sought by the current coalition government

authors: Piercy-Cameron, Gemma

abstract: A market model to industry training was introduced in 1992 since then vocational education and training has been in a state of constant change.

My presentation will:
- Assess the capacity of the current VET system to deliver long-term improvement to vocational training,
- Explain RoVE reforms,
- Outline current changes, 
- Offer views on likely impacts, on-going issues.

text: The ever-changing landscape of New Zealand vocational education and training: The Reform of Vocational Education (RoVE) and the current and planned changes sought by the current coalition government A market model to industry training was introduced in 1992 since then vocational education and training has been in a state of constant change.

My presentation will:
- Assess the capacity of the current VET system to deliver long-term improvement to vocational training,
- Explain RoVE reforms,
- Outline current changes, 
- Offer views on likely impacts, on-going issues.

year: 2025

title: What a difference a default setting makes

authors: Keegan, Te Taka Adrian Gregory

subjects: computer science

abstract: This paper examines the effect of the default interface language on the usage of a bilingual digital library. In 2005 the default interface language of a bilingual digital library was alternated on a monthly basis between Māori and English. A comprehensive transaction log analysis over this period reveals that not only did usage in a particular language increase when the default interface language was set to that language but that the way the interface was used, in both languages, was quite different depending on the default language.

text: What a difference a default setting makes This paper examines the effect of the default interface language on the usage of a bilingual digital library. In 2005 the default interface language of a bilingual digital library was alternated on a monthly basis between Māori and English. A comprehensive transaction log analysis over this period reveals that not only did usage in a particular language increase when the default interface language was set to that language but that the way the interface was used, in both languages, was quite different depending on the default language.

year: 2008