Abstract
This paper introduces a method to build dynamic logics with a graded semantics. The construction is parametrized by a structure to support both the spaces of truth and of the domain of computations. Possible instantiations of the method range from classical (assertional) dynamic logic to less common graded logics suitable to deal with programs whose transitional semantics exhibits fuzzy or weighted behaviour. This leads to the systematic derivation of program logics tailored to specific program classes.

Abstract

Abstract
Software engineering is an area with a wide range of concepts and knowledge. To this diversity of topics, you may need to apply different teaching and learning techniques to be effective. One such technique is the use of serious games, but the design of such games tends to be complex, currently lacking a map of game design standards that comply with the Software Engineering education requirements. This paper presents the process to identify the game design patterns that can be effective for teaching software engineering, specifically the software project management topic. The process begins by identifying the relationship between game design patterns and teaching and learning functions based on literature review. Then the work follows establishing a relationship between teaching and learning functions and software project management education through questionnaires made to software engineering teachers. Finally, it sets up the relationship between game design patterns and software project management education through an empirical study conducted with master students. These results can be used as a basis for designing and developing serious games for teaching software project management.

Abstract
The proliferation of broadband wireless accesses has enabled the provisioning of multimedia communication services. Yet, the increasing demand for group-based multimedia services requires the development of new architectures capable of seamlessly delivering multi-party content and overcoming the prevailing heterogeneity and dynamics of current and next generation communication networks. In order to face these challenges we introduce UNIT, a solution that integrates multicast technologies for both core and access wireless mesh networks. UNIT is focused on the scalability and flexibility of the content delivery framework, adopting a hierarchical control strategy that enables seamless multi-party content transport over heterogeneous networks. Moreover, UNIT performs local reconfigurations of the content distribution tree in response to any context change, without impairing the remaining branches. The evaluation of UNIT in a real world demonstrator proves its feasibility and the efficiency of the proposed mechanisms regarding the control of the multi-party delivery trees.

Abstract
The majority of evolving data streams classification algorithms assume that the actual labels of the predicted examples are readily available without any time delay just after a prediction is made. However, given the high label costs, dependence of an expert, limitations in data transmission or even restrictions imposed by the problem's nature, there is a large number of real-world applications in which the availability of actual labels is infinitely delayed (never available), In these cases, it is necessary the use of algorithms that does not follow the traditional process of monitoring the error rate to detect changes in data distribution and uses the most recent labeled data to update the classification model. In this paper, we propose the method Maasstfication to classify evolving data streams with infinitely delayed labels. Our method is inspired on the use of Micro-Cluster representation from online clustering algorithms. Considering the presence of incremental drifts, our approach uses a distance-based strategy to maintain the Micro-Clusters' positions updated. An evaluation in several synthetic and real data shows that Maassification achieves competitive accuracy results to state-of-the-art methods and adequate computational cost. The main advantage of the proposed method is the absence of critical parameters that require user's prior knowledge, as occurs with rival methods.

Abstract
One of the most important disadvantages of photocatalytic treatments is the high cost associated with the use of UV lamps. In this work, the efficiency of two UV-A LEDs (ultraviolet-a light emitting diodes) photosystems as a low cost alternative to conventional UV lamps was tested. The efficiency of the two UV-A LEDs photosystems was compared to that of the most economical UV source-solar radiation. To this end, the oxidative discolouration of Reactive Black 5 (RB5) aqueous solutions was studied using photocatalysis with different concentrations of TiO2 (0.5-1 g/L) and H2O2 (1.76, 4.41, 8.82 and 17.64 mM), exposed to different radiation sources: UV-A LEDs and solar radiation. The use of H2O2 increased the discolouration rate of RB5; however, an excessive dosage reduced the yield of the treatment, and the best results were attained with a concentration of 8.82 mM of H2O2. Strong differences were observed between the use of UV-A LEDs (23 W/m(2)) and solar radiation. In both cases total discolouration was observed, but the discolouration rate was considerably higher with solar radiation. However, the use of a more powerful UV-A LED photo-system (85 W/m(2)) allowed the achievement of higher discolouration rates (k = 0.284 min 1) than those obtained with solar radiation (k = 0.189 min 1) using only 0.5 g/L of TiO2. Therefore, UV-A LED radiation is a serious alternative to conventional UV lamps, since they are ecofriendly, have a low operational cost and high energy efficiency.