Formal performance appraisal interviews: Can they really be objective, and are they useful anyway?

This paper reports on a qualitative field study conducted in Australia which examined what is occurring in formal performance appraisal interviews in relation to their objectivity and resultant outcomes. Supervisors and subordinates who had recently been involved in performance appraisals were interviewed about their experiences of the process. Perceptions of the utility of, and satisfaction with the interview process were examined. Further, the effect of the relationship between the participants on objectivity was investigated. Results indicated that formal appraisal interviews were not perceived to be of great utility, and that the relationship of the participants influenced the interview.

Formal derivation of finite state machines for class testing

Previous work on generating state machines for the purpose of class testing has not been formally based. There has also been work on deriving state machines from formal specifications for testing non-object-oriented software. We build on this work by presenting a method for deriving a state machine for testing purposes from a formal specification of the class under test. We also show how the resulting state machine can be used as the basis for a test suite developed and executed using an existing framework for class testing. To derive the state machine, we identify the states and possible interactions of the operations of the class under test. The Test Template Framework is used to formally derive the states from the Object-Z specification of the class under test. The transitions of the finite state machine are calculated from the derived states and the class's operations. The formally derived finite state machine is transformed to a ClassBench testgraph, which is used as input to the ClassBench framework to test a C++ implementation of the class. The method is illustrated using a simple bounded queue example.

Tuberculosis and health sector reform: experience of integrating tuberculosis services into the district health system in rural South Africa

SETTING: Hlabisa health district, South Africa. OBJECTIVE: To describe the integration of a vertical tuberculosis control programme into an emerging 'horizontal' district health system, within the context of health sector reform. DESIGN: Descriptive account of the process of integration of the programme into the health system. RESULTS: A highly 'vertical' system of delivering tuberculosis treatment (with poor programme outcomes) was converted into a (horizontal' team, integrated within the district health system, that used available resources such as village clinics and community health workers, with improved programme outcomes. CONCLUSIONS: In some settings at least, integration of tuberculosis 'programmes' into the district health system as tuberculosis 'teams' is feasible, and may produce highly cost-effective outcomes.

Formal methods within a totally functional approach to programming

Taking functional programming to its extremities in search of simplicity still requires integration with other development (e.g. formal) methods. Induction is the key to deriving and verifying functional programs, but can be simplified through packaging proofs with functions, particularly folds, on data (structures). Totally Functional Programming avoids the complexities of interpretation by directly representing data (structures) as platonic combinators - the functions characteristic to the data. The link between the two simplifications is that platonic combinators are a kind of partially-applied fold, which means that platonic combinators inherit fold-theoretic properties, but with some apparent simplifications due to the platonic combinator representation. However, despite observable behaviour within functional programming that suggests that TFP is widely-applicable, significant work remains before TFP as such could be widely adopted.

State sector reform and agriculture in China

China's state sector reform process is examined through the key sector of agriculture. A preview of aggregate statistics and broader reform measures indicate the declining role of the state. However, a systematic analysis of administrative, service and enterprise structures reveal the nuances of how the state has retained strong capacity to guide development of the agricultural sector. State and Party policy makers aim not only to support the livelihoods of hundreds of millions of farmers, but also to pursue agricultural modernization in the context of rapid industrialization. These goals are unlikely to be achieved through a wholesale transfer of functions to the private sector, so the state has maintained or developed new mechanisms of influence, particularly in the areas of service provision and enterprise development.

Labour flexibility and gender in the service sector: A study of employment practices in law and accounting firms

In seeking to increase the flexibility of their use of employee time, employers can pursue strategies based on the employment of casual and part-time workers (numerical flexibility) or strategies based on ad hoc variation of the working hours of permanent employees (working time flexibility). Patterns of flexibility strategies and their implications are examined in the context of a highly feminised sector of work-clerical and administrative employment in law and accounting firms. We consider whether, as is often assumed, working time flexibility strategies are generally better for employees because they avoid the substitution of core, high quality jobs with the peripheral, relatively insecure employment often associated with casualisation. Analysing data drawn from a survey of law and accounting firms, we argue that there are three distinct flexibility strategies adopted by employers, and that the choice of strategy is influenced by the size of the firm and the extent of feminisation. The quality of employment conditions associated with each strategy is investigated through an analysis of the determinants of training provision for clerical and administrative workers. Rather than an expected simple linear relationship between increasing casualisation and decreasing training provision, we find that firm size and feminisation are implicated. Larger firms that tend to employ at least some men and use a combination of working time and numerical flexibility strategies tend to provide more training than the small, more fully feminised firms that tend to opt for either casualisation or working time flexibility strategies. This suggests that, from an employee perspective, working time flexibility may not be as benevolent as is often thought.

The formal representation of process system modelling assumptions and their implications

In order to analyse the effect of modelling assumptions in a formal, rigorous way, a syntax of modelling assumptions has been defined. The syntax of modelling assumptions enables us to represent modelling assumptions as transformations acting on the set of model equations. The notion of syntactical correctness and semantical consistency of sets of modelling assumptions is defined and methods for checking them are described. It is shown on a simple example how different modelling assumptions act on the model equations and their effect on the differential index of the resulted model is also indicated.