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.

A UK perspective on e-learning: an overview of the "workflow" and "reusable learning object" approach in the UK eUniversities project

The UK government started the UK eUniversities project in order to create a virtual campus for online education provisions, competing in a global market. The UKeU (WWW.ukeu.com) claims to "have created a new approach to e-learning" which "opens up a range of exciting opportunities for students, business and industry worldwide" to obtain both postgraduate and undergraduate qualifications. Although there has been many promises about the e-learning revolution using state-of-the-art multimedia technology, closer scrutiny of what is being delivered reveals that many of the e-learning models currently being used are little more than the old text based computer aided learning running on a global network. As part of the UKeU project a consortium of universities have been involved in developing a two year foundation degree from 2004. We look at the approach taken by the consortium in developing global e-learning provisions and the problems and the pitfalls that lay ahead.

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.

More than a nuisance: personal injury under Rylands

Discusses, by reference to case law, whether damages for personal injury are recoverable under Rylands v Fletcher liability. Considers the issue by reference to a hypothetical scenario in which a claimant suffers personal injury as a result of a chemical leak from a factory for which the factory owner is not at fault. Considers claims based on diminution in amenity and for consequential loss.

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.

Deal or no deal

Discusses the pre-action protocol for mortgage possession claims which came into effect on November 19, 2008, highlighting the situations in respect of which it is suggested the lender "considers" not starting proceedings and the lenders entitlement to be informed of progress on the sale of the property. Reviews the guidance on mortgages and arrears issued by the Council for Mortgage Lenders, aimed at assisting lenders in complying with the Financial Services Agency's Mortgage Conduct of Business Rules Pt 13. [From Legal Journals Index]

Watching the clock

Discusses the implications of the Court of Appeal ruling in Ashe v National Westminster Bank Plc on whether a mortgagee's right to possession ran from the date that the legal charge was made over property, meaning that attempts to enforce possession 12 years after the mortgage was agreed were statute barred. Considers the reasons for banks to delay possession, the application of adverse possession rules in this context and the issue of public interest. Advises mortgagees on the benefits of limiting rights to possession to only become actionable when mortgagors are in default to avoid claims becoming statue barred. [From Legal Journals Index]

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]