title: Proceedings of the First New Zealand Formal Program Development Colloquium

authors: Reeves, Steve

subjects: Bird-Meertens Formalism

abstract: This volume gathers together papers presented at the first in what is planned to be a series of annual meetings which aim to bring together people within New Zealand who have an interest in the use of formal ideas to enhance program development. Throughout the World work is going on under the headings of "formal methods", "programming foundations", "formal software engineering". All these names are meant to suggest the use of soundly-based, broadly mathematical ideas for improving the current methods used to develop software. There is every reason for New Zealand to be engaged in this sort of research and, of growing importance, its application. Formal methods have had a large, and growing, influence on the software industry in Europe, and lately in the U.S.A. it is being seen as important. An article in September's "Scientific American" (leading with the Denver Airport debacle) gives an excellent overview of the way in which these ideas are seen as necessary for the future of the industry. Nearer to home and more immediate are current speculations about problems with the software running New Zealand's telephone system. The papers in this collection give some idea of the sorts of areas which people are working on in the expectation that other people will be encouraged to start work or continue current work in this area. We also want the fact that this works is going on to be made known to the New Zealand computer science community at large.

text: Proceedings of the First New Zealand Formal Program Development Colloquium This volume gathers together papers presented at the first in what is planned to be a series of annual meetings which aim to bring together people within New Zealand who have an interest in the use of formal ideas to enhance program development. Throughout the World work is going on under the headings of "formal methods", "programming foundations", "formal software engineering". All these names are meant to suggest the use of soundly-based, broadly mathematical ideas for improving the current methods used to develop software. There is every reason for New Zealand to be engaged in this sort of research and, of growing importance, its application. Formal methods have had a large, and growing, influence on the software industry in Europe, and lately in the U.S.A. it is being seen as important. An article in September's "Scientific American" (leading with the Denver Airport debacle) gives an excellent overview of the way in which these ideas are seen as necessary for the future of the industry. Nearer to home and more immediate are current speculations about problems with the software running New Zealand's telephone system. The papers in this collection give some idea of the sorts of areas which people are working on in the expectation that other people will be encouraged to start work or continue current work in this area. We also want the fact that this works is going on to be made known to the New Zealand computer science community at large.

year: 1994-11

title: Preventing hot beverage scald injuries to young children

authors: Dekrout, Heidimarie

subjects: child safety

abstract: The focus of the research proposal was two-fold: to analyse the emphasis placed on hot beverage scald injuries to under five year olds in current public education material for parents and caregivers; and to make practical recommendations in regard to more effective educational messages and preventative behaviour. We anticipated that there would be a lack of emphasis on hot beverage scald prevention in public education material when compared to the emphasis placed on preventing other scald hazards.

text: Preventing hot beverage scald injuries to young children The focus of the research proposal was two-fold: to analyse the emphasis placed on hot beverage scald injuries to under five year olds in current public education material for parents and caregivers; and to make practical recommendations in regard to more effective educational messages and preventative behaviour. We anticipated that there would be a lack of emphasis on hot beverage scald prevention in public education material when compared to the emphasis placed on preventing other scald hazards.

year: 2003

title: The issues of the criminal justice system and of resources in Aotearoa/New Zealand

authors: Toki, Valmaine

abstract: Within the seven regions, recognized by the United Nations, various jurisdictions have acknowledged Indigenous rights within their respective constitutions. Although not explicit, some constitutional provisions, such as those included in the Norwegian Constitution, when read together with other articles, provide tentative opportunities for the implementation of an Indigenous legal system and an Indigenous court. Some Constitutions, such as that of Ecuador, are more explicit in providing constitutional recognition of an Indigenous legal system as well as rights to nature and, the interim Constitution of Nepal, courts for Indigenous Peoples.

text: The issues of the criminal justice system and of resources in Aotearoa/New Zealand Within the seven regions, recognized by the United Nations, various jurisdictions have acknowledged Indigenous rights within their respective constitutions. Although not explicit, some constitutional provisions, such as those included in the Norwegian Constitution, when read together with other articles, provide tentative opportunities for the implementation of an Indigenous legal system and an Indigenous court. Some Constitutions, such as that of Ecuador, are more explicit in providing constitutional recognition of an Indigenous legal system as well as rights to nature and, the interim Constitution of Nepal, courts for Indigenous Peoples.

year: 2014