Determination of lipophilic and hydrophilic antioxidants in Solanum Lycopersicum L. tomato from Gordal variety by LL-USAE combined with UHPLC-PDA/FLR

Tomato (Lycopersicon esculentum L.) is one of the main constituents of the Mediterranean diet. Its consumption has been proposed to reduce the risk of cardiovascular diseases and certain types of cancer. It is therefore one of the most popular and extensively consumed vegetable crop worldwide. To gain insights on the potential of Lycopersicon esculentum L. as bioactive food, two analytical methodologies were developed to determine the levels of the lipophilic -tocopherol, α-tocopherol, β-carotene, lycopene; and hydrophilic antioxidants ascorbic acid. The quantification of total carotenoids (β-carotene and lycopene) was assessed through a liquid–liquid ultrasound assisted extraction (LL-USAE) in combination with ultraviolet-visible spectroscopy (UV-Vis), according to method of mean, for total carotenoids (λmáx = 450 nm. The ultra-high performance liquid chromatographic using both photodiode array and fluorescence detection (UHPLC-PDA/FLR), allows the identification and quantification of the target lipophilic and hydrophilic antioxidants. This methodology UHPLC-PDA/FLR is fast, simple and revealed a high sensitivity for the compounds under study. The limits of detection (LODs) and quantification (LOQs) obtained were much lower (about 10 times) than the reported in literature. The method LL-USAE/UV-Vis was validated and applied to different tomato foodstuffs. The results reveal a small increase of carotenoids content during maturation, reaching the maximum level when ripe. These results complement those obtained by the ORAC and TBARS assays that show an increase of antioxidant capacity during maturation. The LODs ans LOQs obtained were also about 10 times lower than reported in literature. The carotenoid content was also evaluated by LL-USAE/UV-Vis in different tomatoes varieties. Regional variety present the high carotenoid level, followed by campari and gordal, and at last grape. This methodology was also applied to different processed food samples containing tomatoes derivatives. Highest carotenoids content were obtained in concentrated tomato foodstuffs.

A JML-Based strategy for incorporating formal specifications into the software development process

This thesis presents a JML-based strategy that incorporates formal specifications into the software development process of object-oriented programs. The strategy evolves functional requirements into a “semi-formal” requirements form, and then expressing them as JML formal specifications. The strategy is implemented as a formal-specification pseudo-phase that runs in parallel with the other phase of software development. What makes our strategy different from other software development strategies used in literature is the particular use of JML specifications we make all along the way from requirements to validation-and-verification.