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.

[Conference report] Magic and mathematics: The life and work of John Dee. National Maritime Museum, Greenwich, 13-14 June 2003

Tony Mann provides a report of a two-day meeting "Magic and mathematics: The life and work of John Dee" held from 13-14 June 2003 at the National Maritime Museum, Greenwich.

Study of Anisotropic Conductive Adhesive Joint Behaviour under 3-Point Bending

Flip chip interconnections using anisotropic conductive film (ACF) are now a very attractive technique for electronic packaging assembly. Although ACF is environmentally friendly, many factors may influence the reliability of the final ACF joint. External mechanical loading is one of these factors. Finite element analysis (FEA) was carried out to understand the effect of mechanical loading on the ACF joint. A 3-dimensional model of adhesively bonded flip chip assembly was built and simulations were performed for the 3-point bending test. The results show that the stress at its highest value at the corners, where the chip and ACF were connected together. The ACF thickness was increased at these corner regions. It was found that higher mechanical loading results in higher stress that causes a greater gap between the chip and the substrate at the corner position. Experimental work was also carried out to study the electrical reliability of the ACF joint with the applied bending load. As per the prediction from FEA, it was found that at first the corner joint failed. Successive open joints from the corner towards the middle were also noticed with the increase of the applied load.

The effect of curing on the performance of ACF bonded chip-on-flex assemblies after thermal ageing

Purpose – Anisotropic conductive film (ACF) is now an attractive technology for direct mounting of chips onto the substrate as an alternative to lead-free solders. However, despite its various advantages over other technologies, it also has many unresolved reliability issues. For instance, the performance of ACF assembly in high temperature applications is questionable. The purpose of this paper is to study the effect of bonding temperatures on the curing of ACFs, and their mechanical and electrical performance after high temperature ageing. Design/methodology/approach – In the work presented in this paper, the curing degree of an ACF at different bonding temperatures was measured using a differential scanning calorimeter. The adhesion strength and the contact resistance of ACF bonded chip-on-flex assembly were measured before and after thermal ageing and the results were correlated with the curing degree of ACF. The ACF was an epoxy-based adhesive in which Au-Ni coated polymer particles were randomly dispersed. Findings – The results showed that higher bonding temperatures had resulted in better ACF curing and stronger adhesion. After ageing, the adhesion strength increased for the samples bonded at lower temperatures and decreased for the samples bonded at higher temperatures. ACF assemblies with higher degrees of curing showed smaller increases in contact resistance after ageing. Conduction gaps at the bump-particle and/or particle-pad interfaces were found with the help of scanning electron microscopy and are thought to be the root cause of the increase in contact resistance. Originality/value – The present study focuses on the effect of bonding temperatures on the curing of ACFs, and their adhesion strength and electrical performances after high temperature ageing. The results of this study may help the development of ACFs with higher heat resistance, so that ACFs can be considered as an alternative to lead-free solders.

Minimising the risk of defects in nano-imprint forming

Nano-imprint forming (NIF) is among the most attractive manufacturing technologies offering high yield and low-cost fabrication of three-dimensional fine structures and patterns with resolution of few nanometres. Optimising NIF process is critical for achieving high quality products and minimising the risk of commonly observed defects. Using finite element analysis, the effect of various process parameters is evaluated and design rules for safe and reliable NIF fabrication formulated. This work is part of a major UK Grand Challenge project - 3D-Mintegration - for design, simulation, fabrication, assembly and test of next generation 3D-miniaturised systems.

A price worth paying?: Women and work – choice, constraint or satisficing

Purpose – Are women held back or holding back? Do women choose their jobs/careers or are they structurally or normatively constrained? The purpose of this paper is to shed fresh light on these questions and contribute to an on-going debate that has essentially focused on the extent to which part-time work is women’s choice, the role of structural and organisational constraints and the role of men in excluding women. Design/methodology/approach – The paper uses data from interviews with 80 working women – both full-time and part-time – performing diverse work roles in a range of organisations in the south east of England. Findings – It was found that many women do not make strategic job choices, rather they often ‘‘fall into’’ jobs that happen to be available to them. Some would not have aspired to their present jobs without male encouragement; many report incidents of male exclusion; and virtually all either know or suspect that they are paid less than comparable men. Those working reduced hours enjoy that facility, yet they are aware that reduced hours and senior roles are seen as incompatible. In short, they recognise both the positive and negative aspects of their jobs, whether they work full or part-time, whether they work in male-dominated or female-dominated occupations, and whatever their position in the organisational hierarchy. Accordingly, the paper argues that the concept of ‘‘satisficing’’, i.e. a decision which is good enough but not optimal, is a more appropriate way to view women’s working lives than are either choice or constraint theories. Originality/value – There is an ongoing, and often polarised, debate between those who maintain that women choose whether to give preference to work or home/family and others who maintain that women, far from being self-determining actors, are constrained structurally and normatively. Rather than supporting these choice or constraint theories, this paper argues that ‘‘satisficing’’ is a more appropriate and nuanced concept to explain women’s working lives.

'Bowing from the heart': an investigation into discourses of professionalism and the work of caring for students in further education

Since their incorporation in 1993, further education (FE) colleges in England have been responsible for their own staffing and, faced with funding constraints as well as recruitment and retention targets, some have introduced a new category of staff referred to here as 'learning support workers' (LSWs). Though their employment conditions and specific duties vary considerably, LSWs' work often includes providing individual care for students. In this small-scale study, using semi-structured interviews, the perceptions of some teachers and LSWs about the nature of their relationships with each other and with students are investigated. The study is set broadly in the context of debates about the impact of public sector reform on FE colleges and teachers. A discourse analysis approach is adopted in discussion of the data. The authors conclude that although they are differently positioned in relation to traditional discourses of professionalism, both teachers and LSWs are perceived to be carrying out what Hochschild termed 'emotional labour'. The contradictory nature of emotional labour is also highlighted. Some of the implications of employing a new group of workers in FE are discussed.

The interprofessional practitioner: changing professional identity in social work

Twenty years ago the first joint training programme in learning disability nursing and social work was established as a collaborative project to develop practitioners able to work holistically with people with learning disabilities. Since then a number of programmes have continued this work and more recently the approach has developed in the mental health specialism. These programmes have changed the nature of singular social work education and created a new region of knowledge (Bernstein, 2000) for those who have experienced them. What began as a radical experiment in interprofessional education has been sustained by a strong commitment to the belief that the practitioners who qualify from such programmes are well equipped to support people with learning disabilities in changing and multi-professional services. As with much interprofessional education, however, there is an ongoing need to build an evidence base linking such education with successful outcomes in practice. This paper presents and explores the outcomes of a doctoral research study aimed at evaluating the impact of joint training in learning disability nursing and social work on the professional identity, skills and working practices of practitioners who undertook it. The research was undertaken with almost fifty jointly trained practitioners and involved a national survey followed by semi-structured interviews. The results suggest that practitioners who experience the dual socialisation inherent in this type of training found both gains and losses in the process. They appear to emerge, however, with a confidence, resilience and breadth of knowledge which were part of the early vision for this transformative approach to professional training. Bernstein B. (2000). Pedagogy, Symbolic Control and Identity. Theory, Research, Critique. Revised Edition. Lanham: Rowman and Littlefield (USA).