Developing logic programs from specifications using stepwise refinement

In this paper we demonstrate a refinement calculus for logic programs, which is a framework for developing logic programs from specifications. The paper is written in a tutorial-style, using a running example to illustrate how the refinement calculus is used to develop logic programs. The paper also presents an overview of some of the advanced features of the calculus, including the introduction of higher-order procedures and the refinement of abstract data types.

Beyond the middle: A report about literacy and numeracy development of target group students in the middle years of schooling: Volume 1

The report was commissioned by the Department of Education, Science and Training to investigate the perceived efficacy of middle years programmes in all States and Territories in improving the quality of teaching, learning and student outcomes, especially in literacy and numeracy and for student members of particular target groups. These target groups included students from lower socio-economic communities, Aboriginal and Torres Strait Islander communities, students with a language background other than English, rural and remote students, and students struggling with the transition from middle/upper primary to the junior secondary years. The project involved large scale national and international literature reviews on Australian and international middle years approaches as well as an analysis of key literacy and numeracy teaching and learning strategies being used. In the report, there is emergent evidence of the relative efficacy of a combination of explicit state policy, dedicated funding and curriculum and professional development frameworks that are focused on the improvement of classroom pedagogy in the middle years. The programs that evidenced the greatest current and potential value for target group students tended to have developed in state policy environments that encouraged a structural rather than adjunct approach to middle years innovations. The authors conclude that in order to translate the gains made into sustainable improvement of educational results in literacy and numeracy for target groups, there is a need for a second generation of middle years theorising, research, development and practice.

Using Theory to Understand the Multiple Determinants of Low Participation in Worksite Health Promotion Programs

Low participation at the employee or worksite level limits the potential public health impact of worksite-based interventions. Ecological models suggest that multiple levels of influence operate to determine participation patterns in worksite health promotion programs. Most investigations into the determinants of low participation study the intrapersonal, interpersonal, and institutional influences on employee participation. Community- and policy-level influences have not received attention, nor has consideration been given to worksite-level participation issues. The purpose of this article is to discuss one macrosocial theoretical perspective—political economy of health—that may guide practitioners and researchers interested in addressing the community- and policy-level determinants of participation in worksite health promotion programs. The authors argue that using theory to investigate the full spectrum of determinants offers a more complete range of intervention and research options for maximizing employee and worksite levels of participation.

Teacher voice and ownership of curriculum change

We comment critically on the notion that teachers can experience ownership of curriculum change. The evidence base for this commentary is our work on two curriculum development projects in health and physical education between 1993 and 1998. Applying a theoretical framework adapted from Bernstein's writing on the social construction of pedagogic discourse, we contend that the possibilities for teacher ownership of curriculum change are circumscribed by the anchoring of their authority to speak on curriculum matters in the local context of implementation. We argue that this anchoring of teacher voice provides a key to understanding the perennial problem of the transformation of innovative ideas from conception to implementation. We also provide some insights into the extent to which genuine participation by teachers in education reform might be possible, and we conclude with a discussion of the possibilities that exist for partnerships in reforming health and physical education.