title: Towards an integrated refinement environment for formal program development

authors: Reeves, Steve

subjects: computer science

abstract: One of the main hurdles to the general adoption of formal program development techniques is a lack of tools to support their use in combination with more traditional development techniques. This paper describes an integrated environment for software development which embodies the aim of formal program development. Multiple levels of refinement of each specification are supported, with associated proof obligations, each of which can be viewed at various levels of detail throughout the development process. All of these formal views are kept consistent with each other and with more traditional design and implementation views. This allows software developers to specify, design, refine, prove, implement and document their software within a single integrated environment.

text: Towards an integrated refinement environment for formal program development One of the main hurdles to the general adoption of formal program development techniques is a lack of tools to support their use in combination with more traditional development techniques. This paper describes an integrated environment for software development which embodies the aim of formal program development. Multiple levels of refinement of each specification are supported, with associated proof obligations, each of which can be viewed at various levels of detail throughout the development process. All of these formal views are kept consistent with each other and with more traditional design and implementation views. This allows software developers to specify, design, refine, prove, implement and document their software within a single integrated environment.

year: 1995-08

title: Can biotic resistance be utilized to reduce establishment rates of non-indigenous species in constructed waters?

authors: Taylor, Claire Maree

subjects: exotic species

abstract: Understanding the mechanisms that facilitate establishment of non-indigenous species is imperative for devising techniques to reduce invasion rates. Passively dispersing non-indigenous organisms, including zooplankton, seemingly invade constructed waters (e.g., ornamental ponds, dams and reservoirs) at faster rates than natural lakes. A common attribute of these invaded water bodies is their relatively young age, leading to the assertion that low biotic resistance may lead to their higher vulnerability. Our aim was to determine if seeding of young water bodies with sediments containing diapausing stages of native zooplankton could accelerate community development, leading to greater biotic resistance to the establishment of new species. Twenty outdoor tanks were filled with water (1,400 L) and nutrients added to attain eutrophic conditions. Ten treatment tanks had sediments added, sourced from local water bodies. In the remaining ten, sediments were autoclaved, and received zooplankton via natural dispersal only. In an initial 12 month monitoring period, species richness increased at a greater rate in the treatment tanks (at 12 months average standing richness per tank = 3.8, accumulated richness = 8.2) than control tanks (2.6 and 5.0, P\0.05). Treatment tanks developed assemblages with greater proportions of species adapted to pelagic conditions, such as planktonic cladocerans and copepods, while control tanks generally comprised of smaller, littoral dwelling, rotifers. Analysis of similarities indicated community composition differed between the control and treatment groups at 12 months (P\0.01). Two copepod, four rotifer and one cladoceran species were intentionally added to tanks at 12 months. In the 3 month post-introduction period, five of these species established populations in the control tanks, while only two species established in the treatment tanks. The calanoid copepod Skistodiaptomus pallidus, for example, a non-indigenous species confined to constructed waters in New Zealand, established exclusively in tanks where native calanoid copepod species were absent (primarily control tanks). Our study suggests that biotic resistance could play an important role in reducing the establishment rate of non-indigenous zooplankton. It also provides evidence that seeding constructed water bodies with sediments containing diapausing eggs of native species may provide an effective management tool to reduce establishment rates of non-indigenous zooplankton.

text: Can biotic resistance be utilized to reduce establishment rates of non-indigenous species in constructed waters? Understanding the mechanisms that facilitate establishment of non-indigenous species is imperative for devising techniques to reduce invasion rates. Passively dispersing non-indigenous organisms, including zooplankton, seemingly invade constructed waters (e.g., ornamental ponds, dams and reservoirs) at faster rates than natural lakes. A common attribute of these invaded water bodies is their relatively young age, leading to the assertion that low biotic resistance may lead to their higher vulnerability. Our aim was to determine if seeding of young water bodies with sediments containing diapausing stages of native zooplankton could accelerate community development, leading to greater biotic resistance to the establishment of new species. Twenty outdoor tanks were filled with water (1,400 L) and nutrients added to attain eutrophic conditions. Ten treatment tanks had sediments added, sourced from local water bodies. In the remaining ten, sediments were autoclaved, and received zooplankton via natural dispersal only. In an initial 12 month monitoring period, species richness increased at a greater rate in the treatment tanks (at 12 months average standing richness per tank = 3.8, accumulated richness = 8.2) than control tanks (2.6 and 5.0, P\0.05). Treatment tanks developed assemblages with greater proportions of species adapted to pelagic conditions, such as planktonic cladocerans and copepods, while control tanks generally comprised of smaller, littoral dwelling, rotifers. Analysis of similarities indicated community composition differed between the control and treatment groups at 12 months (P\0.01). Two copepod, four rotifer and one cladoceran species were intentionally added to tanks at 12 months. In the 3 month post-introduction period, five of these species established populations in the control tanks, while only two species established in the treatment tanks. The calanoid copepod Skistodiaptomus pallidus, for example, a non-indigenous species confined to constructed waters in New Zealand, established exclusively in tanks where native calanoid copepod species were absent (primarily control tanks). Our study suggests that biotic resistance could play an important role in reducing the establishment rate of non-indigenous zooplankton. It also provides evidence that seeding constructed water bodies with sediments containing diapausing eggs of native species may provide an effective management tool to reduce establishment rates of non-indigenous zooplankton.

year: 2012

title: Decolonisation through reconciliation: The role of Pākehā identity

authors: Amundsen, Diana Leigh

subjects: Pākehā

abstract: Research indicates that claiming a contemporary identity as Pākehā is being redefined by those individuals who engage closely with Te Ao Māori. This reopens the discussion of the implications for Pākehā researchers who engage across Māori research spaces. This article reports a reflective study I conducted using the transtheoretical model and its six stages of change (J. O. Prochaska & DiClemente, 1982) to understand my Pākehā cultural identity. I discuss my rationale for engaging in research with Māori, and then outline the approaches that I, as a non Indigenous researcher, adopted to appropriately engage in Indigenous research. I discuss responsibilities for Pākehā to take deliberate and conscious steps to decolonise through reconciliation and dismantle disturbing and prevailing prejudiced attitudes. Decolonisation through reconciliation takes various forms, but necessarily involves a process of actions and changes. Our challenge as Pākehā educators is to participate in this change process towards decolonisation through reconciliation.

text: Decolonisation through reconciliation: The role of Pākehā identity Research indicates that claiming a contemporary identity as Pākehā is being redefined by those individuals who engage closely with Te Ao Māori. This reopens the discussion of the implications for Pākehā researchers who engage across Māori research spaces. This article reports a reflective study I conducted using the transtheoretical model and its six stages of change (J. O. Prochaska & DiClemente, 1982) to understand my Pākehā cultural identity. I discuss my rationale for engaging in research with Māori, and then outline the approaches that I, as a non Indigenous researcher, adopted to appropriately engage in Indigenous research. I discuss responsibilities for Pākehā to take deliberate and conscious steps to decolonise through reconciliation and dismantle disturbing and prevailing prejudiced attitudes. Decolonisation through reconciliation takes various forms, but necessarily involves a process of actions and changes. Our challenge as Pākehā educators is to participate in this change process towards decolonisation through reconciliation.

year: 2018