Abstract
This paper extends the authors' previous work on a formal approach to the specification of reconfigurable systems, introduced in [7], in which configurations are taken as local states in a suitable transition structure. The novelty is the explicit consideration that not only the realisation of a service may change from a configuration to another, but also the set of services provided and even their functionality, may themselves vary. In other words, interfaces may evolve, as well.

Abstract
Roles can be used to overcome some composition limitations in Object Oriented Languages and contribute to a better code reuse, reducing code replication and improve code maintenance. Therefore, the refactoring of legacy code to roles is an important step in maintaining and evolving this code. In this paper, we present refactorings to convert a system to roles We also present some refactorings that enable roles to be even more reusable.

Abstract
This paper presents a statistical significance analysis of a modified version of the Particle Swarm Optimization (PSO) on groups of simulated robots performing a distributed exploration task, denoted as RDPSO (Robotic DPSO). This work aims to evaluate this novel exploration strategy studying the performance of the algorithm under communication constraints while increasing the population of robots. Experimental results show that there is no linear relationship between the number of robots and the maximum communication range. In general, the decreased performance by the developed algorithm under communication constraints can be overcome by slightly increasing the number of robots as the maximum communication range is decreased. © 2013, Springer Science+Business Media Dordrecht.

Abstract
While object-oriented programming languages are good at modelling real-world concepts and benefit from rich libraries and developer tools, logic programming languages are well suited for declaratively solving computational problems that require knowledge reasoning. Non-trivial declarative applications could take advantage of the modelling features of object-oriented programming and of the rich software ecosystems surrounding them. Linguistic symbiosis is a common approach to enable complementary use of languages of different paradigms. However, the problem of concepts leaking from one paradigm to another often hinders the applicability of such approaches. This issue has mainly been reported for object-oriented languages participating in a symbiotic relation with a logic language. To address this issue, we present LogicObjects, a linguistic symbiosis framework for transparently and (semi-) automatically enabling logic programming in Java, that aims to solve most of the problems of paradigm leaking reported in other works. © 2013 Springer-Verlag.

Abstract
When operating low cost autonomous vehicles, we are often faced with the need to apply integro-differential operators to numerical sequences. The need may arise in many different contexts, from vehicle navigation to data collection/estimation, and is strongly reinforced by constraints to the number of deployable sensors. Integration and, particularly, differentiation of discrete data sequences are, however, error prone operations. Even in the absence of noise, the traditional approaches introduce distortions and artifacts in the output data, mostly due to the mismatch between their underlying polynomial model and the spectral contents of the collected data. This article presents an alternative way to apply integro-differential operators to discrete data streams. The operators are applied in a strictly band-limited way, in both time and frequency, and no extraneous artifacts are introduced in the data. No assumptions or models are used, other than assuming that the original data stream was correctly sampled. As such, the procedure can be safely applied to data streams sampled at rates close to Nyquist, without the usual performance degradation.

Abstract
Worldwide competitiveness poses enormous challenges on managers, demanding a continuous quest to increase rationality in the use of resources. As a management philosophy, Lean Manufacturing focuses on the elimination of activities that do not create any type of value and therefore are considered waste. For companies to successfully implement the Lean Manufacturing philosophy it is crucial that the human resources of the organization have the necessary training, for which proper tools are required. At the same time, higher education institutions need innovative tools to increase the attractiveness of engineering curricula and develop a higher level of knowledge among students, improving their employability. This paper describes how Lean Learning Academy, an international collaboration project between five EU universities and five companies, from SME to Multinational/Global companies, developed and applied an innovative training programme for Engineers on Lean Manufacturing, a successful alternative to the traditional teaching methods in engineering courses.