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.

Evolution of ethyl carbamate during Madeira wine ageing by GC-MS: a new methodology

Recently, ethyl carbamate (EC) was reclassified by the International Agency for Research on Cancer (IARC) as "probably carcinogenic to humans" and occurs mainly in fermented beverages. Nowadays many countries have set limit values for EC in alcoholic beverages. In this sense and taking into account the low concentrations found in alcoholic beverages, the scientific community has shown interest for the development of new analytical methods, whereby its simplification plays an important role in the EC control and prevention. Firstly, a simple, rapid and sensitive methodology was developed for the EC quantification in fortified wines by microextraction by packed sorbent (MEPS) with gas chromatography coupled with a mass spectrometer detector (GC-MS). This method showed good linearity (R2 = 0.999) and sensitivity (LOD = 1.5 μg/L). The accuracy of the method was assessed by means of repeatability and reproducibility (RSD < 7%). Moreover, a good recovery has been demonstrated (97 – 106%) as well as its applicability (16 fortified wines). Thus, the developed methodology has proven to be an excellent approach for routine quantification of EC in fortified wines. The EC evolution was also evaluated during a year and half of Madeira wine ageing submitted to two traditional ageing methods, estufagem and canteiro, in order to evaluate the formation kinetic. The results revealed that estufagem process increased the formation kinetic and promoted a linear increase of the EC concentration (R2 ≥ 0.977), proportionally to the ageing time (4 months). However, when the wines are firstly submitted to estufagem and then undergo canteiro ageing, the EC values remain almost constant during the following 14 months. The results suggest that estufagem does not seem to be the critical factor in the EC formation, but instead the amount of precursors in the medium.