title: Refinement for user interface designs

authors: Bowen, Judy

subjects: refinement

abstract: Formal approaches to software development require that we correctly describe (or specify) systems in order to prove properties about our proposed solution prior to building it. We must then follow a rigorous process to transform our specification into an implementation to ensure that the properties we have proved are retained. Different transformation, or refinement, methods exist for different formal methods, but they all seek to ensure that we can guide the transformation in a way which preserves the desired properties of the system. Refinement methods also allow us to subsequently compare two systems to see if a refinement relation exists between the two. When we design and build the user interfaces of our systems we are similarly keen to ensure that they have certain properties before we build them. For example, do they satisfy the requirements of the user? Are they designed with known good design principles and usability considerations in mind? Are they correct in terms of the overall system specification? However, when we come to implement our interface designs we do not have a defined process to follow which ensures that we maintain these properties as we transform the design into code. Instead, we rely on our judgement and belief that we are doing the right thing and subsequent user testing to ensure that our final solution remains useable and satisfactory. We suggest an alternative approach, which is to define a refinement process for user interfaces which will allow us to maintain the same rigorous standards we apply to the rest of the system when we implement our user interface designs.

text: Refinement for user interface designs Formal approaches to software development require that we correctly describe (or specify) systems in order to prove properties about our proposed solution prior to building it. We must then follow a rigorous process to transform our specification into an implementation to ensure that the properties we have proved are retained. Different transformation, or refinement, methods exist for different formal methods, but they all seek to ensure that we can guide the transformation in a way which preserves the desired properties of the system. Refinement methods also allow us to subsequently compare two systems to see if a refinement relation exists between the two. When we design and build the user interfaces of our systems we are similarly keen to ensure that they have certain properties before we build them. For example, do they satisfy the requirements of the user? Are they designed with known good design principles and usability considerations in mind? Are they correct in terms of the overall system specification? However, when we come to implement our interface designs we do not have a defined process to follow which ensures that we maintain these properties as we transform the design into code. Instead, we rely on our judgement and belief that we are doing the right thing and subsequent user testing to ensure that our final solution remains useable and satisfactory. We suggest an alternative approach, which is to define a refinement process for user interfaces which will allow us to maintain the same rigorous standards we apply to the rest of the system when we implement our user interface designs.

year: 2009

title: A numerical classification of some Thermus isolates

authors: Hudson, J. Andrew

subjects: biology

abstract: A numerical classification was performed on a collection of 45 Thermus isolates recovered from New Zealand hot pools and on six type strains including T. aquaticus and "T. thermophilus". Unweighted average linking (UPGMA) and single linkage clustering methods were applied to similarity matrices derived from simple matching (SSM) and Jaccard similarity (SJ) coefficients. Differences were observed between phenograms derived from SSM and SJ coefficients, indicating that some of the clusters formed were derived from a significant component of negative matches. Test error was estimated at 2.9%. In the UPGMA/SSM phenogram, seven clusters were formed. A majority of the New Zealand isolates did not cluster with non-New Zealand isolates. Analysis of variance showed that there was a relationship between the composition of the clusters and the temperature and pH of the source of the isolate. Chi-squared testing showed that, within New Zealand, the geographical source of the isolate had no bearing on the clusters formed.

text: A numerical classification of some Thermus isolates A numerical classification was performed on a collection of 45 Thermus isolates recovered from New Zealand hot pools and on six type strains including T. aquaticus and "T. thermophilus". Unweighted average linking (UPGMA) and single linkage clustering methods were applied to similarity matrices derived from simple matching (SSM) and Jaccard similarity (SJ) coefficients. Differences were observed between phenograms derived from SSM and SJ coefficients, indicating that some of the clusters formed were derived from a significant component of negative matches. Test error was estimated at 2.9%. In the UPGMA/SSM phenogram, seven clusters were formed. A majority of the New Zealand isolates did not cluster with non-New Zealand isolates. Analysis of variance showed that there was a relationship between the composition of the clusters and the temperature and pH of the source of the isolate. Chi-squared testing showed that, within New Zealand, the geographical source of the isolate had no bearing on the clusters formed.

year: 1986

title: Indigenous-washing and colonial amnesia: how New Zealand’s nation brand depoliticizes climate change

authors: Hellmann, Olli

abstract: New Zealand’s nation brand has drawn ever louder accusations of “greenwashing” the country’s image in recent years. Through a visual discourse analysis of Air New Zealand’s Tiaki & The Guardians safety briefing video, this article shows that brand managers have responded with a strategy of “Indigenous-washing,” appropriating the Māori worldview to deflect attention from intensive farming’s carbon footprint and other environmentally unfriendly activities. More broadly, this article makes an important contribution to the growing critical-cultural literature on nation branding by revealing how New Zealand’s latest marketing initiative contributes to the depoliticization of climate change. The “Tiaki” campaign not only positions New Zealand as an “untouched land,” but also closes the space for democratic debate about climate change by obscuring the role of colonialism in causing the planet’s ecological crisis and by silencing alternative socioecological futures proposed by Indigenous peoples.

text: Indigenous-washing and colonial amnesia: how New Zealand’s nation brand depoliticizes climate change New Zealand’s nation brand has drawn ever louder accusations of “greenwashing” the country’s image in recent years. Through a visual discourse analysis of Air New Zealand’s Tiaki & The Guardians safety briefing video, this article shows that brand managers have responded with a strategy of “Indigenous-washing,” appropriating the Māori worldview to deflect attention from intensive farming’s carbon footprint and other environmentally unfriendly activities. More broadly, this article makes an important contribution to the growing critical-cultural literature on nation branding by revealing how New Zealand’s latest marketing initiative contributes to the depoliticization of climate change. The “Tiaki” campaign not only positions New Zealand as an “untouched land,” but also closes the space for democratic debate about climate change by obscuring the role of colonialism in causing the planet’s ecological crisis and by silencing alternative socioecological futures proposed by Indigenous peoples.

year: 2023-07-27