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.

Modelling induction melting energy savings

Electromagnetic processing of liquid metals involves dynamic change of the fluid volume interfacing with a melting solid material, gas or vacuum, and possibly a different liquid. Electromagnetic field and the associated force field are strongly coupled to the free surface dynamics and the heat-mass transfer. We present practical modelling examples of the flow and heat transfer using an accurate pseudo-spectral code and the k-omega turbulence model suitable for complex and transitional flows with free surfaces. The 'cold crucible' melting is modelled dynamically including the melting front gradual propagation and the magnetically confined free surrounding interface. Intermittent contact with the water-cooled segmented wall and the radiation heat losses are parts of the complex problem.

Computational modelling of bubbles, droplets and particles in metals reduction and refining

The CFD modelling of metals reduction processes particularly always seems to involve the interaction of liquid metals, a gas (often air) top space, liquid droplets in the top space and injection of both solid particles and gaseous bubbles into the bath. These phases all interact and exhange mass, momentum and energy. Often it is the extent to which these multi-phase phemomena can be effectively captured within the CFD model which determines whether or not a tool of genuine use to the target industry sector can constructed. In this paper we discuss these issues in the context of two problems - one involving the injection of sparging gases into a steel continuous caster and the other based on the development of a novel process for aluminium electrolysis.

On treating the symptoms and not the cause: reflections on the Dangerous Dogs Act

The experience of saving a dog that later turned out to be a Pit Bull and therefore banned under the Dangerous Dogs Act 1991, made me investigate the Act and its implications. The Act is not built on evidence and by compiling results from different studies on dog bites and breed‐specific legislation in different countries the conclusion is that there is not much empirical support for breed bans either. ‘Dangerous breeds’ do not bite more frequently than German Shepherds and directing legislation towards certain breeds deemed as ‘dangerous’ cannot therefore be seen as justified. The strength of the label ‘dangerous dog’ seems to rule out policies that follow the facts and there is more treating of symptoms than causes. [From the Author]

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.

What a performance! Developing nurse teachers lecturing persona and identity: a performing arts perspective

Delivering lectures to large groups of students can provoke high levels of anxiety, particularly for new lecturers (Exley and Dennick, 2009). Further, to provide an informative and engaging lecture requires a teacher who is confident, has a sound knowledge and well developed teaching skills (Bentley-Davies, 2010). Thus, new lecturers often need experience and supervision to develop the tacit knowledge and insight into their own style and persona when teaching in order to feel confident when delivering a lecture (Quinn and Hughes, 2007). Considering this model, therefore, may potentially contribute to a lecturers’ development and performance in the classroom. This paper will present the results of the second phase of a two-stage mixed method study that investigated the similarities between lecturing and acting. Twelve in-depth interviews where undertaken with lecturers within one School of Nursing in The United Kingdom. Findings, established a model of ‘persona adoption’ that represents a series of stages that lecturers may go through to both develop and take on a persona when lecturing. This persona is often different from the way they lecturers present themselves in other parts of their working life. The first stage of this model of persona adoption is when the lecturer is subjected to a range of ‘influencing factors’ that provide not only the basic information about a lecture, but also the perceptual stimuli about giving a lecture on a specific subject, to a particular number of students, at a certain academic level. These influencing factors then inter-play with the ‘facets of the individual’, which represent the lecturer’s self-concept, subject knowledge base and philosophy of teaching. This may result in a cognitive dissonance between these ‘facets’ and the ‘influencing factors’, so affecting the lecturers’ perceptions, thoughts and feelings about having to give that particular lecture. This results in the lecturer undertaking specific ‘back stage preparation’ during which they decide on the content and modes of delivery to prepare in light of that discourse. It may result in delivering the information via single or multiple methods, which during the lecture will require various levels of interaction and participation from the students. Just prior to the lecture, the lecturer builds or ‘puts on their persona’ and gets into role, making their initial impact with the group. They use the ‘elements of acting’ as proposed by Tauber and Mester’s (1994) e.g. animated voice and body, space, props humour and suspense and surprise to portray and maintain their persona. This leads the to lecturer demonstrating either positive or negative ‘persona characteristics’ in terms of appearing confident, knowledgeable, fluent in the technical skills of delivering the lecture, being interesting and engendering interaction with the students, or not. These characteristics, may or may not, potentially heighten student interest, attention and attitudes to learning as suggested by Tauber and Mester (1994). This depends on whether the lecturer has successfully used the persona and if the lecturer has been able to engage students in the lecture, in competition with other factors that may be taking the students’ attention. Although the model suggests a linear process, to a great extent, the elements might be more interdependent and interrelated. This might suggest that depending on the lecturer’s perception of their effectiveness during the lecture, that they may decide to continue or adapt their persona and methods to appear more confident. Furthermore, depending on how successful the lecturer perceived the session to be, both their reflections ‘in’ and ‘on’ practice could influence how they teach in the future (Zwozdiak, 2011). Therefore, these reflections become part of the facets of the individual, via the ‘reflective feedback loop’, in the model, which then in turn influences progression through the model in subsequent lectures. This study concluded that these lecturers went through a process whereby they compare the demands of the lecture with their own knowledge base and skill, this resulted in them undertaking specific preparation in terms of content and delivery style, then they adopted their persona immediately prior to entering the lecture, maintain it throughout the lecture via the use of the elements of acting to achieve an informative interactive lecture. The results of which then feedback into their self-concept as a lecturer and consequently may affect the persona they project in future lectures. If lecturers, therefore, can take a step back to consider how they deliver lectures and the way they can deliberately, yet apparently naturally, use their voices, bodies, space and humour in meaningfully, they engage their students in lecture, it will not just result in them being perceived as a good lecturer, but also be a genuine act of education.