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.

New method for determination of (E)resveratrol in wine based on microextraction using packed sorbent and ultra-performance liquid chromatography

An ultra-fast and improved analytical methodology based on microextraction by packed sorbent (MEPS) combined with ultra-performance LC (UPLC) was developed and validated for determination of (E)-resveratrol in wines. Important factors affecting the performance of MEPS such as the type of sorbent material (C2, C8, C18, SIL, and M1), number of extraction cycles, and sample volume were studied. The optimal conditions of MEPS extraction were obtained using C8 sorbent and small sample volumes (50–250mL) in one extraction cycle (extract–discard) and in a short time period (about 3 min for the entire sample preparation step). (E)-Resveratrol was eluted by 1 250mL of the mixture containing 95% methanol and 5% water, and the separation was carried out on a highstrength silica HSS T3 analytical column (100 mm 2.1 mm, 1.8mm particle size) using a binary mobile phase composed of aqueous 0.1% formic acid (eluent A) and methanol (eluent B) in the gradient elution mode (10 min of total analysis). The method was fully validated in terms of linearity, detection (LOD) and quantification (LOQ) limits, extraction yield, accuracy, and inter/intra-day precision, using a Madeira wine sample (ET) spiked with (E)-resveratrol at concentration levels ranging from 5 to 60mg/mL. Validation experiments revealed very good recovery rate of 9575.8% RSD, good linearity with r2 values 40.999 within the established concentration range, excellent repeatability (0.52%), and reproducibility (1.67%) values (expressed as RSD), thus demonstrating the robustness and accuracy of the MEPSC8/UPLC-photodiode array (PDA) method. The LOD of the method was 0.21mg/mL, whereas the LOQ was 0.68mg/mL. The validated methodology was applied to 30 commercial wines (24 red wines and six white wines) from different grape varieties, vintages, and regions. On the basis of the analytical validation, the MEPSC8/UPLC-PDA methodology shows to be an improved, sensitive, and ultra-fast approach for determination of (E)-resveratrol in wines with high resolving power within 6 min.

Development of a novel microextraction by packed sorbent-based approach followed by ultrahigh pressure liquid chromatography as a powerful technique for quantification phenolic constituents of biological interest in wines

A novel analytical approach, based on a miniaturized extraction technique, the microextraction by packed sorbent (MEPS), followed by ultrahigh pressure liquid chromatography (UHPLC) separation combined with a photodiode array (PDA) detection, has been developed and validated for the quantitative determination of sixteen biologically active phenolic constituents of wine. In addition to performing routine experiments to establish the validity of the assay to internationally accepted criteria (linearity, sensitivity, selectivity, precision, accuracy), experiments are included to assess the effect of the important experimental parameters on the MEPS performance such as the type of sorbent material (C2, C8, C18, SIL, and M1), number of extraction cycles (extract-discard), elution volume, sample volume, and ethanol content, were studied. The optimal conditions of MEPS extraction were obtained using C8 sorbent and small sample volumes (250 μL) in five extraction cycle and in a short time period (about 5 min for the entire sample preparation step). The wine bioactive phenolics were eluted by 250 μL of the mixture containing 95% methanol and 5% water, and the separation was carried out on a HSS T3 analytical column (100 mm × 2.1 mm, 1.8 μm particle size) using a binary mobile phase composed of aqueous 0.1% formic acid (eluent A) and methanol (eluent B) in the gradient elution mode (10 min of total analysis). The method gave satisfactory results in terms of linearity with r2-values > 0.9986 within the established concentration range. The LOD varied from 85 ng mL−1 (ferulic acid) to 0.32 μg mL−1 ((+)-catechin), whereas the LOQ values from 0.028 μg mL−1 (ferulic acid) to 1.08 μg mL−1 ((+)-catechin). Typical recoveries ranged between 81.1 and 99.6% for red wines and between 77.1 and 99.3% for white wines, with relative standard deviations (RSD) no larger than 10%. The extraction yields of the MEPSC8/UHPLC–PDA methodology were found between 78.1 (syringic acid) and 99.6% (o-coumaric acid) for red wines and between 76.2 and 99.1% for white wines. The inter-day precision, expressed as the relative standard deviation (RSD%), varied between 0.2% (p-coumaric and o-coumaric acids) and 7.5% (gentisic acid) while the intra-day precision between 0.2% (o-coumaric and cinnamic acids) and 4.7% (gallic acid and (−)-epicatechin). On the basis of analytical validation, it is shown that the MEPSC8/UHPLC–PDA methodology proves to be an improved, reliable, and ultra-fast approach for wine bioactive phenolics analysis, because of its capability for determining simultaneously in a single chromatographic run several bioactive metabolites with high sensitivity, selectivity and resolving power within only 10 min. Preliminary studies have been carried out on 34 real whole wine samples, in order to assess the performance of the described procedure. The new approach offers decreased sample preparation and analysis time, and moreover is cheaper, more environmentally friendly and easier to perform as compared to traditional methodologies.

Effectiveness of high-throughput miniaturized sorbent- and solid phase microextraction techniques combined with gas chromatography–mass spectrometry analysis for a rapid screening of volatile and semi-volatile composition of wines: a comparative study

In this study the feasibility of different extraction procedures was evaluated in order to test their potential for the extraction of the volatile (VOCs) and semi-volatile constituents (SVOCs) from wines. In this sense, and before they could be analysed by gas chromatography–quadrupole first stage masss spectrometry (GC–qMS), three different high-throughput miniaturized (ad)sorptive extraction techniques, based on solid phase extraction (SPE), microextraction by packed sorbents (MEPS) and solid phase microextraction (SPME), were studied for the first time together, for the extraction step. To achieve the most complete volatile and semi-volatile signature, distinct SPE (LiChrolut EN, Poropak Q, Styrene-Divinylbenzene and Amberlite XAD-2) and MEPS (C2, C8, C18, Silica and M1 (mixed C8-SCX)) sorbent materials, and different SPME fibre coatings (PA, PDMS, PEG, DVB/CAR/PDMS, PDMS/DVB, and CAR/PDMS), were tested and compared. All the extraction techniques were followed by GC–qMS analysis, which allowed the identification of up to 103 VOCs and SVOCs, distributed by distinct chemical families: higher alcohols, esters, fatty acids, carbonyl compounds and furan compounds. Mass spectra, standard compounds and retention index were used for identification purposes. SPE technique, using LiChrolut EN as sorbent (SPELiChrolut EN), was the most efficient method allowing for the identification of 78 VOCs and SVOCs, 63 and 19 more than MEPS and SPME techniques, respectively. In MEPS technique the best results in terms of number of extractable/identified compounds and total peak areas of volatile and semi-volatile fraction, were obtained by using C8 resin whereas DVB/CAR/PDMS was revealed the most efficient SPME coating to extract VOCs and SVOCs from Bual wine. Diethyl malate (18.8 ± 3.2%) was the main component found in wine SPELiChrolut EN extracts followed by ethyl succinate (13.5 ± 5.3%), 3-methyl-1-butanol (13.2 ± 1.7%), and 2-phenylethanol (11.2 ± 9.9%), while in SPMEDVB/CAR/PDMS technique 3-methyl-1-butanol (43.3 ± 0.6%) followed by diethyl succinate (18.9 ± 1.6%), and 2-furfural (10.4 ± 0.4%), are the major compounds. The major VOCs and SVOCs isolated by MEPSC8 were 3-methyl-1-butanol (26.8 ± 0.6%, from wine total volatile fraction), diethyl succinate (24.9 ± 0.8%), and diethyl malate (16.3 ± 0.9%). Regardless of the extraction technique, the highest extraction efficiency corresponds to esters and higher alcohols and the lowest to fatty acids. Despite some drawbacks associated with the SPE procedure such as the use of organic solvents, the time-consuming and tedious sampling procedure, it was observed that SPELiChrolut EN, revealed to be the most effective technique allowing the extraction of a higher number of compounds (78) rather than the other extraction techniques studied.

Optimisation of solid-phase microextraction combined with gas chromatography–mass spectrometry based methodology to establish the global volatile signature in pulp and skin of Vitis vinifera L. grape varieties

The volatiles (VOCs) and semi-volatile organic compounds (SVOCs) responsible for aroma are mainly present in skin of grape varieties. Thus, the present investigation is directed towards the optimisation of a solvent free methodology based on headspace-solid-phase microextraction (HS-SPME) combined with gas chromatography–quadrupole mass spectrometry (GC–qMS) in order to establish the global volatile composition in pulp and skin of Bual and Bastardo Vitis vinifera L. varieties. A deep study on the extraction-influencing parameters was performed, and the best results, expressed as GC peak area, number of identified compounds and reproducibility, were obtained using 4 g of sample homogenised in 5 mL of ultra-pure Milli-Q water in a 20 mL glass vial with addition of 2 g of sodium chloride (NaCl). A divinylbenzene/carboxen/polydimethylsiloxane fibre was selected for extraction at 60 °C for 45 min under continuous stirring at 800 rpm. More than 100 VOCs and SVOCs, including 27 monoterpenoids, 27 sesquiterpenoids, 21 carbonyl compounds, 17 alcohols (from which 2 aromatics), 10 C13 norisoprenoids and 5 acids were identified. The results showed that, for both grape varieties, the levels and number of volatiles in skin were considerably higher than those observed in pulp. According to the data obtained by principal component analysis (PCA), the establishment of the global volatile signature of grape and the relationship between different part of grapes—pulp and skin, may be an useful tool to winemaker decision to define the vinification procedures that improves the organoleptic characteristics of the corresponding wines and consequently contributed to an economic valorization and consumer acceptance.