Transaction management is a known cross-cutting concern. Previous research has been conducted to express this concern as an aspect. However, work uses general-purpose aspect languages which lack formal foundation and are unable advanced models for transaction management. In contrast, we designed domain-specific language management, called KALA, that based on formalism transactions. As result, KALA covers the field of while obtaining much higher level abstraction than achieved with languages....

Gradual typing enables a smooth and progressive integration of static dynamic typing. The semantics gradually-typed program is given by translation to an intermediate language with casts: runtime type checks that control the boundaries between statically- dynamically-typed portions program. This paper studies performance different cast insertion strategies in context Gradualtalk, Smalltalk. We first implement strategy specified Siek Taha, which inserts casts at call sites. then study dual...

Abstract: Apparent competition, mediated by a shared predator, plays key role in conservation biological control. Appropriate agroecosystems management may favour this type of indirect interaction. In that context, our aim was to test the effect rose bush [ Rosa rugosa (Thunb.)] strips on building up aphid populations and their natural enemies adjacent cereal habitats. Several species are currently found sp. including Metopolophium dirhodum (Walker) for which it is primary host. Aphid...

When using Aspect-Oriented Programming, it is sometimes difficult to determine at which join point an aspect executes. Similarly, when considering one point, knowing aspects will execute there and in what order non-trivial. This makes understand how the application behave. A number of visualizations have been proposed that attempt provide support for such program understanding. However, they neither scale up large code bases nor down understanding happens a single point. In this paper, we...

Gradual typing combines static and dynamic flexibly safely in a single programming language. To do so, gradually typed languages implicitly insert casts where needed, to ensure at runtime that assumptions are not violated by untyped code. However, the implicit nature of cast insertion, especially on higher-order values, can jeopardize reliability efficiency: fail any time, costly execute. We propose Confined Typing, which extends gradual with two new type qualifiers let programmers control...

Dynamic deployment of aspects brings greater flexibility and reuse potential, but requires proper means for scoping aspects. Scoping issues are particularly crucial in a distributed context: adequate treatment is necessary to enable the propagation aspect instances across host boundaries avoid inconsistencies due unintentional spreading data computations system.

Typically in modernisation projects any concerns for code quality are silenced until the end of migration, to simplify an already complex process. Yet, we claim from experience that prioritising above many other issues has benefits. In this report, discuss a project mBank, big Polish bank, where bad smell detection and elimination, automated testing refactoring played crucial rule, provided pay-offs early project, increased buy-in, ensured maintainability result.

Aspect Oriented Requirements Engineering (AORE) provides support for modularizing crosscutting requirements. In the context of an industrial project in domain Slot Machines we needed to perform AORE, with a special emphasis on dependencies and interactions among concerns. We were however unable find any report large-scale applications AORE approaches that treat interactions. therefore evaluated two approaches: Theme/Doc MDSOCRE, establish their applicability our setting. this paper...

In the context of our research on Aspect-Oriented Programming, we have a need for modern and powerful aspect language Smalltalk. Current languages Smalltalk however fall short various points. To address this deficit, elected to design build PHANtom: Pharo PHANtom is designed be an in spirit Smalltalk: dynamic, simple, powerful. because it incorporates best features that precede it, includes recent results interactions reentrancy control, from onset optimized compiled where possible. paper,...

The middleware for robotics ROS has become the de-facto standard developing robot applications. Thanks to our experience using we conjectured that quality of code is low, yielding a poor user users and posing important barriers software development. In this work present first quantification ecosystem through an analysis duplication in launchfiles. Our led us believe these configuration files exhibit significant amount duplication, study shows it indeed case. We find 25% packages with...

Physics engines in robotics simulators should yield a simulation that is physically faithful to the real world. However, simple scenarios like dropping ball on floor already reveal this not so. There hence need be able test such world scenarios, see where they are lacking. To help quickly and efficiently develop unit tests for real-world behavior we developed tool call Live Tests Robotics. In paper show how its interactive visualizations allow efficient construction of tests.