Introducing reference semantics via refinement

Two types of semantics have been given to object-oriented formal specification languages. Value semantics denote a class by a set of values representing its objects. Reference semantics denote a class by a set of references, or pointers, to values representing its objects. While adopting the former facilitates formal reasoning, adopting the latter facilitates transformation to object-oriented code. In this paper, we propose a combined approach using value semantics for abstract specification and reasoning, and then refining to a reference semantics before transforming specification to code.

Managing the quality, value and impact of academic libraries: the role of external standards

Purpose – The purpose of this paper is to explore the role and relevance of external standards in demonstrating the value and impact of academic library services to their stakeholders. Design/methodology/approach – Two UK standards, Charter Mark and Customer Service Excellence, are evaluated via an exploratory case study, employing multiple data collection techniques. Methods and results of phases 1-2 of a three phase research project are outlined. Findings – Despite some limitations, standards may assist the manager in demonstrating the value, impact and quality of academic libraries in a recessional environment. Active engagement and partnership with customers is imperative if academic libraries are to be viewed as vital to their parent organisations and thus survive. Originality/value – This paper provides a systematic evaluation of the role of external accreditation standards in measuring academic library service value and impact.

A survey of some small firms in the rural areas of England: their structure and functions, with special reference to factors that affect their development

This study was concerned with the structure, functions and development, especially the performance, of some rural small firms associated with the Council for Small Industries in Rural Areas (C?SIRA) of England. Forty firms were used as the main basis of analysis. For some aspects of the investigation, however, data from another 54 firms, obtained indirectly through nine CoSIRA Organisers, were also used. For performance-analysis, the 40 firms were firstly ranked according to their growth and profitability rates which were calculated from their financial data. Then each of the variables hypothesised to be related to performance was tested to ascertain its relationship with performance, using the Spearman's Rank Correlation technique. The analysis indicated that each of the four factors .. the principal, the firm itself, its management, and the environment - had a bearing upon the performance of the firm. Within the first factor, the owner-manager's background and attitudes were found to be most important; in the second, the firm's size, age and scope of activities were also found to be correlated with performance; with respect to the third, it was revealed that firms which practised some forms of systems in planning, control and costing performed better than those which did not and, finally with respect to the fourth factor, it was found that some of the services provided by CoSIRA, especially credit finance, were facilitative to the firm's performance. Another significant facet of the firms highlighted by the study was their multifarious roles. These, meeting economic, psychological, sociological and political needs, were considered to be most useful to man and his society. Finally, the study has added light to the structural characteristics of the sampled firms, including various aspects of their development, orientation and organisation, as well as their various structural strengths and weakness. ' .

Influences on general practitioner prescribing with particular reference to community pharmacy

Influences on general practitioner prescribing of drugs continue to be of interest and importance as cost containment becomes central to Government health policy. This thesis employs a plurality of research methods including quantitative and qualitative survey techniques for example, questionnaires, interviews and prescription analyses to investigate some of the factors which may influence GP prescribing such as information sources, hospital consultants and in particular the community pharmacist. When the use and influence of drug information sources by GPs was examined, the community pharmacist was given a relatively low rating as a source but a high rating, similar to that of the consultant, for helpfulness. Influences are needed to improve prescribing and reduce the incidence of iatrogenic disease for the benefit of the patient. The education and expertise of pharmacists and their familiarity with local prescribing habits places them in a unique position to meet the needs of local GPs. As 96.5% of the public always or nearly always take their prescriptions to the same pharmacy, patient medication records, now kept by 77.5% of pharmacies, provide a valuable check on the appropriateness and safety of patients' medication. The barriers to the pharmacist's greater involvement were shown to be suspicion by GPs of pharmacists' motivation, isolation of many community pharmacists, difficulties in leaving the pharmacy for domiciliary visits, residential home care and GP practice meetings. These barriers must be lowered if the pharmacist is to have a greater influence and involvement. It was concluded that changes are necessary in pharmaceutical education, staff training, organisation and remuneration. Some changes in the targeting of remuneration to the pharmaceutical care services provided and registration of patients with pharmacies would contribute greatly to these aims.

Solidification and cooling of grey cast iron in shell moulds with particular reference to the sub-surface structure

DUE TO COPYRIGHT RESTRICTIONS ONLY AVAILABLE FOR CONSULTATION AT ASTON UNIVERSITY LIBRARY AND INFORMATION SERVICES WITH PRIOR ARRANGEMENT

Changing career models and capacity for innovation in professional services

A number of professional sectors have recently moved away from their longstanding career model of up-or-out promotion and embraced innovative alternatives. Professional labor is a critical resource in professional service firms. Therefore, changes to these internal labor markets are likely to trigger other innovations, for example in knowledge management, incentive schemes and team composition. In this chapter we look at how new career models affect the core organizing model of professional firms and, in turn, their capacity for and processes of innovation. We consider how professional firms link the development of human capital and the division of professional labor to distinctive demands for innovation and how novel career systems help them respond to these demands.

Open-source mapping and services for Web-based land-cover validation

Monitoring land-cover changes on sites of conservation importance allows environmental problems to be detected, solutions to be developed and the effectiveness of actions to be assessed. However, the remoteness of many sites or a lack of resources means these data are frequently not available. Remote sensing may provide a solution, but large-scale mapping and change detection may not be appropriate, necessitating site-level assessments. These need to be easy to undertake, rapid and cheap. We present an example of a Web-based solution based on free and open-source software and standards (including PostGIS, OpenLayers, Web Map Services, Web Feature Services and GeoServer) to support assessments of land-cover change (and validation of global land-cover maps). Authorised users are provided with means to assess land-cover visually and may optionally provide uncertainty information at various levels: from a general rating of their confidence in an assessment to a quantification of the proportions of land-cover types within a reference area. Versions of this tool have been developed for the TREES-3 initiative (Simonetti, Beuchle and Eva, 2011). This monitors tropical land-cover change through ground-truthing at latitude / longitude degree confluence points, and for monitoring of change within and around Important Bird Areas (IBAs) by Birdlife International and the Royal Society for the Protection of Birds (RSPB). In this paper we present results from the second of these applications. We also present further details on the potential use of the land-cover change assessment tool on sites of recognised conservation importance, in combination with NDVI and other time series data from the eStation (a system for receiving, processing and disseminating environmental data). We show how the tool can be used to increase the usability of earth observation data by local stakeholders and experts, and assist in evaluating the impact of protection regimes on land-cover change.

Developments and trends in EEC fisheries with special reference to aquaculture

DUE TO COPYRIGHT RESTRICTIONS ONLY AVAILABLE FOR CONSULTATION AT ASTON UNIVERSITY LIBRARY AND INFORMATION SERVICES WITH PRIOR ARRANGEMENT

The politics of remote sensing with particular reference to Developing Countries

DUE TO COPYRIGHT RESTRICTIONS ONLY AVAILABLE FOR CONSULTATION AT ASTON UNIVERSITY LIBRARY AND INFORMATION SERVICES WITH PRIOR ARRANGEMENT