title: Investigating Z

authors: Henson, Martin C.

subjects: operation refinement

abstract: In this paper we introduce and investigate an improved kernel logic Zc for the specification language Z. Unlike standard accounts, this logic is consistent and is easily shown to be sound. We show how a complete shema calculus can be derived within this logic and in doing so we reveal a high degree of logical organization within the language. Finally, our approach eschews all non-standard concepts introduced in the standard approach, notably object level notions of substitution and entities which share properties both of constants and variables. We show, in addition, that these unusual notions are derivable in Zc and are, therefore, unnecessary innovations.

text: Investigating Z In this paper we introduce and investigate an improved kernel logic Zc for the specification language Z. Unlike standard accounts, this logic is consistent and is easily shown to be sound. We show how a complete shema calculus can be derived within this logic and in doing so we reveal a high degree of logical organization within the language. Finally, our approach eschews all non-standard concepts introduced in the standard approach, notably object level notions of substitution and entities which share properties both of constants and variables. We show, in addition, that these unusual notions are derivable in Zc and are, therefore, unnecessary innovations.

year: 2003

title: A study of mobile app use for teaching and research in higher education

authors: Hinze, Annika

subjects: computer science

abstract: The exponential growth in the use of digital technologies and the availability of mobile software applications (apps) has been well documented over the past decade. Literature on the integration of mobile technology into higher education reveals an increasing focus on how mobile devices are used within the classroom environment, both physical and online, rather than on how mobile applications may be used for either teaching or the research process. Our study surveyed staff and higher degree research students at a New Zealand university using an online questionnaire to gain insight into the use of mobile apps for tertiary teaching and research, seeking information, particularly on which apps were used for which tasks and what obstacles hindered their use. The online survey used 29 questions and ran in 2016/2017. 269 participants completed the survey, nearly 20% of the potential sample. We found that mobile apps were used by academics and students for both teaching and research, primarily in the form of document and data storage and exchange, and communication. Very little app use was recorded for in-class activities (teaching) or in-field activities (research). Apps use resulted from personal motivation rather than institutional planning. Both students and academics reported that institutional support and flexibility would likely provide motivation and lead to increased app use for both research and teaching.

text: A study of mobile app use for teaching and research in higher education The exponential growth in the use of digital technologies and the availability of mobile software applications (apps) has been well documented over the past decade. Literature on the integration of mobile technology into higher education reveals an increasing focus on how mobile devices are used within the classroom environment, both physical and online, rather than on how mobile applications may be used for either teaching or the research process. Our study surveyed staff and higher degree research students at a New Zealand university using an online questionnaire to gain insight into the use of mobile apps for tertiary teaching and research, seeking information, particularly on which apps were used for which tasks and what obstacles hindered their use. The online survey used 29 questions and ran in 2016/2017. 269 participants completed the survey, nearly 20% of the potential sample. We found that mobile apps were used by academics and students for both teaching and research, primarily in the form of document and data storage and exchange, and communication. Very little app use was recorded for in-class activities (teaching) or in-field activities (research). Apps use resulted from personal motivation rather than institutional planning. Both students and academics reported that institutional support and flexibility would likely provide motivation and lead to increased app use for both research and teaching.

year: 2022

title: The waters of the Maori: Maori law and state law

authors: Durie, Edward Taihākurei

abstract: This paper is for filing in the Waitangi Tribunal in relation to a claim that existing laws do not adequately accommodate the Māori proprietary interest in natural, water resources. The claim was initiated by the New Zealand Māori Council in association with ten tribal groups. It was later accompanied by 166 other Māori groups, whom the Tribunal joined as interested parties.

text: The waters of the Maori: Maori law and state law This paper is for filing in the Waitangi Tribunal in relation to a claim that existing laws do not adequately accommodate the Māori proprietary interest in natural, water resources. The claim was initiated by the New Zealand Māori Council in association with ten tribal groups. It was later accompanied by 166 other Māori groups, whom the Tribunal joined as interested parties.

year: 2017