title: CZT: A Framework for Z Tools

authors: Malik, Petra

subjects: computer science

abstract: The Community Z Tools (CZT) project is an open-source Java framework for building formal methods tools for Z and Z dialects. It also includes a set of tools for parsing, typechecking, transforming and printing standard Z specifications in LATEX , Unicode or XML formats. This paper gives an overview of the CZT framework, including an introduction to its visitor design pattern that makes it possible to write new Z transformation tools in just a few lines of Java code. The paper also discusses several problems and challenges that arose when attempting to build tools based on the SO Standard for Z.

text: CZT: A Framework for Z Tools The Community Z Tools (CZT) project is an open-source Java framework for building formal methods tools for Z and Z dialects. It also includes a set of tools for parsing, typechecking, transforming and printing standard Z specifications in LATEX , Unicode or XML formats. This paper gives an overview of the CZT framework, including an introduction to its visitor design pattern that makes it possible to write new Z transformation tools in just a few lines of Java code. The paper also discusses several problems and challenges that arose when attempting to build tools based on the SO Standard for Z.

year: 2005

title: Electronics: A potted history and a glimpse of the future

authors: Scott, Jonathan B.

subjects: electronics

abstract: Keynote Speech. New Zealand has a thriving electronics industry with a long history. The renowned Kiwi ingenuity fits in well with the creative, understanding-based aspects of electronics, a discipline that is both an art and a science. However, the face of electronics is changing with the passing decades.

text: Electronics: A potted history and a glimpse of the future Keynote Speech. New Zealand has a thriving electronics industry with a long history. The renowned Kiwi ingenuity fits in well with the creative, understanding-based aspects of electronics, a discipline that is both an art and a science. However, the face of electronics is changing with the passing decades.

year: 2010

title: Food insecurity in urban New Zealand. The case of the Kopa family

authors: Graham, Rebekah Sarah

abstract: Poverty brings insecurity and chaos into the home, forcing families to develop strategies for navigating the difficulties of food insecurity. We document how one household, the Kopa family, responds to poverty in ad hoc and agentive ways that assist and hinder their attempts to keep themselves fed. This study is based on a series of eight qualitative interviews with family members, including photo-elicitation and go-along techniques, as well as extensive field notes from more casual research interactions such as shared meals. Our analysis demonstrates how food insecurity shapes this family’s culturally patterned social practices surrounding the procurement, consumption, and sharing of food.

text: Food insecurity in urban New Zealand. The case of the Kopa family Poverty brings insecurity and chaos into the home, forcing families to develop strategies for navigating the difficulties of food insecurity. We document how one household, the Kopa family, responds to poverty in ad hoc and agentive ways that assist and hinder their attempts to keep themselves fed. This study is based on a series of eight qualitative interviews with family members, including photo-elicitation and go-along techniques, as well as extensive field notes from more casual research interactions such as shared meals. Our analysis demonstrates how food insecurity shapes this family’s culturally patterned social practices surrounding the procurement, consumption, and sharing of food.

year: 2018