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.

An AI formalism for competing claims of identification: capturing the "Smemorato di Collegno" amnesia case

A formal representation is given of the situational structure, and the agents' beliefs about personal identity, in the Smemorato di Collegno amnesia case tried in 1927, in Pollenza, Italy. Another section discusses and formalizes a sample heuristic rule for conjecturing whether an individual identity other than personal, being conveyed by a toponym, was used literally or fictitiously in a given historical corpus of legal casenotes. For example, a landlocked city being named and referred to as though it was a sea port is a fairly good cue for assuming that the toponym is a disguise. Yet, the interpretation is governed by other conventions, when in a play by Shakeaspeare it is stated that a given scene is set on the sea coast of Bohemia. Further discussion of a situational casuistry for identification (especially individual and personal) along with more formal representations will appear in a companion paper "nissanidentifpirandello", also at the disciplinary meet of AI formalisms and legal applications.

Monkey mountain as a megazoo: analysing the naturalistic claims of “wild monkey parks” in Japan

In Japan yaen koen or ‘wild monkey parks’ are popular visitor attractions that show free-ranging monkey troops to the paying public. Unlike zoos, which display animals through confinement, monkey parks control the movements of the monkeys through provisioning. The parks project an image of themselves as ‘natural zoos’, claiming to practice a more authentic form of wild animal display than that practiced by the zoo. This article critically evaluates the monkey park’s claim by examining park management of the monkeys. The monkey park’s claim to display ‘wild monkeys’ is shown to be questionable because of the way that provisioning changes monkey behaviour. Against the background of human encroachment onto the forest habitat of the monkey, the long-term effect of provisioning is to sedentarize what were nomadic monkeys and to turn the ‘wild monkey park’ into a megazoo.

Perceived relevance and foods with health-related claims

Although consumer perception of the health claims and nutrition information has been studied widely there is relatively little understanding about the motivational factors underpinning claim perception. The objective of this study is to investigate how levels of perceived relevance influence consumers’ responses to health claims that either promise to reduce a targeted disease risk or improve well-being in comparison to other types of health-related messages, and how attitudes towards nutritionally healthy eating, functional food and previous experience relating to products with health claims affect the consumers’ perceptions of nutrition and health claims. The data (N=2385) were collected by paper and pencil surveys in Finland, the UK, Germany and Italy on a target group of consumers over 35 year old, solely or jointly responsible for the family’s food shopping. The results showed that relevance has a strong influence on perceptions of personal benefit and willingness to buy products with health claims. However the impact of relevance is much stronger when the health risks are relevant to self than when it is relevant to those close to oneself, especially when the claim promises a targeted risk reduction with detailed information about function and health outcome. Previous experience with products with health claims and interest in nutritionally healthy eating promoted the utility of all claims, regardless of whether they were health or nutrition claims. However, to be influenced by health claims consumers also need to have a positive attitude towards functional food products.

Are systemizing and autistic traits related to talent and interest in mathematics and engineering? Testing some of the central claims of the empathizing-systemizing theory.

In two experiments, we tested some of the central claims of the empathizing-systemizing (E-S) theory. Experiment 1 showed that the systemizing quotient (SQ) was unrelated to performance on a mathematics test, although it was correlated with statistics-related attitudes, self-efficacy, and anxiety. In Experiment 2, systemizing skills, and gender differences in these skills, were more strongly related to spatial thinking styles than to SQ. In fact, when we partialled the effect of spatial thinking styles, SQ was no longer related to systemizing skills. Additionally, there was no relationship between the Autism Spectrum Quotient (AQ) and the SQ, or skills and interest in mathematics and mechanical reasoning. We discuss the implications of our findings for the E-S theory, and for understanding the autistic cognitive profile.

Maternal Risk Anxiety in Belfast: Claims, Evaluations, Responses

This paper considers the social logic of maternal anxiety about risks posed to children in segregated, post-conflict neighbourhoods. Focusing on qualitative research with mothers in Belfast’s impoverished and divided inner city, the paper draws on the interactionist perspective in the sociology of emotions to explore the ways in which maternal anxiety drives claims for recognition of good mothering, through orientations to these neighbourhoods. Drawing on Hirschman’s model of exit, loyalty and voice types of situated action, the paper examines the relationship between maternal risk anxiety and evaluations of neighbourhood safety. In arguing that emotions are important aspects of claims for social recognition, the paper demonstrates that anxiety provokes efforts to claim status, in this context through the explicit affirmation of non-sectarian mothering.

A Retrospective Claims Analysis of Medication Adherence and Persistence Among Patients Taking Antidepressants for the Treatment of Major Depressive Disorder (MDD)

Thesis (Master's)--University of Washington, 2015

Ulster PD Scheme: Using e-portfolios and professional conversations to evidence recognition claims

Vicky Davies and Sarah Maguire are Professional Development Managers at the University of Ulster. They have many years of experience in delivering and assessing Higher Education Academy claims for recognition via accredited provision for new teaching staff and post-graduate students. More recently they led the development of the University of Ulster’s Professional Development Scheme http://www.ulster.ac.uk/centrehep/pds/ . The core elements of the PD Scheme are the production of an e-portfolio and an assessed professional conversation. This workshop will explore the learning they have acquired through developing this process and piloting it with applicants. You will have the opportunity to discuss this and to identify any transferability to your own practice.

Letter from the acting Secretary of War, transmitting information relative to the claims of the State of Massachusetts for payment of the expenses of the militia ordered out by the executive authority of the state, during the late war. --

15th Congress, 1st session, 1817-1818, House. Doc. 81.