Software assurance practices for mobile applications

Mobile software applications have to cope with a particular environment that involves small size, limited resources, high autonomy requirements, competitive business models and many other challenges. To provide development guidelines that respond to these needs, several practices have been introduced; however, it is not clear how these guidelines may contribute to solve the issues present in the mobile domain. Furthermore, the rapid evolution of the mobile ecosystem challenges many of the premises upon which the proposed practices were designed. In this paper, we present a survey of the literature on software assurance practices for mobile applications, with the objective of describing them and assessing their contribution and success. We identified, organized and reviewed a body of research that spans in three levels: software development processes, software product assurance practices, and software implementation practices. By carrying out this literature survey, we reviewed the different approaches that researchers on Software Engineering have provided to address the needs that raise in the mobile software development arena. Moreover, we review the evolution of these practices, identifying how the constant changes and modernization of the mobile execution environment has impacted the methods proposed in the literature. Finally, we introduced discussion on the application of these practices in a real productive setting, opening an area for further research that may determine if practitioners have followed the proposed assurance paradigms.     

Crystallization of progesterone polymorphs using polymer-induced heteronucleation (PIHn) method

Progesterone is a natural hormone steroid used in humans for several treatments and in livestock for artificial insemination, which exhibits two polymorphic forms at ambient conditions: form 1 and form 2. Form 2 is metastable and more soluble than form 1; however, it is not suitable to use as powder raw material because it transforms into form 1 by the effects of grinding. A polymorphic screening of progesterone based on polymer-induced heteronucleation method was performed as an alternative to prepare the metastable form. Polyvinyl alcohol, hydroxypropyl methylcellulose (HPMC), dextran, gelatin, polyisoprene (PI) and acrylonitrile-butadiene (NBR) copolymer were used. Crystals were prepared from 0.5, 10 and 40?mg/mL solutions in acetone at room temperature by solvent evaporation. The samples were characterized by X-ray powder diffraction, differential scanning calorimetry (DSC), scanning electron microcopy and attenuated total reflectance infrared Fourier transform spectroscopy. Form 1 was nucleated from 40?mg/mL solutions on the six polymers and from 10?mg/mL solutions on PI and NBR. The mixture of form 1 and form 2 was obtained from 10?mg/mL solution on HPMC, dextran and gelatin and from 0.5?mg/mL solution crystallizations. Therefore, the polymeric devices, which crystallized the metastable and more soluble polymorph (2) of progesterone, would be a promissory alternative for the pharmaceutical applications.     

Scale-effects on mean and standard deviation of the mechanical properties of condensed matter: an energy-based unified approach

The size effects on the mean values of the mechanical properties of condensed matter and on the related variances are analysed by means of a unified approach based on the multiscale character of energy dissipation. In particular, the scaling law for fragmentation energy density is obtained taking into account the self-similarity of fragments. It is based on a generalization of the three classical comminution laws that has been performed to evaluate the energy dissipation, computing volume and surface area of the particles for one- two- and three-dimensional fragmented objects. The result is general and can be applied to different fractal energy dissipation mechanisms, e.g., plasticity. Based on this approach, the scaling laws for mean and standard deviation values of the main mechanical properties of materials can be derived, like Young's and shear elastic moduli, ultimate normal and shear stresses and strains, fracture energy and toughness.     

Comparative study of the colorants monascus and cochineal used in the preparation of gels made with various gelling agents

The possibilities of using monascus to colour gels were studied by comparing it with cochineal. Gels were prepared with four gelling agents—carrageenan, gellan, gelatine and xanthan—and their colour was measured with a Hunter Lab colorimeter. The equations relating L^* and h with the concentrations of sugar [SU] and colorant [COL] were deduced, and it was found that [COL] had more influence on colour than [SU]. In general, for these four gelling agents the colour of monascus gels is orange-red and the colour of cochineal gels is purplish red. The gels made with xanthan were always the lightest, whether they were made with cochineal or with monascus.     

Optimal management of logistic activities in multi-site environments

The new emerging area of Enterprise Wide Optimization (EWO) has focused the attention in effectively solving the combined production/distribution scheduling problem. The importance of logistic activities performed in multi-site environments comes from the relative magnitude of the associated transportation costs and the good chance of getting large savings on such expenses. This paper first develops an exact MILP mathematical formulation for the multiple vehicle time-window-constrained pickup and delivery (MVPDPTW) problem. The approach is able to account for many-to-many transportation requests, pure pickup and delivery tasks, heterogeneous vehicles and multiple depots. Optimal solutions for a variety of benchmark problems with cluster/random distributions of pickup and delivery locations and limited sizes in terms of customer requests and vehicles have been discovered. However, the computational cost exponentially grows with the number of requests. For large-scale m-PDPTW problems, a local search improvement algorithm steadily providing a better solution through two evolutionary steps is also presented. A neighborhood structure around the starting solution is generated by first allowing multiple request exchanges among nearby trips and then permitting the reordering of nodes on every individual route. If a better set of routes is found, both steps are repeated until no improved solution is discovered. Compact MILP mathematical formulations for both sub-problems have been developed and solved through an efficient branch-and-bound algorithm. A significant number of large-scale m-PDPTW benchmark problems, some of them including up to 100 transportation requests, were successfully solved in reasonable CPU times.     

Playing with Maude

This paper is an introduction to rule-based programming in Maude. We illustrate in particular the use of operator attributes to structure the state of a system, and the difference between equations and rules. We use well-known mathematical games and puzzles for our examples illustrating the expressive power of Maude.