The variety of variables in automated real-time refinement

The refinement calculus is a well-established theory for deriving program code from specifications. Recent research has extended the theory to handle timing requirements, as well as functional ones, and we have developed an interactive programming tool based on these extensions. Through a number of case studies completed using the tool, this paper explains how the tool helps the programmer by supporting the many forms of variables needed in the theory. These include simple state variables as in the untimed calculus, trace variables that model the evolution of properties over time, auxiliary variables that exist only to support formal reasoning, subroutine parameters, and variables shared between parallel processes.

A review of peer support in the context of cancer

Peer support interventions for people with cancer, their families, and friends have been widely used throughout the world. The present study reviewed the research literature on psychosocial oncology over the past decade to assess the prevalence and contribution of articles on peer support. Using CD-Rom databases, 25 articles were retrieved for review. In each article, patients or their family members were the target group for supportive interventions, which were primarily for the delivery of peer support and included either a qualitative or quantitative evaluation of the program. A definitional taxonomy for peer support interventions, which identified eight discrete settings, was derived from three key dimensions: style of supervision, interpersonal context, and mode of delivery. The studies suggested that peer support programs help by providing emotional and informational support from the perspective of shared personal experience. However, a paucity of research-particularly randomized controlled trials-was noted. The reasons may include inherent difficulties in isolating for study what is essentially a naturalistically occurring interpersonal dynamic from the complex social and community contexts from which it emanates. The authors discuss the gap between practice and theory in this area and recommend a broader and more inclusive view of supportive care for people with cancer. (C) 2003 by The Haworth Press, Inc. All rights reserved.

Tool support for testing concurrent Java components

Concurrent programs are hard to test due to the inherent nondeterminism. This paper presents a method and tool support for testing concurrent Java components. Too[ support is offered through ConAn (Concurrency Analyser), a too] for generating drivers for unit testing Java classes that are used in a multithreaded context. To obtain adequate controllability over the interactions between Java threads, the generated driver contains threads that are synchronized by a clock. The driver automatically executes the calls in the test sequence in the prescribed order and compares the outputs against the expected outputs specified in the test sequence. The method and tool are illustrated in detail on an asymmetric producer-consumer monitor. Their application to testing over 20 concurrent components, a number of which are sourced from industry and were found to contain faults, is presented and discussed.

Use of web-based formative assessment to support student learning in metabolism/nutrition unit

In 2002, an integrated basic science course was introduced into the Bachelor of Dental Sciences programme at the University of Queensland, Australia. Learning activities for the Metabolism and Nutrition unit within this integrated course included lectures, problem-based learning tutorials, computer-based self-directed learning exercises and practicals. To support student learning and assist students to develop the skills necessary to become lifelong learners, an extensive bank of formative assessment questions was set up using the commercially available package, WebCT®. Questions included short-answer, multiple-choice and extended matching questions. As significant staff time was involved in setting up the question database, the extent to which students used the formative assessment and their perceptions of its usefulness to their learning were evaluated to determine whether formative assessment should be extended to other units within the course. More than 90% of the class completed formative assessment tasks associated with learning activities scheduled in the first two weeks of the block, but this declined to less than 50% by the fourth and final week of the block. Patterns of usage of the formative assessment were also compared in students who scored in the top 10% for all assessment for the semester with those who scored in the lowest 10%. High-performing students accessed the Web-based formative assessment about twice as often as those who scored in the lowest band. However, marks for the formative assessment tests did not differ significantly between the two groups. In a questionnaire that was administered at the completion of the block, students rated the formative assessment highly, with 80% regarding it as being helpful for their learning. In conclusion, although substantial staff time was required to set up the question database, this appeared to be justified by the positive responses of the students.

Putting the group back into unions: A social psychological contribution to understanding union support

Industrial relations research that attempts to grapple with individuals' union-related sentiments and activities often draws on one of two traditions of psychological research—the individual-level factors tradition (for example, personality and attitude-behaviour relations) and the social context tradition (for example, frustration-aggression and relative deprivation). This paper provides an overview of research conducted from within these traditions to explain union-related phenomena and identifies some of the limitations that arise as a consequence of a shared tendency to treat people in an atomistic fashion. The paper argues for an understanding of the psychological processes that underpin group-based action. To this end, it elaborates a theoretical framework based on social identity theory and self-categorisation theory that would allow us to examine the dynamic interplay between the individual, their cognitions and their environment. The paper concludes with a brief discussion of a specific case of union mobilisation, to indicate how this theoretical framework might aid empirical analysis.

Believing is not enough: Predicting support for the NTEU on an Australian campus

Asurvey-based field study was conducted with 232 members and nonmembers of the National Tertiary Education Union to investigate the psychological processes underpinning union support. Drawing on value-expectancy models and social identity/self-categorisation theory, this study investigated the role that both individual and grouprelated factors play in predicting attitudinal and behavioural support for the union. Variables investigated included instrumental and ideological attitudes, perceptions of a normative climate of union-support, and perceptions of higher education being under threat. Further to support for previous findings for the role of instrumental and ideological attitudes it was found that the perceived workplace norm had the anticipated direct effect on behaviour and evaluation and also moderated the behavioural expression of ideological and instrumental attitudes. The perception of threat to employment and higher education also directly impacted on behaviour and moderated the behavioural expression of ideological beliefs. The implications of these findings for collective action research will he discussed.

Terrorism as war by other means: national security and state support for terrorism

The conventional approach in the discipline of International Relations is to treat terrorist organizations as "non-state" actors of international relations. However, this approach is problematic due to the fact that most terrorist organizations are backed or exploited by some states. In this article, I take issue with the non-stateness of terrorist organizations and seek to answer the question of why so many states, at times, support terrorist organizations. I argue that in the face of rising threats to national security in an age of devastating wars, modern nation states tend to provide support to foreign terrorist organizations that work against their present and imminent enemies. I elaborate on my argument studying three cases of state support for terrorism: Iranian support for Hamas, Syrian support for the PKK, and American support for the MEK. The analyses suggest that, for many states, terror is nothing but war by other means.

Towards the design of efficient nonbeacon-enabled ZigBee networks

This paper presents experimental results of the communication performance evaluation of a prototype ZigBee-based patient monitoring system commissioned in an in-patient floor of a Portuguese hospital (HPG – Hospital Privado de Guimar~aes). Besides, it revisits relevant problems that affect the performance of nonbeacon-enabled ZigBee networks. Initially, the presence of hidden-nodes and the impact of sensor node mobility are discussed. It was observed, for instance, that the message delivery ratio in a star network consisting of six wireless electrocardiogram sensor devices may decrease from 100% when no hidden-nodes are present to 83.96% when half of the sensor devices are unable to detect the transmissions made by the other half. An additional aspect which affects the communication reliability is a deadlock condition that can occur if routers are unable to process incoming packets during the backoff part of the CSMA-CA mechanism. A simple approach to increase the message delivery ratio in this case is proposed and its effectiveness is verified. The discussion and results presented in this paper aim to contribute to the design of efficient networks,and are valid to other scenarios and environments rather than hospitals.

GUI Behavior from Source Code Analysis

When developing interactive applications, considering the correctness of graphical user interfaces (GUIs) code is essential. GUIs are critical components of today's software, and contemporary software tools do not provide enough support for ensuring GUIs' code quality. GUIsurfer, a GUI reverse engineering tool, enables evaluation of behavioral properties of user interfaces. It performs static analysis of GUI code, generating state machines that can help in the evaluation of interactive applications. This paper describes the design, software architecture, and the use of GUIsurfer through an example. The tool is easily re-targetable, and support is available to Java/Swing, and WxHaskell. The paper sets the ground for a generalization effort to consider rich internet applications. It explores the GWT web applications' user interface programming toolkit.

Slicing for architectural analysis

Current software development often relies on non-trivial coordination logic for combining autonomous services, eventually running on different platforms. As a rule, however, such a coordination layer is strongly woven within the application at source code level. Therefore, its precise identification becomes a major methodological (and technical) problem and a challenge to any program understanding or refactoring process. The approach introduced in this paper resorts to slicing techniques to extract coordination data from source code. Such data are captured in a specific dependency graph structure from which a coordination model can be recovered either in the form of an Orc specification or as a collection of code fragments corresponding to the identification of typical coordination patterns in the system. Tool support is also discussed

DEVELOPMENT OF A MECHATRONIC SYSTEM FOR BEDRIDDEN PEOPLE SUPPORT

This work is developed in the context of Ambient Assisted Living (AAL) and has, as main purpose, the development of a mechatronic system that allows caring of bedridden patients with ongoing medical care terminal (MCT), by a single person. This system allows higher autonomy in domiciliary care, safety, comfort and hygiene of bedridden patients. It contributes to a large increase in their quality of life as well as the ease of monitoring by providers of continuous care, which, in many cases, may be the family itself. The product includes an embedded processing interface for acquiring physiological data to support online monitoring. The development of this project was focused on improving the quality of life, autonomy, participation in social life and reducing healthcare costs in the area AAL. The developed societies currently face severe demographic changes: the world is aging at an unprecedented rate. In 2000, about 420 million people, or about 7 percent of the world population were over 65 years old. In 2050, that number will be near 1500 million people, about 16 percent of the world population. This demographic trend will be accompanied by the increase of people with physical limitations. This will impose new challenges for traditional health systems, not only for Portugal but also for all European countries. There is an urgent need to find solutions to improve the lives of people in their preferred environment by increasing their autonomy, self-confidence and mobility. Therefore, in the case of household scenarios, the provision of effective health services is of fundamental importance to the welfare and economic development of each country. This ongoing project aims to develop a mechatronic system to meet the diverse needs, namely: improving life, health care, safety, comfort, and remote monitoring of bedridden person.

A Caregiver Support Platform within the Scope of an Ambient Assisted Living Ecosystem

The Ambient Assisted Living (AAL) area is in constant evolution, providing new technologies to users and enhancing the level of security and comfort that is ensured by house platforms. The Ambient Assisted Living for All (AAL4ALL) project aims to develop a new AAL concept, supported on a unified ecosystem and certification process that enables a heterogeneous environment. The concepts of Intelligent Environments, Ambient Intelligence, and the foundations of the Ambient Assisted Living are all presented in the framework of this project. In this work, we consider a specific platform developed in the scope of AAL4ALL, called UserAccess. The architecture of the platform and its role within the overall AAL4ALL concept, the implementation of the platform, and the available interfaces are presented. In addition, its feasibility is validated through a series of tests.

The impact of the digital divide on the perceived interest of an e-Marketplace to support healthcare and social care services

In a Europe increasingly aging, it is now recognized the importance and potential of the service industry for ageing well based on information and communication technologies (ICT), as exemplified by the electronic market of social services and health care, the GuiMarket, proposed by the authors. However, this new range of services requires that individuals have advanced digital skills to fully participate in society. Based on the results of a survey made on a sample of 315 individuals, this paper discusses the importance granted GuiMarket and the intended frequency of use, concluding there is a close relationship between ICT access and use that respondents anticipate making of GuiMarket and alike services.

O radiojornalismo em Portugal

A presente dissertação de mestrado incide sobre o radiojornalismo português. Para a concretizar foi feito um estudo comparativo entre as três rádios de carácter informativo de Portugal: Antena 1, Rádio Renascença e TSF. No sentido de melhor clarificar esta tese, são analisadas as grelhas de programação do programa da manhã destas estações. Está igualmente patente neste trabalho uma consideração sobre a história destas três emissoras e são evidenciados marcos que representam um verdadeiro e notório contributo para o jornalismo de rádio feito em Portugal. Para tal foi usada uma metodologia em que se fez um levantamento – a cada cinco anos - de todos os programas da manhã desde há trinta anos até hoje, no sentido de compreender as suas evoluções e comparar as diferenças das apostas de cada uma das rádios. As conclusões deste estudo apontam para o facto de as manhãs da rádio serem um período onde as notícias têm grande importância, bem como um período em que se tratam assuntos relativos à sociedade. Na Antena 1 e na TSF a inclusão de programas como “Antena Aberta” ou “Fórum TSF” faz com que a temática da sociedade, que engloba um grande número de temas e assuntos sejam a predominante. Na Rádio Renascença, apesar do seu cariz informativo, o entretenimento tem mais destaque. Uma observação notória foi também o evoluir da programação de 1985 a 2015, onde houve alterações consideráveis, tais como o aumento dos espaços dedicados a notícias e naturalmente assuntos sociais, dado que em 1985 não existia nenhum programa de opinião pública. Estes espaços foram sem dúvida, algo que marcou e fez uma mudança de paradigma no radiojornalismo português.