Evaluating the effectiveness of Z: The claims made about CICS and where we go from here

There have been few genuine success stories about industrial use of formal methods. Perhaps the best known and most celebrated is the use of Z by IBM (in collaboration with Oxford University's Programming Research Group) during the development of CICS/ESA (version 3.1). This work was rewarded with the prestigious Queen's Award for Technological Achievement in 1992 and is especially notable for two reasons: 1) because it is a commercial, rather than safety- or security-critical, system and 2) because the claims made about the effectiveness of Z are quantitative as well as qualitative. The most widely publicized claims are: less than half the normal number of customer-reported errors and a 9% savings in the total development costs of the release. This paper provides an independent assessment of the effectiveness of using Z on CICS based on the set of public domain documents. Using this evidence, we believe that the case study was important and valuable, but that the quantitative claims have not been substantiated. The intellectual arguments and rationale for formal methods are attractive, but their widespread commercial use is ultimately dependent upon more convincing quantitative demonstrations of effectiveness. Despite the pioneering efforts of IBM and PRG, there is still a need for rigorous, measurement-based case studies to assess when and how the methods are most effective. We describe how future similar case studies could be improved so that the results are more rigorous and conclusive.

Methodologies employed in the collection, retrieval and storage of human factors information derived from first hand accounts of survivors of the WTC disaster of 11 September 2001

This article provides a broad overview of project HEED (High-rise Evacuation Evaluation Database) and the methodologies employed in the collection and storage of first-hand accounts of evacuation experiences derived from face-to-face interviews of evacuees from the World Trade Center (WTC) Twin Towers complex on September 11, 2001. In particular, the article describes the development of the HEED database. This is a flexible research tool which contains qualitative type data in the form of coded evacuee experiences along with the full interview transcripts. The data and information captured and stored in the HEED database is not only unique, but provides a means to address current and emerging issues relating to human factors associated with the evacuation of high-rise buildings

Family, community and politics: the fertile legacy of Michael Young

The Institute of Community Studies was set up by Michael Young in order to carry out research on politically relevant social issues, in a context free from direct political control. A research method was devised for it whereby researchers made their own values and objectives very explicit, while staying as close as possible in their reports to the concerns and language of respondents themselves. This method has often been criticized by professional sociologists: but it reflects quite well the nature of social knowledge. It has produced reports which help to increase public understanding of social processes, and provide useful guidance to policy makers. Professional sociology on the other hand has tried to develop a rigorously value-free method. As a result, though, it often seems to be tied implicitly to values shared among researchers but not more universally. Arguably this makes it harder for the general public to understand, and accept, its findings.

The influence of alkali metal chlorides on the loss of water from glass-ionomer dental cements

The water loss behaviour of a clinical glass-ionomer dental cement has been studied with and without the addition of alkali metal chlorides. Dehydrating conditions were provided by placing specimens in a desiccator over concentrated sulphuric acid. Cements were prepared using either pure water or an aqueous solution of metal chloride (LiCl, NaCl, KCl) at 1.0 mol/dm(3). In addition, NaCl at 0.5 mol/dm(3) was also used to fabricate cements. Disc-shaped specimens of size 6 mm diameter x 2 mm thickness were made, six performulation, and cured at 37 degrees C for 1 hour They were then exposed to desiccating conditions, and the mass measured at regular intervals. All formulations were found to lose water in a diffusion process that equilibrated after approximately 3 weeks. Diffusion coefficients ranged from 2.27 (0.13) x 10(9) with no additive to 1.85 (0.07) x 10(9) m(2)/s with 1.0 mol/dm(3) KCl. For the salts, diffusion coefficients decreased in the order LiCl > NaCl > KCl. There was no statistically significant difference between the diffusion coefficients for 1.0 and 0.5 mol/dm(3) NaCl. For all salts at 1.0 mol/dm(3) and also additive-free cements, equilibrium losses were, with statistical limits, the same, ranging from 6.23 to 6.34%. On the other hand, 0.5 mol/dm(3) NaCl lost significantly more water 7.05%.

An evaluation of the implementation of hand held health records with adults with learning disabilities: a cluster randomized controlled trial

Background: Personal health records were implemented with adults with learning disabilities (AWLD) to try to improve their health-care. Materials and Method: Forty GP practices were randomized to the Personal Health Profile (PHP) implementation or control group. Two hundred and one AWLD were interviewed at baseline and 163 followed up after 12 months intervention (PHP group). AWLD and carers of AWLD were employed as research interviewers. AWLD were full research participants. Results: Annual consultation rates in the intervention and control groups at baseline were low (2.3 and 2.6 visits respectively). A slightly greater increase occurred over the year in the intervention group 0.6 ()0.4 to 1.6) visits ⁄ year compared with controls. AWLD in PHP group reported more health problems at follow-up 0.9 (0.0 to 1.8). AWLD liked their PHP (92%) but only 63% AWLD and 55% carers reported PHP usage. Carers had high turnover (34%). Conclusions: No significant outcomes were achieved by the intervention.