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.

The art of auscultation: evaluating a patient's respiratory pathology

This article considers national policy drivers promoting the development of advanced assessment skills and practical procedures for the safe and effective use of the stethoscope in the clinical area. The evidence base underpinning effective use of the stethoscope in clinical practice is explored, including the preparation of the patient and the environment, applying infection control policies, and placing an emphasis on privacy and dignity. This is followed by a practical guide to auscultation technique of the respiratory system for nurses developing advanced practice skills.

Evaluating the process of borosilicate glass capillaries used for fabrication of in-vitro fertilization (IVF) micro-pipettes

In this paper we investigate a number of gas flames for fire polishing borosilicate glass capillaries used in the manufacturing of IVF micro-pipettes. Hydrofluoric acid (HF) was also used as an alternative to finish the pipette end. Glass micro tools in the IVF industry are drawn from hollow glass capillaries of diameter 1 mm. These capillaries are cut manually to a length of 100 mm from hollow glass rods resulting in sharp and chipped edges. These capillaries are held in a customised holder having padding of soft silicone or rubber. Sharp and uneven edges of these capillaries pick up particles of rubber or soft silicone shavings, rendering them ineffective for IVF treatments. The working range of borosilicate glass is 800-1,200 degrees C. The experiments involved analysis of fire polishing process for borosilicate glass capillaries using candle, butane, propane, 2350 butane propane, oxyacetylene gas flames, finding the optimum distance of the capillary relative to the flame, optimum time for which the capillary should be held in the flame and optimum region of the flame which gives the required temperature range. The results show that 2350 butane propane gas mix is optimum for fire polishing of borosilicate glass capillaries. The paper is concluded by comparing the results of fire polishing with the results of acid polishing, in which HF of 1.6% concentration is used to etch the ends of the borosilicate glass pipettes.