title: Supporting multi-path UI development with vertical reﬁnement

authors: Bowen, Judy

subjects: computer science

abstract: As computers and software applications become ubiquitous the systems we build are increasingly required to run on not just a single piece of hardware, but rather be available for different platforms, different types of hardware and offer different modes of interaction depending on the context of use. Within a formal development process when we consider refinement for interactive systems we therefore need to consider not only the transformation of abstract specifications and models into single implementations but also the possibility of multiple implementations with differing interactive requirements. In such cases the changing requirements in general and changes to the user interface in particular make supporting the development by formal refinement challenging. One way to solve this problem is by extending our notion of refinement. In this paper we introduce vertical refinement for system and interface pairs which enables us to deal with such multi-path development.

text: Supporting multi-path UI development with vertical reﬁnement As computers and software applications become ubiquitous the systems we build are increasingly required to run on not just a single piece of hardware, but rather be available for different platforms, different types of hardware and offer different modes of interaction depending on the context of use. Within a formal development process when we consider refinement for interactive systems we therefore need to consider not only the transformation of abstract specifications and models into single implementations but also the possibility of multiple implementations with differing interactive requirements. In such cases the changing requirements in general and changes to the user interface in particular make supporting the development by formal refinement challenging. One way to solve this problem is by extending our notion of refinement. In this paper we introduce vertical refinement for system and interface pairs which enables us to deal with such multi-path development.

year: 2009

title: Ebb-Jet dynamics and transient eddy formation at Tauranga Harbour: Implications for entrance channel shoaling

authors: Spiers, Kyle C.

subjects: coastal hydrodynamic modelling

abstract: In 1992 the entrance channel through the tidal inlet to Tauranga Harbour, which is located along the Bay of Plenty littoral drift system, was deepened from 10 m to 14 m. The deepened channel has become a sediment trap for littoral drift bypassing and tidal current driven sediment transport through the inlet. Since 1992, there has been an increase in maintenance dredging requirements at the inlet, because of sand accumulation along the southeastern border of the entrance channel. Previous studies have identified an ebb tide–induced eddy operating on the eastern side of the ebb-jet as it exits the tidal gorge. In this article, the eddy system has been simulated with a validated two-dimensional hydrodynamic model, detailing time-varying current patterns over the ebb-tidal delta. Particular emphasis is placed on defining the trajectory of the eddy and evaluating its influence on the observed sedimentation patterns. The model results indicate the formation of opposing eddies on either side of the entrance channel, both of which are transient in nature. The centre of the eastern eddy propagates seaward along the downdrift margin of the entrance channel as the ebb-jet lengthens. Bathymetric survey residuals between 2004 and 2006 confirm significant accumulations of sediment along this downdrift margin. The evidence is consistent that the eddy system exerts a directional control over transport of sediments entrained by waves over the ebb-tidal delta.

text: Ebb-Jet dynamics and transient eddy formation at Tauranga Harbour: Implications for entrance channel shoaling In 1992 the entrance channel through the tidal inlet to Tauranga Harbour, which is located along the Bay of Plenty littoral drift system, was deepened from 10 m to 14 m. The deepened channel has become a sediment trap for littoral drift bypassing and tidal current driven sediment transport through the inlet. Since 1992, there has been an increase in maintenance dredging requirements at the inlet, because of sand accumulation along the southeastern border of the entrance channel. Previous studies have identified an ebb tide–induced eddy operating on the eastern side of the ebb-jet as it exits the tidal gorge. In this article, the eddy system has been simulated with a validated two-dimensional hydrodynamic model, detailing time-varying current patterns over the ebb-tidal delta. Particular emphasis is placed on defining the trajectory of the eddy and evaluating its influence on the observed sedimentation patterns. The model results indicate the formation of opposing eddies on either side of the entrance channel, both of which are transient in nature. The centre of the eastern eddy propagates seaward along the downdrift margin of the entrance channel as the ebb-jet lengthens. Bathymetric survey residuals between 2004 and 2006 confirm significant accumulations of sediment along this downdrift margin. The evidence is consistent that the eddy system exerts a directional control over transport of sediments entrained by waves over the ebb-tidal delta.

year: 2009

title: Te Mata Ira—Faces of the Gene: Developing a cultural foundation for biobanking and genomic research involving Māori

authors: Hudson, Maui

abstract: Te Mata Ira was a three-year research project (2012–2015) that explored Māori views on genomic research and biobanking for the development of culturally appropriate guidelines. A key component of this process has been to identify Māori concepts that provide cultural reference points for engaging with biobanking and genomic research. These cultural cues provide the basis for describing the cultural logic that underpins engagement in this context in a culturally acceptable manner. This paper outlines the role of two wānanga (workshops) conducted as part of the larger project that were used to make sense of the Māori concepts that emerged from other data-collection activities. The wānanga involved six experts who worked with the research team to make sense of the Māori concepts. The wānanga process created the logic behind the cultural foundation for biobanking and genomic research, providing a basis for understanding Māori concepts, Māori ethical principles and their application to biobanking and genomic research.

text: Te Mata Ira—Faces of the Gene: Developing a cultural foundation for biobanking and genomic research involving Māori Te Mata Ira was a three-year research project (2012–2015) that explored Māori views on genomic research and biobanking for the development of culturally appropriate guidelines. A key component of this process has been to identify Māori concepts that provide cultural reference points for engaging with biobanking and genomic research. These cultural cues provide the basis for describing the cultural logic that underpins engagement in this context in a culturally acceptable manner. This paper outlines the role of two wānanga (workshops) conducted as part of the larger project that were used to make sense of the Māori concepts that emerged from other data-collection activities. The wānanga involved six experts who worked with the research team to make sense of the Māori concepts. The wānanga process created the logic behind the cultural foundation for biobanking and genomic research, providing a basis for understanding Māori concepts, Māori ethical principles and their application to biobanking and genomic research.

year: 2016