Specification and Evaluation of Safety Properties in a Component-Based Software Engineering Process

Over the past years, component-based software engineering has become an established paradigm in the area of complex software intensive systems. However, many techniques for analyzing these systems for critical properties currently do not make use of the component orientation. In particular, safety analysis of component-based systems is an open field of research. In this chapter we investigate the problems arising and define a set of requirements that apply when adapting the analysis of safety properties to a component-based software engineering process. Based on these requirements some important component-oriented safety evaluation approaches are examined and compared.

Ethical considerations for drug abuse epidemiological research

The mortality and morbidity caused by alcohol, tobacco and illicit drug misuse represents a significant public health burden (Ezzati et al., 2002). A key part of the public health response is the collection of epidemiological and social science data to define at-risk populations to identify opportunities for intervention and to evaluate the effectiveness of policies in preventing or treating drug misuse and drug-related harm. The systematic use of epidemiological and social science research methods to study illicit drug use is barely 40 years old in the United States and United Kingdom, which have pioneered this approach. Because of the sensitive nature of epidemiological research on illicit drug use a unique set of ethical challenges need to be explicitly addressed by the field. Although ethics guidelines have been proposed (Council for International Organizations of Medical Sciences, 1991), scholarship on the ethics of epidemiology is scant, and consensus on core values not yet achieved (Coughlin, 2000).

Rethinking the development, dissemination and adoption of agricultural technologies

This paper focuses on the higher order factors affecting successful adoption of technologies. Drawing on the "actor-oriented perspective" in rural sociology, it is argued that successful examples of adoption at this higher level result from a complex conjunction of people and events, with outcomes that may have been quite unanticipated at the outset. From this perspective, research and extension projects and programs are viewed as arenas in which social actors–village leaders, farmers, researchers (local and international), aid officials, municipal agents, extension workers, and traders–pursue their own short- and long-term objectives and strategies. To this end, they maneuver, negotiate, organize, cooperate, participate, coerce, obstruct, form coalitions, adopt, adapt, and reject, all within a specific geographical and historical context.