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.     

In vivo evaluation of a mucoadhesive polymeric caplet for intravaginal anti-HIV-1 delivery and development of a molecular mechanistic model for thermochemical characterization

Context and objective: The aim of this study was to develop, characterize and evaluate a mucoadhesive caplet resulting from a polymeric blend (polymeric caplet) for intravaginal anti-HIV-1 delivery.

Materials and methods: Poly(lactic-co-glycolic) acid, ethylcellulose, poly(vinylalcohol), polyacrylic acid and modified polyamide 6, 10 polymers were blended and compressed to a caplet-shaped device, with and without two model drugs 3′-azido-3′-deoxythymidine (AZT) and polystyrene sulfonate (PSS). Thermal analysis, infrared spectroscopy and microscopic analysis were carried out on the caplets employing temperature-modulated DSC (TMDSC), Fourier transform infra-red (FTIR) spectrometer and scanning electron microscope, respectively. In vitro and in vivo drug release analyses as well as the histopathological toxicity studies were carried out on the drug-loaded caplets. Furthermore, molecular mechanics (MM) simulations were carried out on the drug-loaded caplets to corroborate the experimental findings.

Results and discussion: There was a big deviation between the T_g of the polymeric caplet from the T_g's of the constituent polymers indicating a strong interaction between constituent polymers. FTIR spectroscopy confirmed the presence of specific ionic and non-ionic interactions within the caplet. A controlled near zero-order drug release was obtained for AZT (20 d) and PSS (28 d). In vivo results, i.e. the drug concentration in plasma ranged between 0.012–0.332?mg/mL and 0.009–0.256?mg/mL for AZT and PSS over 1–28 d.

Conclusion: The obtained results, which were corroborated by MM simulations, attested that the developed system has the potential for effective delivery of anti-HIV-agents.     

Is the List of Incomplete Open Cubes Complete?

Variations of Incomplete Open Cubes is the major project by the twentieth-century conceptual artist Sol LeWitt. In this paper we interpret the enumerative component of the project as embeddings of graphs. This formulation permits use of an algorithm to check the completeness of the list of the structures produced by the artist. Our conclusion is that the artist found the correct number of structures (that is, 122), but that his list contains a mistake in the presentation of a pair of incomplete cubes, a discovery that appears not to have been noted before.     

Phase-Structural and Electrochemical Properties of La2MgNi9 Alloys

Powder Metallurgy and Metal Ceramics - Multiphase La 2 MgNi 9 alloys are synthesized by induction melting. The crystalline structures of all phases in the alloys are determined with X-ray...