1. The effects of betahistine 72 mg three times daily, prochlorperazine 5 mg three times daily and placebo taken for 3 days before testing were compared on two actual driving tasks (weaving and gap estimation) and two psychomotor tasks (reaction time and kinetic visual acuity) in normal subjects in a double-blind prospectively randomised cross-over study. 2. The psychomotor effects of betahisti...

The verification of Java programs is a difficult task, especially with components like the Security Manager which modify the semantic of the Java Virtual Machine (JVM). To model this invasive behaviour the Security Manager can be implemented as an aspect component, using AspectJ. In this paper we describe a framework for static verification of Java programs containing AspectJ advices specified ...

Process algebras are proposed as a foundation for aspectoriented programming. A particular process algebra is described, and programs illustrating its use in programming are given. It is argued that the framework clarifies the notion of equivalence between programs and correctness of aspect-weaving algorithms. The question of which notion of equivalence is most appropriate is discussed from the...

Based on a general model of feature composition, we present a composition language that enables programmers by means of quantification and weaving to formulate extensions to programs written in different languages. We explore the design space of composition languages that rely on quantification and weaving and discuss our choices. We outline a tool that extends an existing infrastructure for fe...

In aspect-oriented modeling at early stages of the software development, model descriptions with various abstraction levels are involved so that two kinds of model transformation, refinement as well as weaving, should be considered. We adapt a role-based aspect-oriented modeling method and define a notion of aspect weaving as role merging. We further adapt Alloy, a lightweight formal specificat...

In this paper we describe how the automated instantiation of assurance case arguments will require information to be extracted from multiple models of a system and its environment and engineering processes, e.g. safety and verification processes. For this to be done successfully the dependencies between the models must be explicitly, completely and correctly captured. We describe how a model-ba...

The creation of schema.org as the de facto vocabulary for the implementation of Semantic Annotations was the dawn of a new era for the Web by motivating the Web developers to start weaving semantics in the content, mainly, for visibility reasons in search engine results. Moving further, the new version of the vocabulary enables Web entities to self-describe the Actions with which they interact ...

We propose a model to support aspect-oriented programming in object-oriented languages, expressing general purpose aspects. To apply this model, the developer should implement the abstraction and composition mechanisms as well as one or more strategies defined in it. It could be applied to regular OO languages.

Languages for aspect-oriented programming (AOP) [5], such as AspectJ, are now popular, and the concepts used by the AOP community such as join points, pointcuts and advices are well-known. At the same time, in recent years, the aspect oriented software development (AOSD) approach has been developing itself beyond the programming activity. More particularly, the Early Aspects Initiative [9] advo...