title: Creating formal models from informal design artefacts

authors: Bowen, Judy

abstract: The use of robust software engineering processes is essential in the design and development of interactive systems. This ensures that software is both functionally correct and also usable in the required context. There are a variety of software engineering techniques that can be used to consider different aspects of a system under construction, and at different stages in the development process. There is, however, a natural tension between formal approaches (typically used in the domain of safety-critical systems to consider functional correctness) and informal design approaches, which focus on users and user requirements in a manner which is accessible by stakeholders. In this paper we present two new approaches which enable a tighter coupling of informal design requirements with formal models. We present examples of these two approaches and discuss the benefits that transformations between the informal and formal provide. We also discuss the current limitations of such work along with recommendations about how these might be addressed.

text: Creating formal models from informal design artefacts The use of robust software engineering processes is essential in the design and development of interactive systems. This ensures that software is both functionally correct and also usable in the required context. There are a variety of software engineering techniques that can be used to consider different aspects of a system under construction, and at different stages in the development process. There is, however, a natural tension between formal approaches (typically used in the domain of safety-critical systems to consider functional correctness) and informal design approaches, which focus on users and user requirements in a manner which is accessible by stakeholders. In this paper we present two new approaches which enable a tighter coupling of informal design requirements with formal models. We present examples of these two approaches and discuss the benefits that transformations between the informal and formal provide. We also discuss the current limitations of such work along with recommendations about how these might be addressed.

year: 2022

title: Mapping the morphology of a dredged ebb tidal, Tauranga Harbour, New Zealand

authors: Kruger, J. C.

subjects: grain-size analysis

abstract: The morphological units of an ebb tidal delta were mapped and results used to evaluate the relationship between morphology and hydrodynamics, as part of an investigation into the sedimentation at the Entrance Channel at Tauranga Harbour, New Zealand. Four end-member map units (shell lag, coarse sand, medium sand, and fine sand) were identified from the sidescan sonar imagery, which was verified using seabed sediment samples and SCUBA diver observations. These four units were used in a classification scheme that consisted of 10 composite map units. The use of standardized map units helped to reduce the subjectivity involved in sidescan sonar image interpretation. The mapping scheme was used to assist in the understanding of the impact of capital dredging on the morphological evolution of an ebb tidal delta. Observed morphological changes over the ebb tidal delta were attributed to possible changes in the asymmetry of the vertical tide and residual eddy currents.

text: Mapping the morphology of a dredged ebb tidal, Tauranga Harbour, New Zealand The morphological units of an ebb tidal delta were mapped and results used to evaluate the relationship between morphology and hydrodynamics, as part of an investigation into the sedimentation at the Entrance Channel at Tauranga Harbour, New Zealand. Four end-member map units (shell lag, coarse sand, medium sand, and fine sand) were identified from the sidescan sonar imagery, which was verified using seabed sediment samples and SCUBA diver observations. These four units were used in a classification scheme that consisted of 10 composite map units. The use of standardized map units helped to reduce the subjectivity involved in sidescan sonar image interpretation. The mapping scheme was used to assist in the understanding of the impact of capital dredging on the morphological evolution of an ebb tidal delta. Observed morphological changes over the ebb tidal delta were attributed to possible changes in the asymmetry of the vertical tide and residual eddy currents.

year: 2006

title: Treatment and survival disparities by ethnicity in New Zealand women with stage I-III breast cancer tumour subtypes

authors: Lawrenson, Ross

subjects: Science & Technology

abstract: Purpose
This study aims to look at the distribution of different subtypes of stage I–III breast cancer in Māori and Pacific versus non-Māori/Pacific women, and to examine cancer outcomes by ethnicity within these different subtypes.

Method
This study included 9,015 women diagnosed with stage I–III breast cancer between June 2000 and May 2013, recorded in the combined Waikato and Auckland Breast Cancer Registers, who had complete data on ER, PR and HER2 status. Five ER/PR/HER2 subtypes were defined. Kaplan–Meier method and Cox proportional hazards model were used to examine ethnic disparities in breast cancer-specific survival.

Results
Of the 9,015 women, 891 were Māori, 548 were Pacific and 7,576 others. Both Māori and Pacific women were less likely to have triple negative breast cancer compared to others (8.6, 8.9 vs. 13.0%). Pacific women were more than twice as likely to have ER−, PR− and HER2+ cancer than Māori and others (14.2 vs. 6.0%, 6.7%). After adjustment for age, year of diagnosis, stage, grade and treatment, the hazard ratios of breast cancer-specific mortality for Māori and Pacific women with ER+, PR+ and HER2− were 1.52 (95% CI 1.06–2.18) and 1.55 (95% CI 1.04–2.31) compared to others, respectively. Māori women with HER2+ cancer were twice more likely to die of their cancer than others.

Conclusions
Outcomes for Māori and Pacific women could be improved by better treatment regimens especially for those with HER2+ breast cancer and for women with ER+, PR+ and HER2− breast cancer.

text: Treatment and survival disparities by ethnicity in New Zealand women with stage I-III breast cancer tumour subtypes Purpose
This study aims to look at the distribution of different subtypes of stage I–III breast cancer in Māori and Pacific versus non-Māori/Pacific women, and to examine cancer outcomes by ethnicity within these different subtypes.

Method
This study included 9,015 women diagnosed with stage I–III breast cancer between June 2000 and May 2013, recorded in the combined Waikato and Auckland Breast Cancer Registers, who had complete data on ER, PR and HER2 status. Five ER/PR/HER2 subtypes were defined. Kaplan–Meier method and Cox proportional hazards model were used to examine ethnic disparities in breast cancer-specific survival.

Results
Of the 9,015 women, 891 were Māori, 548 were Pacific and 7,576 others. Both Māori and Pacific women were less likely to have triple negative breast cancer compared to others (8.6, 8.9 vs. 13.0%). Pacific women were more than twice as likely to have ER−, PR− and HER2+ cancer than Māori and others (14.2 vs. 6.0%, 6.7%). After adjustment for age, year of diagnosis, stage, grade and treatment, the hazard ratios of breast cancer-specific mortality for Māori and Pacific women with ER+, PR+ and HER2− were 1.52 (95% CI 1.06–2.18) and 1.55 (95% CI 1.04–2.31) compared to others, respectively. Māori women with HER2+ cancer were twice more likely to die of their cancer than others.

Conclusions
Outcomes for Māori and Pacific women could be improved by better treatment regimens especially for those with HER2+ breast cancer and for women with ER+, PR+ and HER2− breast cancer.

year: 2017