title: Revising Z: semantics and logic

authors: Henson, Martin C.

subjects: computer science

abstract: We introduce a simple specification logic Zc comprising a logic and semantics (in ZF set theory). We then provide an interpretation for (a rational reconstruction of) the specification language Z within Zc. As a result we obtain a sound logic for Z, including the schema calculus. A consequence of our formalisation is a critique of a number of concepts used in Z. We demonstrate that the complications and confusions which these concepts introduce can be avoided without compromising expressibility.

text: Revising Z: semantics and logic We introduce a simple specification logic Zc comprising a logic and semantics (in ZF set theory). We then provide an interpretation for (a rational reconstruction of) the specification language Z within Zc. As a result we obtain a sound logic for Z, including the schema calculus. A consequence of our formalisation is a critique of a number of concepts used in Z. We demonstrate that the complications and confusions which these concepts introduce can be avoided without compromising expressibility.

year: 1998-03

title: DEBORA: Developing an interface to support collaboration in digital library

authors: Nichols, David M.

subjects: computer science

abstract: Interfaces to library systems have largely failed to represent the in-herently collaborative nature of information work. This paper describes how collaborative functionality is being implemented as part of the DEBORA project to provide access to digitised Renaissance documents. Work practices of users of Renaissance documents are described and the collaborative features of the client software are outlined. Functionalities discussed include annotation, the creation of virtual books and the inclusion of user-supplied metadata.

text: DEBORA: Developing an interface to support collaboration in digital library Interfaces to library systems have largely failed to represent the in-herently collaborative nature of information work. This paper describes how collaborative functionality is being implemented as part of the DEBORA project to provide access to digitised Renaissance documents. Work practices of users of Renaissance documents are described and the collaborative features of the client software are outlined. Functionalities discussed include annotation, the creation of virtual books and the inclusion of user-supplied metadata.

year: 2000-01

title: A proposed hauora Māori clinical guide for psychologists: Using the hui process and meihana model in clinical assessment and formulation

authors: Pitama, Suzanne G.

subjects: Māori

abstract: This paper documents a joint initiative of clinical practice educators from four tertiary institutions and their engagement in the design and development of a proposed Hauora Māori Clinical Guide for Psychologists, which outlines how to apply the Hui Process and Meihana Model to applied psychology. It describes the ability for this proposed Hauora Maori Clinical Guide for Psychologists to assist clinicians, professional psychology training programmes and institutions in meeting the expectations of the Health Practitioners Act and The New Zealand Psychologists Board’s (NZPB) Standards and Procedures document. It presents how this proposed guide can support the implementation of clinical and cultural competence and the Code of Ethics for Psychologists Working in New Zealand. It also provides an opportunity for the psychology profession to demonstrate responsivity to Te Tiriti o Waitangi obligations.

text: A proposed hauora Māori clinical guide for psychologists: Using the hui process and meihana model in clinical assessment and formulation This paper documents a joint initiative of clinical practice educators from four tertiary institutions and their engagement in the design and development of a proposed Hauora Māori Clinical Guide for Psychologists, which outlines how to apply the Hui Process and Meihana Model to applied psychology. It describes the ability for this proposed Hauora Maori Clinical Guide for Psychologists to assist clinicians, professional psychology training programmes and institutions in meeting the expectations of the Health Practitioners Act and The New Zealand Psychologists Board’s (NZPB) Standards and Procedures document. It presents how this proposed guide can support the implementation of clinical and cultural competence and the Code of Ethics for Psychologists Working in New Zealand. It also provides an opportunity for the psychology profession to demonstrate responsivity to Te Tiriti o Waitangi obligations.

year: 2017