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.

What students can tell about lecturers when they are teaching: manifestations of confident and under-confident lecturers

Delivering a lecture requires confidence, a sound knowledge and well developed teaching skills (Cooper and Simonds, 2007, Quinn and Hughes, 2007). However, practitioners who are new to lecturing large groups in higher education may initially lack the confidence to do so which can manifest itself in their verbal and non-verbal cues and the fluency of their teaching skills. This results in the perception that students can identify the confident and non-confident teacher during a lecture (Street, 2007) and so potentially contributing to a lecturer’s level of anxiety prior to, and during, a lecture. Therefore, in the current educational climate of consumerisation, with the increased evaluation of teaching by students, having the ability to deliver high-quality, informed, and interesting lectures assumes greater significance for both lecturers and universities (Carr, 2007; Higher Education Founding Council 2008, Glass et al., 2006). This paper will present both the quantitative and qualitative data from a two-phase mixed method study with 75 nurse lecturers and 62 nursing students in one university in the United Kingdom. The study investigated the notion that lecturing has similarities to acting (Street, 2007). The findings presented here are concerned with how students perceived lecturers’ level of confidence and how lecturers believed they demonstrated confidence. In phase one a specifically designed questionnaire was distributed to both lecturers and students and a response rate of 91% (n=125) was achieved, while in phase two 12 in-depth semi-structured interviews were conducted with lecturers. Results suggested that students in a lecture could identify if the lecturer was confident or not by the way they performed a lecture. Students identified 57 manifestations of non-confidence and lecturers identified 85, while 57 manifestations of confidence were identified by students and 88 by lecturers. Overall, these fell into 12 main converse categories, ranging from body language to the use of space within the room. Both students and lecturers ranked body language, vocal qualities, delivery skills, involving the students and the ability to share knowledge as the most evident manifestations of confidence. Elements like good eye contact, smiling, speaking clearly and being fluent in the use of media recourses where all seen as manifestations confidence, conversely if these were poorly executed then a presentation of under confidence was evident. Furthermore, if the lecturer appeared enthusiastic it was clearly underpinned by the manifestation of a highly confidence lecturer who was secure in their knowledge base and teaching abilities: Some lecturers do appear enthusiastic but others don’t. I think the ones that do know what they are talking about, you can see it in their voice and in their lively body language. I think they are also good at involving the students even. I think the good ones are able to turn boring subjects into lively and interesting ones. (Student 50) Significantly more lecturers than students felt the lecturer should appear confident when lecturing. The lecturers stated it was particularly important to do so when they did not feel confident, because they were concerned with appearing capable. It seems that these students and lecturers perceived that expressive and apparently confident lecturers can make a positive impact on student groups in terms of involvement in lectures; the data also suggested the reverse, for the under confident lecturer. Findings from phase two indicated that these lecturers assumed a persona when lecturing, particularly, but not exclusively, when they were nervous. These lecturers went through a process of assuming and maintaining this persona before and during a lecture as a way of promoting their internal perceptions of confidence but also their outward manifestation of confidence. Although assuming a convincing persona may have a degree of deception about it, providing the knowledge communicated is accurate, the deception may aid rather than hinder learning, because enhances the delivery of a lecture. Therefore, the deception of acting a little more confidently than one feels might be justified when the lecturer knows the knowledge they are communicating is correct, unlike the Dr Fox Effect where the person delivering a lecture is an actor and does not know the subject in any detail or depth and where the deception to be justified (Naftulin, et al., 1973). In conclusion, these students and lecturers perceive that confident and enthusiastic lecturers communicate their passion for the subject in an interesting and meaningful manner through the use of their voice, body, space and interactions in such a way that shows confidence in their knowledge as well as their teaching abilities. If lecturers, therefore, can take a step back to consider how they deliver lectures in apparently confident ways this may increase their ability to engage their students and not only help them being perceived as good lecturers, but also contribute to the genuine act of education.

Writing about war: Jung, Much Ado About Nothing, and the Troy novels of Lindsay Clarke

Arguably, in a time of war literature, and indeed all writing, is saturated with deep psychic responses to conflict. So that not only in literary genres such as epic and tragedy, but also in the novel and comedy, can writing about war be discerned. C.G. Jung, Shakespeare and Lindsay Clarke are fundamentally writers of war who share allied literary strategies. Moreover, they diagnose similar origins to the malaise of a culture tending to war in the neglect of aspects of the feminine that patriarchy prefers to ignore. In repressing or evading the dark feminine, cultures as dissimilar as ancient Greece, the 21st century, Shakespeare's England and Jung's Europe prevent the healing energies of the conjunctio of masculine and feminine from stabilising an increasingly fragile consciousness. In the Troy novels of Clarke, Answer to Job by Jung and Much Ado About Nothing by Shakespeare, some attempt at spiritual nourishment is made through the writing. [From the Publisher]

Sex talk? overcoming barriers about sex and contraception after childbirth

Anecdotal evidence tells professionals that childbirth is the best form of contraception. However, sexual health problems are the very common after childbirth with Barrett et al (2000) arguing that only 15% of women who have a postnatal sexual problem reported discussing it with a health professional. As health professionals with a predilection for the ‘clinical’ and the ‘prescriptive’ we organise antenatal classes to discuss bathing the baby and post partum reunions to recount birth stories, but often fail to address sexual health problems and contraception after birth.(Glazener 1997). Many women who have carefully used contraception for years prior to pregnancy are often not helped to re-engage with the issues following birth. This would seem to be a particular problem for the most vulnerable parents such as adolescent mothers and their partners (Social Exclusion Unit 1999, 2004) where some young women go on to have more than one baby in a short time period (Reeves 2003). The focus of this paper is to explore the apparent general failure of health professionals to discuss sex after childbirth and provide information regarding reliable contraception. Glazener (1997) tells us that health professionals are encouraged to educate and prepare patients antenatally, for example to be trained to identify problems and deal with them openly and sympathetically. What is brought into question is why this form of rigorous support is not extended to providing sexual health advice in the immediate and often vulnerable postnatal period and why this provision is not a priority for some groups. The paper will explore if this situation caused by a lack of training or is it a symptom of our culture and a British attitude towards sex and contraception.