A compositional framework for hardware/software co-design

We describe a compositional framework, together with its supporting toolset, for hardware/software co-design. Our framework is an integration of a formal approach within a traditional design flow. The formal approach is based on Interval Temporal Logic and its executable subset, Tempura. Refinement is the key element in our framework because it will derive from a single formal specification of the system the software and hardware parts of the implementation, while preserving all properties of the system specification. During refinement simulation is used to choose the appropriate refinement rules, which are applied automatically in the HOL system. The framework is illustrated with two case studies. The work presented is part of a UK collaborative research project between the Software Technology Research Laboratory at the De Montfort University and the Oxford University Computing Laboratory.

Experimental comparison of the comprehensibility of a Z specification and its implementation in Java

Comprehensibility is often raised as a problem with formal notations, yet formal methods practitioners dispute this. In a survey, one interviewee said 'formal specifications are no more difficult to understand than code'. Measurement of comprehension is necessarily comparative and a useful comparison for a specification is against its implementation. Practitioners have an intuitive feel for the comprehension of code. A quantified comparison will transfer this feeling to formal specifications. We performed an experiment to compare the comprehension of a Z specification with that of its implementation in Java. The results indicate there is little difference in comprehensibility between the two. (C) 2004 Elsevier B.V. All rights reserved.

Involving users in expert system development

The ultimate criterion of success for interactive expert systems is that they will be used, and used to effect, by individuals other than the system developers. A key ingredient of success in most systems is involving users in the specification and development of systems as they are being built. However, until recently, system designers have paid little attention to ascertaining user needs and to developing systems with corresponding functionality and appropriate interfaces to match those requirements. Although the situation is beginning to change, many developers do not know how to go about involving users, or else tackle the problem in an inadequate way. This paper discusses the need for user involvement and considers why many developers are still not involving users in an optimal way. It looks at the different ways in which users can be involved in the development process and describes how to select appropriate techniques and methods for studying users. Finally, it discusses some of the problems inherent in involving users in expert system development, and recommends an approach which incorporates both ethnographic analysis and formal user testing.

Formal total synthesis of (±)-conduramine E utilising the Bryce-Smith-Gilbert photoamination reaction

Utilising a Bryce-Smith-Gilbert photoamination of benzene as a key step, a synthesis of ()-conduramine E was carried out. A highly regioselective dihydroxylation of a cyclic diene was effected utilising Sharpless AD-mix-b.

Attitudes of landscape professionals towards naturalistic versus formal urban landscapes in the UK

The last 30 years have seen a tide of interest sweeping across Europe in the development of nature in cities, and an increasing amount of landscape development in urban areas has involved the use of 'naturalistic' styles. This is an increasing attempt to find ways for urbanism and nature to co-exist. However, there have been considerable discussions among professionals regarding the advantages and disadvantages of 'naturalistic' styles in urban areas. This research examines professional attitudes to 'naturalistic' landscape styles in Britain, in contrast to more traditional, formal landscape styles, and aims to find out whether the interest in natural landscapes is really a fashion among landscape professionals. A self-administered postal survey was carried out using both quantitative and qualitative data collection techniques and analysis. The survey included 500 professionals from parks and recreation departments of local authorities, private landscape practices and conservation trusts, and resulted in a satisfactory response rate of 53 %. The results of this study suggested that professionals recognise most of the values attached to naturalistic landscapes in urban areas. However, possible benefits that natural areas may have for urban people are not attached to naturalistic landscapes alone. The study also revealed that the naturalistic style is highly popular among conservation trusts but is less so among professionals from local authorities and private landscape practices who seem to appreciate both styles and believe that these styles are not separable from each other and should co-exist in an urban environment. (C) 2006 Elsevier B.V. All rights reserved.

Stereodivergent approach to the asymmetric synthesis of bacillariolides: A formal synthesis of ent-bacillariolide II

Asymmetric synthesis of densely functionalized bicyclic frameworks for entry into bacillariolides I/III and ent-bacillariolide II is reported. The key features are ring-closing metathesis of a pair of diastereomerically related dienes obtained through a stereodivergent route from a R-(+)-glyceraldehyde derivative, transformation of a nonstereoselective cyclopentene ester enolate alkylation process to a completely stereoselective one through alkylation of a bulky ester enolate with a bulky electrophile, and a remote silyloxymethyl group directed epoxidation.

Enabling older people to stay at home: The costs of substituting and supplementing care with assistive technology

A wide-ranging multiprofessional research project explored issues relating to the introduction of assistive technology into the existing homes of older people in order to provide them with the opportunity to remain at home. The financial relationship between assistive technology and packages of formal care was also explored. The costs of residential care and those of a number of packages containing differing quantities of assistive technology, formal care and informal care were compared. The analyses provide a strong financial case for substituting and/or supplementing formal care with assistive technology, even for individuals with quite disabling conditions. Although needs and hence the cost of provision rise with an increasing level of disability, the savings in care costs accrue quickly. The consideration of a variety of users with different needs and informal care provision, and occupying a very wide range of housing, leads to the conclusion that in comparison with traditional care packages, at worst, incorporating significant amounts of assistive technology into care packages is cost neutral, but that with careful specification of assistive technology major savings are feasible.