Support Tool to the Validation Process of Functional Requirements

The activity of validating identified requirements for an information system helps to improve the quality of a requirements specification document and, consequently, the success of a project. Although various different support tools to requirements engineering exist in the market, there is still a lack of automated support for validation activity. In this context, the purpose of this paper is to make up for that deficiency, with the use of an automated tool, to provide the resources for the execution of an adequate validation activity. The contribution of this study is to enable an agile and effective follow-up of the scope established for the requirements, so as to lead the development to a solution which would satisfy the real necessities of the users, as well as to supply project managers with relevant information about the maturity of the analysts involved in requirements specification.

Functional characterization of the oxaloacetase encoding gene and elimination of oxalate formation in the beta-lactam producer Penicillium chrysogenum

Penicillium chrysogenum is widely used as an industrial antibiotic producer, in particular in the synthesis of g-lactam antibiotics such as penicillins and cephalosporins. In industrial processes, oxalic acid formation leads to reduced product yields. Moreover, precipitation of calcium oxalate complicates product recovery. We observed oxalate production in glucose-limited chemostat cultures of P. chrysogenum grown with or without addition of adipic acid, side-chain of the cephalosporin precursor adipoyl-6-aminopenicillinic acid (ad-6-APA). Oxalate accounted for up to 5% of the consumed carbon source. In filamentous fungi, oxaloacetate hydrolase (OAH; EC3.7.1.1) is generally responsible for oxalate production. The P. chrysogenum genome harbours four orthologs of the A. niger oahA gene. Chemostat-based transcriptome analyses revealed a significant correlation between extracellular oxalate titers and expression level of the genes Pc18g05100 and Pc22g24830. To assess their possible involvement in oxalate production, both genes were cloned in Saccharomyces cerevisiae, yeast that does not produce oxalate. Only the expression of Pc22g24830 led to production of oxalic acid in S. cerevisiae. Subsequent deletion of Pc22g28430 in P. chrysogenum led to complete elimination of oxalate production, whilst improving yields of the cephalosporin precursor ad-6-APA. (C) 2011 Elsevier Inc. All rights reserved.

Electrochemical study of modified non-functional bis-silane layers on Al alloy 2024-T3

In the last few years great efforts have been made in order to find and to develop environmentally friendly substitutes for Cr6+ pre-treatments applied on aluminium alloys used in the aircraft industry. Among the potential substitutes, silane layers have attracted considerable interest from researchers and from the industry. The present work investigates the anti-corrosion behaviour of (bis-1, 2-(triethoxysilyl) ethane (BTSE)) silane layers modified with Ce ions and/or silica nanoparticles applied on Al alloy 2024-T3 substrates. The corrosion behaviour was investigated in 0.1 M NaCl solution via d.c. polarization and electrochemical impedance spectroscopy (EIS). Contact angle measurements and XPS were used to assess information on the chemistry of the silane pre-treated surfaces. The results have shown that the introduction of additives improves the corrosion protection properties of the silane layer. (c) 2008 Elsevier Ltd. All rights reserved.

A Functional Verification Methodology Based on Parameter Domains for Efficient Input Stimuli Generation and Coverage Modeling

Modern Integrated Circuit (IC) design is characterized by a strong trend of Intellectual Property (IP) core integration into complex system-on-chip (SOC) architectures. These cores require thorough verification of their functionality to avoid erroneous behavior in the final device. Formal verification methods are capable of detecting any design bug. However, due to state explosion, their use remains limited to small circuits. Alternatively, simulation-based verification can explore hardware descriptions of any size, although the corresponding stimulus generation, as well as functional coverage definition, must be carefully planned to guarantee its efficacy. In general, static input space optimization methodologies have shown better efficiency and results than, for instance, Coverage Directed Verification (CDV) techniques, although they act on different facets of the monitored system and are not exclusive. This work presents a constrained-random simulation-based functional verification methodology where, on the basis of the Parameter Domains (PD) formalism, irrelevant and invalid test case scenarios are removed from the input space. To this purpose, a tool to automatically generate PD-based stimuli sources was developed. Additionally, we have developed a second tool to generate functional coverage models that fit exactly to the PD-based input space. Both the input stimuli and coverage model enhancements, resulted in a notable testbench efficiency increase, if compared to testbenches with traditional stimulation and coverage scenarios: 22% simulation time reduction when generating stimuli with our PD-based stimuli sources (still with a conventional coverage model), and 56% simulation time reduction when combining our stimuli sources with their corresponding, automatically generated, coverage models.

Extension of the core map of common bean with EST-SSR, RGA, AFLP, and putative functional markers

Microsatellites and gene-derived markers are still underrepresented in the core molecular linkage map of common bean compared to other types of markers. In order to increase the density of the core map, a set of new markers were developed and mapped onto the RIL population derived from the `BAT93` x `Jalo EEP558` cross. The EST-SSR markers were first characterized using a set of 24 bean inbred lines. On average, the polymorphism information content was 0.40 and the mean number of alleles per locus was 2.7. In addition, AFLP and RGA markers based on the NBS-profiling method were developed and a subset of the mapped RGA was sequenced. With the integration of 282 new markers into the common bean core map, we were able to place markers with putative known function in some existing gaps including regions with QTL for resistance to anthracnose and rust. The distribution of the markers over 11 linkage groups is discussed and a newer version of the common bean core linkage map is proposed.

Analysis of genomic and functional RFLP derived markers associated with sucrose content, fiber and yield QTLs in a sugarcane (Saccharum spp.) commercial cross

Expressed sequence tags derived markers have a great potential to be used in functional map construction and QTL tagging. In the present work, sugarcane genomic probes and expressed sequence tags having homology to genes, mostly involved in carbohydrate metabolism were used in RFLP assays to identify putative QTLs as well as their epistatic interactions for fiber content, cane yield, pol and tones of sugar per hectare, at two crop cycles in a progeny derived from a bi-parental cross of sugarcane elite materials. A hundred and twenty marker trait associations were found, of which 26 at both crop cycle and 32 only at first ratoon cane. A sucrose synthase derived marker was associated with a putative QTL having a high negative effect on cane yield and also with a QTL having a positive effect on Pol at both crop cycles. Fifty digenic epistatic marker interactions were identified for the four traits evaluated. Of these, only two were observed at both crop cycles.

Characterization of new polymorphic functional markers for sugarcane

Fundacao de Amparo a Pesquisa do Estado de Sao Paulo (FAPESP)[02/01167-1]

Rheological and functional properties of flours from banana pulp and peel

Unripe banana flour can be an alternative to minimize post-harvest loss and to increase the aggregate value of banana fruit. Flour from unripe banana is rich in phytosterols and resistant starch, being proposed as health food. Flours from unripe banana peel and pulp were evaluated on their composition, phytosterols content, thermal and rheological properties, and pasting profiles. High amounts of beta-sitosterol, campesterol, and stigmasterol were found in flour from banana peel. These samples showed lower viscosity values of pasting profiles, lower energy enthalpy on gelatinization, and higher temperature of gelatinization than those ones from pulp. Anti-oxidant treatment of fruits with citric acid does not change pasting profiles of flours from pulp, but resulted in slight increase in viscosity, suggesting that structure of starch could be modified by acidification.

Physical-chemical and functional properties of maca root starch (Lepidium meyenii Walpers)

The starch of maca (Lepidium meyenii Walpers) presented oval and irregular morphology, with granule size between 7.4 and 14.9 mu m in length and 5.8 and 9.3 mu m in diameter. The isolated starch showed the following features: purity of 87.8%, with 0.28% lipids, 0.2% fibre and 0.12% fixed mineral residue, and no protein detected; the ratio between the amylose and amylopectin contents were 20:80: the solubility at 90 degrees C was 61.4%, the swelling power was 119.0g water/g starch and the water absorption capacity was 45.9 g water/g starch; the gel turbidity rose 44% during the storing time; the gelatinization temperature was 47.7 degrees C and the transition enthalpy 6.22 J/g; the maximum viscosity reached 1260 UB at 46.4 degrees C, with breakdown, setback and consistence of 850, 440 and -410 UB, respectively. The low gelling temperature and the stability during gel refrigeration could be adequate for foods requiring moderate temperature process, but not for frozen food. (C) 2008 Elsevier Ltd. All rights reserved.

Cloning, characterization and functional analysis of a 1-FEH cDNA from Vernonia herbacea (Vell.) Rusby

Variations in the inulin contents have been detected in rhizophores of Vernonia herbacea during the phenological cycle. These variations indicate the occurrence of active inulin synthesis and depolymerization throughout the cycle and a role for this carbohydrate as a reserve compound. 1-Fructan exohydrolase (1-FEH) is the enzyme responsible for inulin depolymerization, and its activity has been detected in rhizophores of sprouting plants. Defoliation and low temperature are enhancer conditions of this 1-FEH activity. The aim of the present work was the cloning of this enzyme. Rhizophores were collected from plants induced to sprout, followed by storage at 5C. A full length 1-FEH cDNA sequence was obtained by PCR and inverse PCR techniques, and expressed in Pichia pastoris. Cold storage enhances FEH gene expression. Vh1-FEH was shown to be a functional 1-FEH, hydrolyzing predominantly -2,1 linkages, sharing high identity with chicory FEH sequences, and its activity was inhibited by 81 in the presence of 10 mM sucrose. In V. herbacea, low temperature and sucrose play a role in the control of fructan degradation. This is the first study concerning the cloning and functional analysis of a 1-FEH cDNA of a native species from the Brazilian Cerrado. Results will contribute to understanding the role of fructans in the establishment of a very successful fructan flora of the Brazilian Cerrado, subjected to water limitation and low temperature during winter.

Effect of inulin and Lactobacillus paracasei on sensory and instrumental texture properties of functional chocolate mousse

BACKGROUND: This study evaluated the effect of a potentially probiotic bacteria (Lactobacillus paracasei subsp. paracasei LBC 82), added solely or together with the prebiotic ingredient inulin on instrumental texture attributes and sensory properties of a functional chocolate mousse during storage at 4 +/- 1 degrees C for up to 28 days. RESULTS: The addition of Lactobacillus paracasei resulted in a firmer and more adhesive chocolate mousse. This effect was intensified with the presence of inulin in the synbiotic formulation (5.24 N and -0.956 N, respectively, for firmness and adhesiveness after 28 days of storage) (P < 0.05). L. paracasei population did not vary (P > 0.05) during storage (always between 7.27 and 7.35 log cfu g(-1)), both for the probiotic and the synbiotic mousses. Synbiotic mousse differed from control and probiotic mousses during storage with respect to the color attribute. Moreover, both probiotic and synbiotic mousses presented taste, aroma and texture perceptions which were different from one another and from the control mousse after 14 and 21 days of storage. CONCLUSION: The use of inulin, together with the potentially probiotic strain of Lactobacillus paracasei subsp. paracasei, is advantageous, conferring potentially symbiotic potential to the chocolate mousse, as well as favorable texture and sensory properties. (c) 2008 Society of Chemical Industry.

Isolation and functional characterization of proinflammatory acidic phospholipase A(2) from Bothrops leucurus snake venom

In the present study, an acidic PLA(2), designated BI-PLA(2), was isolated from Bothrops leucurus snake venom through two chromatographic steps: ion-exchange on CM-Sepharose and hydrophobic chromatography on Phenyl-Sepharose. Bl-PLA(2) was homogeneous on SDS-PAGE and when submitted to 2D electrophoresis the molecular mass was 15,000 Da and pl was 5.4. Its N-terminal sequence revealed a high homology with other Asp49 acidic PLA(2)s from snake venoms. Its specific activity was 159.9 U/mg and the indirect hemolytic activity was also higher than that of the crude venom. Bl-PLA(2) induced low myotoxic and edema activities as compared to those of the crude venom. Moreover, the enzyme was able to induce increments in IL-12p40, TNF-alpha, IL-1 beta and IL-6 levels and no variation of IL-8 and IL-10 in human PBMC stimulated in vitro, suggesting that Bl-PLA2 induces proinflammatory cytokine production by human mononuclear cells. Bothrops leucurus venom is still not extensively explored and knowledge of its components will contribute for a better understanding of its action mechanism. (C) 2011 Elsevier Inc. All rights reserved.

Isolation, functional, and partial biochemical characterization of galatrox, an acidic lectin from Bothrops atrox snake venom

Snake venom lectins have been studied in regard to their chemical structure and biological functions. However, little is known about lectins isolated from Bothrops atrox snake venom. We report here the isolation and partial functional and biochemical characterization of an acidic glycan-binding protein called galatrox from this venom. This lectin was purified by affinity chromatography using a lactosyl-sepharose column, and its homogeneity and molecular mass were evaluated by high-performance liquid chromatography, sodium dodecyl sulfate-polyacrylamide gel electrophoresis, and matrix-assisted laser desorption/ionization-time-of-flight mass spectrometry. The purified galatrox was homogeneous and characterized as an acidic protein (pI 5.2) with a monomeric and dimeric molecular mass of 16.2 and 32.5 kDa, respectively. Alignment of N-terminal and internal amino acid sequences of galatrox indicated that this protein exhibits high homology to other C-type snake venom lectins. Galatrox showed optimal hemagglutinating activity at a concentration of 100 mu g/ml and this effect was drastically inhibited by lactose, ethylenediaminetetraacetic acid, and heating, which confirmed galatrox`s lectin activity. While galatrox failed to induce the same level of paw edema or mast cell degranulation as B. atrox crude venom, galatrox did alter cellular viability, which suggested that galatrox might contribute to venom toxicity by directly inducing cell death.

Biochemical and Functional Characterization of a Metalloprotease from the Thermophilic Fungus Thermoascus aurantiacus

Protease production was carried out in solid state fermentation. The enzyme was purified through precipitation with ethanol at 72% followed by chromatographies in columns of Sephadex G75 and Sephacryl S100. It was purified 80-fold and exhibited recovery of total activity of 0.4%. SDS-PAGE analysis indicated an estimated molecular mass of 24.5 kDa and the N-terminal sequence of the first 22 residues was APYSGYQCSMQLCLTCALMNCA. Purified protease was only inhibited by EDTA (96.7%) and stimulated by Fe(2+) revealing to be a metalloprotease activated by iron. Optimum pH was 5.5, optimum temperature was 75 degrees C, and it was thermostable at 65 degrees C for 1 h maintaining more than 70% of original activity. Through enzyme kinetic studies, protease better hydrolyzed casein than azocasein. The screening of fluorescence resonance energy transfer (FRET) peptide series derived from Abz-KLXSSKQ-EDDnp revealed that the enzyme exhibited preference for Arg in P(1) (k(cat)/K(m) = 30.1 mM(-1) s(-1)).

Molecular dynamics, density functional, ADMET predictions, virtual screening, and molecular interaction field studies for identification and evaluation of novel potential CDK2 inhibitors in cancer therapy

In this work, we have used molecular dynamics, density functional theory, virtual screening, ADMET predictions, and molecular interaction field studies to design and propose eight novel potential inhibitors of CDK2. The eight molecules proposed showed interesting structural characteristics that are required for inhibiting the CDK2 activity and show potential as drug candidates for the treatment of cancer. The parameters related to the Rule of Five were calculated, and only one of the molecules violated more than one parameter. One of the proposals and one of the drug-like compounds selected by virtual screening indicated to be promising candidates for CDK2-based cancer therapy.