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.

Levitated droplet oscillations: effect of internal flow

The numerical model for electrically conducting liquid droplets levitated in AC magnetic field is extended to demonstrate various factors affecting the accuracy of material property value measurements. The effects included are the electromagnetic force induced stirring and the resulting turbulence, thermo-capillary convection, and the droplet rotation. The results are validated against available analytical solutions.

Corporate policies in the EU energy sector

This report examines the corporate policies of the major European energy companies, including the major developments in 2008.

Levitated droplet oscillations: effect of internal flow

The numerical model for electrically conducting liquid droplets levitated in AC magnetic field is applied to demonstrate various factors affecting the accuracy of material property value measurements in microgravity conditions. The included effects are the electromagnetic force induced stirring and the resulting turbulence, the thermo-capillary convection, and the droplet rotation. The results are validated against available analytical solutions.

Profitability and the poor: corporate strategies, innovation and sustainability

Based on empirical evidence, the article looks at the implications of private sector participation (PSP) for the delivery of water supply and sanitation to the urban and peri-urban poor in developing countries, with particular reference to Africa and Latin America. More precisely, the article addresses the impact produced by multinational companies’ (MNCs) strategies, in light of the pursuit of profitability, on the extension of connections to the pipeline network. It does so by questioning the assumptions that greater private sector efficiency and innovation, together with contract design, will enable the sustainable extension of service coverage to low income dwellers. The strategies of the major water MNCs are considered both in relation to the global expansion of their operations and the adjustment of local strategies to commercial considerations. The latter might result in identifying proWtable markets, modifying contractual provisions, attempting to reduce costs and increase income, reducing risks and exiting from non-performing contracts. The evidence reviewed allows for re-assessing the relative roles of the public and private sectors in extending and delivering water services to the poor. First, the most far reaching innovative approaches to extending connections are more likely to come from communities, public authorities and political activity than from MNCs. Secondly, whenever MNCs are liable to exit from non-profitable contracts, the public sector has no other option than to deal with external risks aVecting continuity of provision. Finally, market limitations affecting MNCs’ ability to serve marginal populations and access cheap capital do not apply to well-organised, politically led public sector undertakings

A review of the rationales for corporate risk management: fashion or the need?

This paper presents the extensive literature survey based both on theoretical rationales for hedging as well as the empirical evidence that support the implications of the theory regarding the arguments for the corporate risk management relevance and its influence on the company’s value. The survey of literature presented in this paper has revealed that there are two chief classes of rationales for corporate decision to hedge - maximisation of shareholder value or maximisation of managers’ private utility. The paper concludes that, the total benefit of hedging is the combination of all these motives and, if the costs of using corporate risk management instruments are less than the benefits provided via the avenues mentioned in this paper, or any other benefit perceived by the market, then risk management is a shareholder-value enhancing activity.

Comparative analysis of corporate risk management practices in Croatian and Slovenian companies

The paper explores differences as well as commonalities in corporate risk management practices and risk exposures in the large non-financial Slovenian and Croatian companies. Comparative analysis of survey results have revealed that the majority of analysed companies in both Croatia and Slovenia are using some form of risk management to manage interest-rate, foreign exchange, or commodity price risk. Regarding the intensity of influence of financial risks on the performance of the analysed companies, the results have shown that the price risk has the highest influence among the Slovenian as well as the Croatian companies. Croatian companies are more affected by currency risk than the Slovenian companies, while the interest-rate risk has been ranged as less important in comparison with commodity price and currency risks. The survey’s results have clearly indicated that Croatian and Slovenian non-financial companies manage financial risks primarily with simple risk management instruments such as natural hedging. In the case of derivatives use, forwards and swaps are by far the most important instruments in both countries, but futures as representatives of standardised derivatives and structured derivatives are more important in the Slovenian than in the Croatian companies.