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.

Exploring genetic alternative concepts for FUELGEN

This paper describes new crossover operators and mutation strategies for the FUELGEN system, a genetic algorithm which designs fuel loading patterns for nuclear power reactors. The new components are applications of new ideas from recent research in genetic algorithms. They are designed to improve the performance of FUELGEN by using information in the problem as yet not made explicit in the genetic algorithm's representation. The paper introduces new developments in genetic algorithm design and explains how they motivate the proposed new components.

Fostering 'habits of reflection, independent study and free inquiry': an analysis of the short-lived phenomenon of General/Liberal Studies in English vocational education and training

In 1957, 12 years after the end of World War II, the Ministry of Education issued Circular 323 to promote the development of an element of ‘liberal studies’ in courses offered by technical and further education (FE) colleges in England. This was perceived to be in some ways a peculiar or uncharacteristic development. However, it lasted over 20 years, during which time most students on courses in FE colleges participated in what were termed General or Liberal Studies classes that complemented and/or contrasted with the technical content of their vocational programmes. By the end of the 1970s, these classes had changed in character, moving away from the concept of a ‘liberal education’ towards a prescribed diet of ‘communication studies’. The steady decline in apprenticeship numbers from the late 1960s onwards accelerated in the late 1970s, resulting in a new type of student (the state-funded ‘trainee’) into colleges whose curriculum would be prescribed by the Manpower Services Commission. This paper examines the Ministry’s thinking and charts the rise and fall of a curriculum phenomenon that became immortalised in the ‘Wilt’ novels of Tom Sharpe. The paper argues that the Ministry of Education’s concerns half a century ago are still relevant now, particularly as fresh calls are being made to raise the leaving age from compulsory education to 18, and in light of attempts in England to develop new vocational diplomas for full-time students in schools and colleges.