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.     

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.     

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.     

Evaluation of in vitro stability of large unilamellar liposomes coated with a modified polysaccharide (O-palmitoylpullulan)

Aiming at encapsulation of a hydrosoluble drug, large unilamellar liposomes (LUV) of egg phosphatidylcholine (PC) were coated with a natural polysaccharide derivative, O-palmitoylpullulan (OPP), and its in vitro stability evaluated using fluorescent probes. This coating (in OPP/PC weight ratio of 3) improved significantly the in vitro stability of LUV by decreasing both the permeability and fluidity of the liposomal membrane.This paper was accepted for publication after the 1995 Conference of the European Society of Biomaterials, Oporto, Portugal, 10–13 September.     

Hydrocarbon exploration risk evaluation through uncertainty and sensitivity analyses techniques

The evaluation of the exploration risk in the oil industry is a fundamental component of the decision process related to the exploratory phase. In this paper the two basic components of the exploratory risk: trap geometry and trapped hydrocarbon quantities (fluid), are compounded in a single coherent uncertainty and sensitivity approach. The results clarify that the model geometry influences each Petroleum System Modeling step and that the geometric uncertainty is correlated with the fluid uncertainty. The geometric uncertainty evaluation makes use of geostatistical techniques that produce a number of possible realizations of the trap geometry, all compatible with available data. The evaluation of the fluid uncertainty, through a Monte Carlo methodology, allows us to compute the possible quantities of oil and gas, generated in a basin and migrated from the hydrocarbon source location to each single trap. The final result is the probability distribution of oil and gas for each trap in the basin, together with other useful indicators like: the hydrocarbon filling probability map, the closure probability map, the drainage area probability map, the spilling paths probabilities, the trap-filling scenarios.     

Hydrodechlorination of 3-chloropyridine and chlorobenzene in methanol solution over alkali-modified zirconia-supported palladium catalysts

The liquid-phase hydrodechlorination of 3-chloropyridine and chlorobenzene has been studied over alkali-modified zirconia-supported palladium catalysts. The modification of the ZrO₂ with alkali metal carbonates improves the catalytic activity of the final palladium catalyst. Therefore, the larger the ionic radii (Li⁺ < Na⁺ < K⁺), the greater the catalytic activity (TOF) of the palladium catalyst. For 3-chloropyridine, hydrodechlorination proceeds without catalyst deactivation. This is explained as the result of the interaction of reaction products (pyridine and HCl) forming pyridinium chloride, thus avoiding the detrimental effect of HCl on the palladium particles. Catalytic hydrodechlorination of chlorobenzene over Pd catalysts exhibits an initial catalytic activity (TOF) much lower than that of 3-chloropyridine and the Pd catalysts deactivate as the reaction proceeds. Finally, chlorobenzene hydrodehalogenation has also been carried out in the presence of an equimolecular amount of pyridine resulting in a decrease in the initial reaction rate on the one hand, but also in an increase in final conversion on the other.     

Comments on “Is the cause of size effect on structural strength fractal or energetic-statistical?” by Ba?ant & Yavari [Engng Fract Mech 2005;72:1-31]

Aim of this letter to the Editor is at replying to the criticisms raised by Ba?ant and Yavari [Ba?ant ZP, Yavari A. Is the cause of size effect on structural strength fractal or energetic - statistical? Engng Fract Mech 2005;72:1-31] against the fractal approach to the size-scale effects on the mechanical properties of materials and the concept of the Multi-Fractal Scaling Law presented by Carpinteri [Carpinteri A. Scaling laws and renormalization groups for strength and toughness of disordered materials. Int J Solids Struct 1994;31:291-302]. These criticisms will be analysed thoroughly, showing how they also contain some mistakes and misunderstandings. The presented elucidations should redirect the discussion to a more correct scientific debate.     

Development and evaluation of antimicrobial natamycin‐incorporated film in gorgonzola cheese conservation

Conservation of food products depends on product quality and packaging suitability. The objective of this work was to develop and evaluate the antimicrobial efficiency of natamycin‐incorporated film in the production process of Gorgonzola cheese. It aims to optimize the production process and increase shelf‐life and food safety for the consumer. Films with different concentrations of natamycin were produced and tested in Gorgonzola cheeses to evaluate its efficiency against Penicillium roqueforti on the cheese surface. Films with 2 and 4% natamycin presented satisfactory results for fungus inhibition and the amount of natamycin released to the cheese was below that allowed by the legislation. Copyright © 2006 John Wiley & Sons, Ltd.     

Analysis of run-in process for PC manufacturing

This paper gives a review of the methodology used to tune the run-in process of a PC manufacturing line. It shows in some detail the analysis carried-out on the test data gathered on the manufacturing line and presents a clear picture of the run-in process in order to choose the best compromise between process efficiency and costs.