Guidelines for the incremental identification of aspects in requirements specifications

The desired principle of separation of concerns in software development can be jeopardized by the so-called crosscutting concerns, which tend to be scattered over (and tangled with) the functionality of the modular units of a system. The correct identification of such concerns (and their encapsulation into separate artifacts) is thereby considered a way to improve software understanding and evolution. Pursuing a proper management of concerns from the requirements engineering stage can greatly benefit the entire software life-cycle. In this paper, we propose conceptual guidelines on how to perform the identification of crosscutting concerns in the process of building requirements specifications. We argue that the identification must be carried out in an incremental way, to encapsulate apart the crosscutting concerns even if they have not emerged completely yet.

Using Similarity Analyses to Scale Out Research Findings Across Andean Watershed Basins

Abstract

Strategic research in agriculture and natural resources carried out by international research centers is deemed a public good and should, sooner or later, be put into the hands of development, governmental and non-governmental organizations. However, this research is usually done at specific pilot sites; there is a greater need to know how representative those sites are in relation to the diversity of contexts in other locations. Such is the case with the Challenge Program on Water and Food (CPWF), a global initiative in water research promoted by the Consultative Group on International Agricultural Research (CGIAR), which is developing and implementing strategic research in nine basins located in the tropics of Africa, Asia and South America. Given that resources are not available to collect data from the whole of the region, pilot sites are needed. It is hoped that research outputs obtained in the selected pilot sites can be the basis for scaling out solutions to similar situations in neighbouring or adjacent areas in same or different basins.

In order to contribute to the scaling-out process, different classification methodologies were applied to determine how specific watershed basins are representative of larger areas. The Andean eco-region served as a case study but the methods can easily be applied in other regions. The spatial diversity of biophysical and social conditions across the Andes requires careful site selection. Two methods, a combination of Weight of Evidence (WofE) and Logistic Regression (LR) methods and Fast Cluster analysis, were used to determine the similarity of selected sites with those excluded. A 1-km study resolution covering most of the Andes eco-region included annual rainfall, elevation, length of growing period, land cover, roads and population density as the key variables. Results showed complementarities between the two methods in presenting a probability surface of similarity across the Andes and a clustering of similar sites inside and outside the pilot basins. The output information forms a strong basis for devising plans to scale out research findings from the pilot basins to the whole region.     

Output feedback trajectory stabilization of the uncertainty DC servomechanism system

This work proposes a solution for the output feedback trajectory-tracking problem in the case of an uncertain DC servomechanism system. The system consists of a pendulum actuated by a DC motor and subject to a time-varying bounded disturbance. The control law consists of a Proportional Derivative controller and an uncertain estimator that allows compensating the effects of the unknown bounded perturbation. Because the motor velocity state is not available from measurements, a second-order sliding-mode observer permits the estimation of this variable in finite time. This last feature allows applying the Separation Principle. The convergence analysis is carried out by means of the Lyapunov method. Results obtained from numerical simulations and experiments in a laboratory prototype show the performance of the closed loop system.     

A novel combined electrochemical-magnetic method for water treatment

Electrocoagulation (EC) is a wastewater treatment process in which aqueous pollutants can be removed by adsorption, entrapment, precipitation or coalescence during a coagulation step produced by electrochemically generated metallic species. When using Fe as the sacrificial electrode, Fe(2+) and Fe(3+) ions are formed. As Fe(3+) species are paramagnetic, this property can in principle be used to facilitate their removal through the application of a magnetic field. In the present work we present a proof-of-concept for a combined electrochemical-magnetic method for pollutant removal. For this approach, the amounts of Fe(2+) and Fe(3+) produced in an EC cell at various voltages were measured by spectroscopic methods to confirm that Fe(3+) species predominate (up to 84%). The effectiveness of the presence of a magnetic field in the precipitation of coagulants from a suspension was confirmed by monitoring the turbidity change versus time with and without exposure to a magnetic field, up to a 30% improvement.     

Replacing dichromate with hydrogen peroxide in the chemical oxygen demand (COD) test

The widely used standard method for chemical oxygen demand (COD) involves hazardous chromium species, and its two-hour heating protocol entails a substantial amount of energy expenditure. In the present work we report a proof of concept for a major modification of this method in the range 10-800 mgCOD/L, whereby H2O2 is proposed as a replacement oxidizer. This modification not only reduces the use of unsafe chromium species but also allows for the use of milder conditions that decrease the total energy outlay. The results are comparable with those obtained either with the standard method or with a commercial Hach? kit.     

Solving school bus routing using the multiple vehicle traveling purchaser problem: A branch-and-cut approach

School bus routing problems, combining bus stop selection and bus route generation, look simultaneously for a set of bus stops to pick up students from among a group of potential locations, and for bus routes to visit the selected stops and carry the students to their school. These problems, classified as Location-Routing problems, are of interest in densely populated urban areas.This article introduces a generalization of the vehicle routing problem called the multi-vehicle traveling purchaser problem, modeling a family of routing problems combining stop selection and bus route generation. It discusses a Mixed Integer Programming formulation extending previous studies on the classical single vehicle traveling purchaser problem. The proposed model is based on a single commodity flow formulation combining continuous variables with binary variables by means of coupling constraints. Additional valid inequalities are proposed with the purpose of strengthening its Linear Programming relaxation. These valid inequalities are obtained by projecting out the flow variables.We develop a branch-and-cut algorithm that makes use of the proposed model and valid inequalities. This cutting plane algorithm is implemented and tested on a large family of symmetric and asymmetric instances derived from randomly generated problems, showing the usefulness of the proposed valid inequalities.     

Bringing Scheme programming to the iPhone—Experience

The iPhone SDK provides a powerful platform for the development of applications that make use of iPhone capabilities, such as sensors, GPS, Wi‐Fi, or Bluetooth connectivity. We observe that so far the development of iPhone applications has mostly been restricted to using Objective‐C. However, developing applications in plain Objective‐C on the iPhone OS suffers from limitations, such as the need for explicit memory management and lack of syntactic extension mechanism. Moreover, when developing distributed applications in Objective‐C, programmers have to manually deal with distribution concerns, such as service discovery, remote communication, and failure handling. In this paper, we discuss our experience in porting the Scheme programming language to the iPhone OS and how it can be used together with Objective‐C to develop iPhone applications. To support the interaction between Scheme programs and the underlying iPhone APIs, we have implemented a language symbiosis layer that enables programmers to access the iPhone SDK libraries from Scheme. In addition, we have designed high‐level distribution constructs to ease the development of distributed iPhone applications in an event‐driven style. We validate and discuss these constructs with a series of examples, including an iPod controller, a maps application, and a distributed multiplayer Scrabble‐like game. We discuss the lessons learned from this experience for other programming language ports to mobile platforms. Copyright © 2011 John Wiley & Sons, Ltd.     

Intrinsic Images by Clustering

Decomposing an input image into its intrinsic shading and reflectance components is a long‐standing ill‐posed problem. We present a novel algorithm that requires no user strokes and works on a single image. Based on simple assumptions about its reflectance and luminance, we first find clusters of similar reflectance in the image, and build a linear system describing the connections and relations between them. Our assumptions are less restrictive than widely‐adopted Retinex‐based approaches, and can be further relaxed in conflicting situations. The resulting system is robust even in the presence of areas where our assumptions do not hold. We show a wide variety of results, including natural images, objects from the MIT dataset and texture images, along with several applications, proving the versatility of our method.