title: Usable-by-Construction a formal framework

authors: Reeves, Steve

subjects: software engineering

abstract: We propose here to look at how abstract a model of a usable system can be, but still say something useful and interesting, so this paper is an exercise in abstraction and formalisation, with usability-of-design as an example target use.
We take the view that when we claim to be designing a usable system we have, at the very least, to give assurances about its usability properties. This is a very abstract notion, but provides the basis for future work, and shows, even at this level that there are things to say about the (very concrete) business of designing and building usable, interactive systems.
Various forms of verification and validation can provide a high level of assurance but it can be very costly, and there is clearly a lot of resistance to doing things this way.
In this paper, we introduce the idea of usable-by-construction, which adopts and applies the ideas of correct-by-construction to (very abstractly) thinking about usable systems.
We give a set of construction rules or tactics to develop designs of usable systems, and we also formalize them into a state suitable for, for example, a proof assistant to check claims made for the system as designed.
In the future, these tactics would allow us to create systems that have the required usability properties and thus provide a basis to a usable-by-construction system. Also, we should then go on to show that the tactics preserve properties by using an example system with industrial strength requirements. And we might also consider future research directions.

text: Usable-by-Construction a formal framework We propose here to look at how abstract a model of a usable system can be, but still say something useful and interesting, so this paper is an exercise in abstraction and formalisation, with usability-of-design as an example target use.
We take the view that when we claim to be designing a usable system we have, at the very least, to give assurances about its usability properties. This is a very abstract notion, but provides the basis for future work, and shows, even at this level that there are things to say about the (very concrete) business of designing and building usable, interactive systems.
Various forms of verification and validation can provide a high level of assurance but it can be very costly, and there is clearly a lot of resistance to doing things this way.
In this paper, we introduce the idea of usable-by-construction, which adopts and applies the ideas of correct-by-construction to (very abstractly) thinking about usable systems.
We give a set of construction rules or tactics to develop designs of usable systems, and we also formalize them into a state suitable for, for example, a proof assistant to check claims made for the system as designed.
In the future, these tactics would allow us to create systems that have the required usability properties and thus provide a basis to a usable-by-construction system. Also, we should then go on to show that the tactics preserve properties by using an example system with industrial strength requirements. And we might also consider future research directions.

year: 2021

title: Reading toddlers: Noticing and recognising more

authors: White, Elizabeth Jayne

subjects: toddler

abstract: When I think of literacy, the idea of 'reading' some sort of language system – be it oral or written word - springs to mind. However, there are also language systems that are used by all of us throughout our lives where words are substituted with actions or are absent altogether, whether we realise it or not. This silent language is sometimes referred to as non-verbal or gestural/body communication. Though used alongside words by adults and children alike in everyday talk, its almost exclusive use is never more dominant than during our early years - in the period between infancy and childhood, which I call 'toddlerhood'.

text: Reading toddlers: Noticing and recognising more When I think of literacy, the idea of 'reading' some sort of language system – be it oral or written word - springs to mind. However, there are also language systems that are used by all of us throughout our lives where words are substituted with actions or are absent altogether, whether we realise it or not. This silent language is sometimes referred to as non-verbal or gestural/body communication. Though used alongside words by adults and children alike in everyday talk, its almost exclusive use is never more dominant than during our early years - in the period between infancy and childhood, which I call 'toddlerhood'.

year: 2010

title: Kōura (Paranephrops planifrons) populations in the Te Arawa lakes: An ecological assessment using the traditional Māori tau kōura harvesting method and recommendations for sustainable management

authors: Kusabs, Ian Andrew

subjects: Kōura

abstract: Freshwater crayfish are amongst the most influential of biota in many aquatic systems. They have various ecological functions, acting as shredders, detritivores and predators which in turn influence other macroinvertebrate fauna. Furthermore, freshwater crayfish are increasingly used as indicator species because of the important role they play in aquatic ecosystems and their iconic and heritage values. Kōura or freshwater crayfish (Paranephrops planifrons White) are endemic to New Zealand where they are an important component of freshwater ecosystems and a source of food for freshwater fish and humans. This study was undertaken to gain a better understanding of kōura populations in the Te Arawa lakes by quantifying relative kōura abundance and distribution and assessing the effects of environmental factors on kōura populations. In addition, basic biological information on sex ratios, breeding and moulting was collected as a basis for setting regulations and management policies for the sustainable management of kōura in the Te Arawa lakes.
Historically, kōura were an important food for the indigenous Māori people, particularly in the central North Island (CNI) lakes where large numbers were harvested for consumption and trading. Today, kōura are considered a ‘taonga’ species and support important customary fisheries in some CNI lakes (Rotomā, Rotoiti, Tarawera, and Taupō) where large populations of kōura still exist. Nevertheless, there is considerable anecdotal evidence of declines in populations of kōura in the Te Arawa lakes district since European settlement. A number of environmental factors have been implicated in this decline, including introductions of exotic fish and plant species as well as reduced concentrations of dissolved oxygen in the bottom waters of lakes due to eutrophication.
Although the ecology of stream-dwelling P. planifrons is well studied in New Zealand, there is limited published biological information on kōura in lakes. The lack of quantitative information on kōura abundance and ecology makes it difficult for iwi (Māori tribes) and government agencies to manage lake dwelling kōura populations. Until recently the main reason for the lack of quantitative information on lake kōura was the absence of suitable representative sampling methods. In a preliminary study of kōura sampling methods in the Te Arawa lakes, it was found that conventional sampling methods, baited traps, SCUBA and underwater video camera surveys had a number of disadvantages. Trapping was found to be highly biased towards large individuals and complicated by reductions in bait quality with time and changes in natural food abundance. SCUBA and underwater video camera surveys are also biased towards large individuals and are strongly dependent on underwater visibility. Given the disadvantages of these conventional kōura assessment methods, a traditional Māori harvesting method, the tau kōura, was adapted for the monitoring of lake kōura populations. The tau kōura captured large numbers and a wide size range (6 – 50 mm Orbit Carapace Length, OCL) of kōura in both shallow (5 m mean depth) and moderately deep water (10 – 17 m depth) in Ōkere Arm and Te Ākau, Lake Rotoiti, respectively. This method also distinguished differences in size structure and biomass between sites and provided information on sex ratios, egg-bearing and moulting. The development of the tau kōura thus enabled research and monitoring of lake kōura populations that may have not previously been representatively sampled and have generally been little studied in New Zealand despite their ecological and cultural significance.
The tau kōura was used to examine population dynamics of kōura, along a eutrophication gradient in seven Te Arawa lakes, in April, July and November 2009. Mean catch per unit effort (CPUE) and depth distribution of kōura were influenced by the combined effects of lake bed sediments, lake morphology, and hypolimnetic conditions related to trophic state. Although limited by the number of lakes that I was able to characterise, my data indicates that lake bed substrate (median sediment particle size) had a stronger influence on population characteristics than the level of enrichment/primary production as indexed by chlorophyll a (Chl-a). Nevertheless, the negative correlations between kōura abundance, with sediment carbon to nitrogen ratio (C/N), and the positive correlation between abundance and Chl-a, suggest that lake productivity does influence kōura. This component of the study indicates that eutrophication has reduced available kōura habitat in the Te Arawa lakes, particularly those that are sheltered, steep-sided and have fine lake bed sediments (with the Rotomahana mud tephra being particularly important). Lake bed substrate composition represented by sediment particle size is therefore a key factor to consider when selecting tau kōura sites for research, monitoring, restoration and harvesting, and when estimating kōura stocks in lakes. I concluded that measures to improve water quality in the Te Arawa lakes should benefit kōura populations by increasing the amount of oxygenated habitat available in the summer and autumn. 
Kōura support important customary fisheries for iwi in some Te Arawa lakes, particularly Rotoiti, Rotomā and Tarawera. However, until recently, there was limited published biological information to provide a basis for fisheries regulations. This knowledge gap has resulted in the adoption of conservative fisheries regulations and management policies by the fishery managers, the Te Arawa Lakes Trust (TALT) and Ministry of Primary Industries (MPI). A further objective of the research was therefore to examine the biological traits of lake kōura and to consider implications of these traits on the current fishing regulations and sustainable management of kōura populations in the Te Arawa lakes. 
From a review of past literature and the research findings from this study, it can be concluded that kōura populations in the Te Arawa lakes are currently not over-exploited due mostly to a low number participating in harvesting (almost exclusively Te Arawa) and because commercial harvesting is prohibited. However, the TALT wishes to encourage the revitalisation of traditional fishing practices (e.g., tau kōura) while adhering to the principles of kaitiakitanga ‒ the sustainable protection of resources. The establishment of sustainable management policies and regulations adheres to the principles of kaitiakitanga.
A number of management changes arising from the information collected in this study are suggested to protect and enhance the kōura fishery in the future. These are (1) set a slot limit with minimum size limit of 28 mm OCL and a maximum size limit of 39 mm OCL, (2) prohibit the taking of egg-bearing females, (3) limit deep-water harvest methods to the use of the tau kōura, and (4) implementing a tau kōura harvest season beginning on 1 December and ending on 31 March. These measures will protect breeding females if they are captured and the closed season will allow the majority of females to breed and release their young prior to fishing activity. Improving water quality (and thus increasing available kōura habitat) and preventing the introduction of predatory fish species such as eels (Anguilla spp.), catfish (Ameiurus nebulosus), and perch (Perca fluviatilis), that are efficient predators of kōura, are of the utmost importance in ensuring the sustainability of kōura populations in the Te Arawa lakes.

text: Kōura (Paranephrops planifrons) populations in the Te Arawa lakes: An ecological assessment using the traditional Māori tau kōura harvesting method and recommendations for sustainable management Freshwater crayfish are amongst the most influential of biota in many aquatic systems. They have various ecological functions, acting as shredders, detritivores and predators which in turn influence other macroinvertebrate fauna. Furthermore, freshwater crayfish are increasingly used as indicator species because of the important role they play in aquatic ecosystems and their iconic and heritage values. Kōura or freshwater crayfish (Paranephrops planifrons White) are endemic to New Zealand where they are an important component of freshwater ecosystems and a source of food for freshwater fish and humans. This study was undertaken to gain a better understanding of kōura populations in the Te Arawa lakes by quantifying relative kōura abundance and distribution and assessing the effects of environmental factors on kōura populations. In addition, basic biological information on sex ratios, breeding and moulting was collected as a basis for setting regulations and management policies for the sustainable management of kōura in the Te Arawa lakes.
Historically, kōura were an important food for the indigenous Māori people, particularly in the central North Island (CNI) lakes where large numbers were harvested for consumption and trading. Today, kōura are considered a ‘taonga’ species and support important customary fisheries in some CNI lakes (Rotomā, Rotoiti, Tarawera, and Taupō) where large populations of kōura still exist. Nevertheless, there is considerable anecdotal evidence of declines in populations of kōura in the Te Arawa lakes district since European settlement. A number of environmental factors have been implicated in this decline, including introductions of exotic fish and plant species as well as reduced concentrations of dissolved oxygen in the bottom waters of lakes due to eutrophication.
Although the ecology of stream-dwelling P. planifrons is well studied in New Zealand, there is limited published biological information on kōura in lakes. The lack of quantitative information on kōura abundance and ecology makes it difficult for iwi (Māori tribes) and government agencies to manage lake dwelling kōura populations. Until recently the main reason for the lack of quantitative information on lake kōura was the absence of suitable representative sampling methods. In a preliminary study of kōura sampling methods in the Te Arawa lakes, it was found that conventional sampling methods, baited traps, SCUBA and underwater video camera surveys had a number of disadvantages. Trapping was found to be highly biased towards large individuals and complicated by reductions in bait quality with time and changes in natural food abundance. SCUBA and underwater video camera surveys are also biased towards large individuals and are strongly dependent on underwater visibility. Given the disadvantages of these conventional kōura assessment methods, a traditional Māori harvesting method, the tau kōura, was adapted for the monitoring of lake kōura populations. The tau kōura captured large numbers and a wide size range (6 – 50 mm Orbit Carapace Length, OCL) of kōura in both shallow (5 m mean depth) and moderately deep water (10 – 17 m depth) in Ōkere Arm and Te Ākau, Lake Rotoiti, respectively. This method also distinguished differences in size structure and biomass between sites and provided information on sex ratios, egg-bearing and moulting. The development of the tau kōura thus enabled research and monitoring of lake kōura populations that may have not previously been representatively sampled and have generally been little studied in New Zealand despite their ecological and cultural significance.
The tau kōura was used to examine population dynamics of kōura, along a eutrophication gradient in seven Te Arawa lakes, in April, July and November 2009. Mean catch per unit effort (CPUE) and depth distribution of kōura were influenced by the combined effects of lake bed sediments, lake morphology, and hypolimnetic conditions related to trophic state. Although limited by the number of lakes that I was able to characterise, my data indicates that lake bed substrate (median sediment particle size) had a stronger influence on population characteristics than the level of enrichment/primary production as indexed by chlorophyll a (Chl-a). Nevertheless, the negative correlations between kōura abundance, with sediment carbon to nitrogen ratio (C/N), and the positive correlation between abundance and Chl-a, suggest that lake productivity does influence kōura. This component of the study indicates that eutrophication has reduced available kōura habitat in the Te Arawa lakes, particularly those that are sheltered, steep-sided and have fine lake bed sediments (with the Rotomahana mud tephra being particularly important). Lake bed substrate composition represented by sediment particle size is therefore a key factor to consider when selecting tau kōura sites for research, monitoring, restoration and harvesting, and when estimating kōura stocks in lakes. I concluded that measures to improve water quality in the Te Arawa lakes should benefit kōura populations by increasing the amount of oxygenated habitat available in the summer and autumn. 
Kōura support important customary fisheries for iwi in some Te Arawa lakes, particularly Rotoiti, Rotomā and Tarawera. However, until recently, there was limited published biological information to provide a basis for fisheries regulations. This knowledge gap has resulted in the adoption of conservative fisheries regulations and management policies by the fishery managers, the Te Arawa Lakes Trust (TALT) and Ministry of Primary Industries (MPI). A further objective of the research was therefore to examine the biological traits of lake kōura and to consider implications of these traits on the current fishing regulations and sustainable management of kōura populations in the Te Arawa lakes. 
From a review of past literature and the research findings from this study, it can be concluded that kōura populations in the Te Arawa lakes are currently not over-exploited due mostly to a low number participating in harvesting (almost exclusively Te Arawa) and because commercial harvesting is prohibited. However, the TALT wishes to encourage the revitalisation of traditional fishing practices (e.g., tau kōura) while adhering to the principles of kaitiakitanga ‒ the sustainable protection of resources. The establishment of sustainable management policies and regulations adheres to the principles of kaitiakitanga.
A number of management changes arising from the information collected in this study are suggested to protect and enhance the kōura fishery in the future. These are (1) set a slot limit with minimum size limit of 28 mm OCL and a maximum size limit of 39 mm OCL, (2) prohibit the taking of egg-bearing females, (3) limit deep-water harvest methods to the use of the tau kōura, and (4) implementing a tau kōura harvest season beginning on 1 December and ending on 31 March. These measures will protect breeding females if they are captured and the closed season will allow the majority of females to breed and release their young prior to fishing activity. Improving water quality (and thus increasing available kōura habitat) and preventing the introduction of predatory fish species such as eels (Anguilla spp.), catfish (Ameiurus nebulosus), and perch (Perca fluviatilis), that are efficient predators of kōura, are of the utmost importance in ensuring the sustainability of kōura populations in the Te Arawa lakes.

year: 2015