Refinement laws for verifying library subroutine adaptation

In component-based software engineering programs are constructed from pre-defined software library modules. However, if the library's subroutines do not exactly match the programmer's requirements, the subroutines' code must be adapted accordingly. For this process to be acceptable in safety or mission-critical applications, where all code must be proven correct, it must be possible to verify the correctness of the adaptations themselves. In this paper we show how refinement theory can be used to model typical adaptation steps and to define the conditions that must be proven to verify that a library subroutine has been adapted correctly.

Can we get General Practitioners to Promote Physical Activity? Results of the 10,000 Steps Rockhampton Community-Based Physical Activity Promotion Project

Evidence supporting the efficacy of physical activity promotion in primary care settings has evaluated patient-level changes in physical activity, with little focus on the issue of general practitioner (GP) uptake. The 'GP Strategy' of 10,000 Steps Rockhampton provided an opportunity to explore this issue in the context of a multi-strategy, community-based physical activity intervention project. The 'GP Strategy' was developed in partnership with the Capricornia Division of General Practice. It aimed to: 1) increase GP awareness of the 10,000 Steps project, 2) upskill GPs in brief physical activity counselling techniques, and 3) provide GPs with evidencebased physical activity counselling materials and pedometers. The evaluation, which was guided by the RE-AIM evaluation framework, used a pre-post design, including a GP mailed survey, and collection of process data. Survey response rates were 67% (n=44/66; baseline) and 70% (n=37/53; 14-month follow-up). GP awareness of 10,000 Steps Rockhampton increased from 46% to 97%. 21/23 practices were visited by 10,000 Steps staff and accepted 10,000 Steps posters, brochures, and pedometers. At follow-up, 78% had displayed the poster, 81% were using the brochures, and 70% had loaned pedometers to patients. Despite the very high rate of uptake and use of 10,000 Steps materials, there was no change in the percentage of patients counselled, and relatively few pedometers had been loaned to patients. The results of this trial indicate that it will take more effort to change GP physical activity counselling behaviour, and provide only modest support for use of pedometers in the busy general practice setting. Acknowledgement:This project is supported by a grant from Health Promotion Queensland.