Procedures and parameters in the real-time program refinement calculus

The real-time refinement calculus is a formal method for the systematic derivation of real-time programs from real-time specifications in a style similar to the non-real-time refinement calculi of Back and Morgan. In this paper we extend the real-time refinement calculus with procedures and provide refinement rules for refining real-time specifications to procedure calls. A real-time specification can include constraints on, not only what outputs are produced, but also when they are produced. The derived programs can also include time constraints oil when certain points in the program must be reached; these are expressed in the form of deadline commands. Such programs are machine independent. An important consequence of the approach taken is that, not only are the specifications machine independent, but the whole refinement process is machine independent. To implement the machine independent code on a target machine one has a separate task of showing that the compiled machine code will reach all its deadlines before they expire. For real-time programs, externally observable input and output variables are essential. These differ from local variables in that their values are observable over the duration of the execution of the program. Hence procedures require input and output parameter mechanisms that are references to the actual parameters so that changes to external inputs are observable within the procedure and changes to output parameters are externally observable. In addition, we allow value and result parameters. These may be auxiliary parameters, which are used for reasoning about the correctness of real-time programs as well as in the expression of timing deadlines, but do not lead to any code being generated for them by a compiler. (c) 2006 Elsevier B.V. All rights reserved.

Literacy skills of adults with intellectual disability in community-based day programs

A brief narrative description of the journal article, document, or resource. There is limited information available related to the literacy skills of adults with intellectual disabilities. In this project, information was collected about the contexts, current practices, and clients' abilities in literacy in two community-based disability service programs. Individual assessments were undertaken to collect details of the current literacy levels of adults with intellectual disabilities in day program settings. These assessments focused on receptive language, reading at the letter, word and sentence level, writing vocabulary and connected text, and literacy preferences. Audits were also conducted related to the provision of opportunities for clients accessing these services to engage with literacy including environmental print. Structured day program activities were observed to gather information about current literacy teaching and learning. Implications of the research findings and suggestions for provision of literacy education in these settings are discusse

Adapting the 'family wellbeing' empowerment program to the needs of remote indigenous school children

Objective: To adapt the Family Wellbeing empowerment program, which was initially designed to support adults to take greater control and responsibility for their decisions and lives, to the needs of Indigenous school children living in remote communities. Method. At the request of two schools in remote Indigenous communities in far north Queensland, a pilot personal development and empowerment program based on the adult Family Wellbeing principles was developed, conducted and evaluated in the schools. The main aims of the program were to build personal identity and to encourage students to recognise their future potential and be more aware of their place in the community and wider society. Results: Participation in the program resulted in significant social and emotional growth for the students. Outcomes described by participating students and teachers included increased analytical and reflective skills, greater ability to think for oneself and set goals, less teasing and bullying in the school environment, and an enhanced sense of identity, friendship and,social relatedness'. Conclusion: This pilot implementation of the Family Wellbeing Program adapted for schools demonstrated the program's potential to enhance Indigenous young people's personal growth and development. Challenges remain in increasing parental/ family involvement and ensuring the program's sustainability and transferability. The team has been working with relevant stakeholders to further develop and package the School-based Family Wellbeing program for Education Queensland's New Basics curriculum framework.

An audit of structured diabetes care in a rural general practice

Objective: To assess the impact of structured diabetes care in a rural general practice. Design and setting: A cohort study of structured diabetes care (care plans, multidisciplinary involvement and regular patient recall) in a large general practice in a medium-sized Australian rural town. Medical care followed each doctor's usual practice. Participants: The first 404 consecutive patients with type 2 diabetes who consented to take part in the program were evaluated 24 months after enrolment in July 2002 to December 2003. Main outcome measures: Change in cardiovascular disease risk factors (waist circumference, body mass index, serum lipid levels, blood pressure); change in indicators of risks associated with poorly controlled diabetes (glycated haemoglobin [HbA1(c]) concentration, foot lesions, clinically significant hypoglycaemia); change in 5-year cardiovascular disease risk. Results: Women had a lower 5-year risk of a cardiovascular event at enrolment than men. Structured care was associated with statistically significant reductions in mean cardiovascular disease risk factors (waist circumference, -2.6 cm; blood pressure [systolic, -3 mmHg; diastolic -7 mmHg]; and serum lipid levels [total cholesterol, -0.5 mmol/L; HDL cholesterol, 0.02 mmol/L; LDL cholesterol, -0.4 mmol/L; triglycerides, -0.3 mmol/L]); and improvements in indicators of diabetic control (proportion with severe hypoglycaemic events, -2.2%; proportion with foot lesions, -14%). The greatest improvements in risk factors occurred in patients with the highest calculated cardiovascular risk. There was a statistically significant increase in the proportion of patients with ideal blood pressure (systolic,