Learn More
In this paper we further develop the methodology of temporal logic as an executable imperative language, presented by Moszkowski [Mos86] and Gabbay [Gab87, Gab89] and present a concrete framework, called MetateM for executing (modal and) temporal logics. Our approach is illustrated by the development of an execution mechanism for a propositional temporal(More)
This article begins with a brief review of the current literature on the structure and measurement of perfectionism. It is concluded from this review that two major types can be distinguished, a normal/healthy form and a pathological form. These two forms are then defined as positive and negative perfectionism and related directly to Skinnerian concepts of(More)
The purpose of this study was to explore the hypothesis that women with breast cancer had specific preferences about the degree of control they wanted over treatment decision making. One hundred fifty women, newly diagnosed with breast cancer, were interviewed and their preferences for participation in treatment decision making were established using a(More)
The need for a functioning system of continuing professional education (CPE) in nursing, midwifery and health visiting has received increased attention in recent years. However, whilst the literature describes a number of benefits, detailed empirical studies have been limited. There is, in particular, a dearth of information on nurses' perceptions of the(More)
In this paper a methodology for the use of temporal logic as an executable imperative language is introduced. The approach, which provides a concrete framework, called METAa'EM, for executing temporal formulae, is motivated and illustrated through examples. In addition, this introduction provides references to further, more detailed, work relating to the(More)
In this paper we describe the application of a high-level programming language to the abstract modelling of transport systems. We show how METATEM, a language based upon the execution of temporal logics, can be used to model railway networks. The examples considered are abstractions of real rail systems, and we show how such abstractions can be modelled(More)
AIM To explore the subjective meaning of illness in a sample of renal patients. BACKGROUND Patients' illness representations, such as the meaning they attach to illness, may affect their coping and adaptation. Improved understanding in this area may therefore benefit patient care. Meaning of illness has not previously been explored in renal disease. (More)
BACKGROUND Caring for dying patients is stressful but an unavoidable responsibility of nurses. However, little is known about Chinese oncology nurses' experience of caring for dying cancer patients who are in their final days. PURPOSE To elucidate Chinese oncology nurses' experience of caring for dying cancer patients. METHODS This is a qualitative(More)
This paper reports a study which examined the specific information needs and sources of information for 105 women with breast cancer at two time points, the time of diagnosis and a mean of 21 months from diagnosis. At diagnosis the priority information needs concerned survival issues. Further from diagnosis survival issues were still a concern, but(More)