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.

Constructive trusts, illegal purpose and locus poenitentiae

Analyses the Family Division decision in Q v Q on the competing claims of a father and son to beneficial ownership of a house in which the father sought to on a secret agreement entered into with his sons when transferring the property into their joint names, intended to subvert the inheritance tax rules on lifetime gifts by retaining the right to have the property transferred back to him, and the son relied on a later agreement with his brother to transfer the house into his sole name, in reliance on which he and his wife had acted to their detriment by paying for its upkeep and renovation.

The promised land

Examines the House of Lords ruling in Thorner v Curtis on whether the claimant could rely on proprietary estoppel against the estate of the deceased, who had died intestate, based on an assurance given by the deceased that the claimant would inherit the deceased's farm. Reviews case law on proprietary estoppel and testamentary promises, and considers the possible application of constructive trust doctrine in similar cases.

Oral agreements: estoppel, constructive trusts and restitution

Analyses the House of Lords judgment in Cobbe v Yeoman's Row Management Ltd in relation to claims by the prospective purchaser under an oral agreement for sale of a block of flats based on proprietary estoppel, a constructive trust and common law restitution brought against the owner of the property who sought to resile from the agreement after the purchaser had, at considerable expense, obtained planning permission to redevelop the property in reliance on assurances given by the owner that if permission was granted the sale would be honoured.

Killing fields. [Review of Rebel land: among Turkey's forgotten peoples by Christopher de Bellaigua]

Alev Adil explores a region still enraged by a 'crime on the sly'

What's exceptional?

Outlines the factors which the court needs to consider when deciding whether to grant an application for the sale of a property where the owner becomes bankrupt. Considers the different priorities to be given to the claims of trustees in bankruptcy and to secure lenders, with reference to the Trusts of Land and Appointment of Trustees Act 1996 ss.14 and 15, the Insolvency Act 1986 s.355A, and the exceptional circumstances in which claims will not be granted. Explores case law, in particular the Court of Appeal ruling in Avis v Turner, and the implications of the Human Rights Act 1998. [From Legal Journals Index]

FARM-Africa South Africa Northern Cape land reform and advocacy programme 2004-2008: final evaluation

FARM-Africa South Africa has played a crucial and important role in filling the gap that existed after the return of land to communities by government in the Northern Cape. Their support to farmer communities during the post-settlement phase has been critical for making productive use of land. During 2004-2008, FARM-SA has worked in 20 community projects in the Northern Cape, benefiting 745 poor households.