Computational support for the process of software requirement specification

The software industry has become more and more concerned with the appropriate application of activities that composes requirement engineering as a way to improve the quality of its products. In order to support these activities, several computational tools have been available in the market, although it is still possible to find a lack of resources related to some activities. In this context, this paper proposes the inclusion of a module to aid in the requirements specification to a tool called Requirements Elicitation Support Tool. This module allows to specify requirements in accordance with IEEE 830 standard, thus contributing to the documentation of the requirements established for a software system, besides supporting the learning of concepts related to the requirements specification, which improves the skills of users of the tool. © 2012 IEEE.

As contribuições do software Graphmatica na construção do conhecimento matemático de função

Pós-graduação em Educação para a Ciência - FC

O software MAXIMA aplicado ao cálculo diferencial

Pós-graduação em Matemática Universitária - IGCE

Ability of Gutta-Percha and Resilon to Fill Simulated Lateral Canals by Using the Obtura II System

Introduction: The aim of this study was to evaluate the ability of Resilon (Resilon Research, LLC, North Branford, CT) and 2 types of gutta-percha to fill simulated lateral canals when using the Obtura II system (Model 823-700; Obtura Spartan, Fenton, MO). Methods: Forty-five human single-rooted teeth were selected and subjected to root canal preparation. After that, simulated lateral canals were made at 2, 5, and 8 mm from the working length (WL). The specimens were divided into 3 groups (n = 15) according to the filling material used: Obtura Flow 150 gutta-percha (Obtura flow), Odous Endo Flow gutta-percha (Odous; Odous de Deus Ind e Corn. Ltda Belo Horizonte, MG, Brazil), and Resilon pellets (Resilon). Root canals were filled using the Obtura II system with the tip inserted to 3 mm from the WL. No sealer was used for root canal obturation. Specimens were subjected to a tooth decalcification and clearing method, and filling of the lateral canals was analyzed by digital radiography and photographs. The measurement of lateral canal filling was done using Image Tool software (UTHSCSA Image Tool for Windows version 3.0, San Antonio, TX). Data were statistically analyzed with the Kruskal-Wallis test at 5% significance. Results: All materials showed an ability to penetrate into the simulated lateral canals, with a minimum percentage of 73% in all thirds of the root canal. Conclusions: It was concluded that gutta-percha and Resilon are solid core materials with a lateral canal filling ability when used with the Obtura II system. (J Endod 2012;38:676-679)

O tutor virtual na formação continuada em educação especial

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Identification and characterization of regions of difference between the Salmonella Gallinarum biovar Gallinarum and the Salmonella Gallinarum biovar Pullorum genomes

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

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.

Translation, cross-cultural adaptation and validation of the Portuguese version of the DYMUS questionnaire for the assessment of dysphagia in multiple sclerosis

Translation, cross-cultural adaptation and validation of the DYMUS questionnaire for the assessment of dysphagia in multiple sclerosis. The original English version of the DYMUS was translated using the forward-backward technique, cross-culturally adaptated, pilot-tested in 40 patients, and then applied to 100 multiple sclerosis patients to assess the reliability and construct validity. Construct validity was assessed by Mann–Whitney test and Spearman’s correlation coefficient (rs). The internal consistency of the questionnaire was evaluated using Cronbach’s alpha coefficient and inter-item correlation. DYMUS-BR internal consistency was high (Cronbach’s alpha= 0.72); Cronbach’s alpha was 0.65 for the ‘dysphagia for solids’ subscale and 0.67 for the ‘dysphagia for liquids’ subscale and positive inter-item correlations was found between all items, except for weight loss question. Significant association (p<0.001) and correlation (rs = 0,357; p = 0.01) was found between DYMUS-BR and dysphagia self-assessment. The DYMUS-BR questionnaire maintained the characteristics of that originally described, demonstrating to be a reliable, valid, easy and consistent tool to be used by health professionals for preliminary selection of Brazilian MS patients who need more specific instrumental analyses of swallowing.

Validation of an immunohistochemistry assay to detect turkey coronavirus: A rapid and simple screening tool for limited resource settings

The objective of the present study was to develop and apply the direct immunohistochemistry (D-IHC) assay to search for turkey coronavirus (TCoV) antigens in formalin-fixed embedded-paraffin tissues by the use of biotin-labeled polyclonal antibody. Twenty-eight-day-old embryonated turkey eggs (n = 50) were inoculated with TCoV-purified virus, and 3 d after inoculation, sections from ileum, ileum-cecal junction, and ceca were harvested, fixed in neutral formalin, and embedded in paraffin blocks and used as positive control. In addition, a total of 100 field samples from ileum, ileum-cecal junction, and ceca, collected from 30 to 45-d-old turkeys poults experiencing an outbreak of acute enteritis, were used to search for TCoV by the same D-IHC. All results were compared with those obtained by conventional RT-PCR and indirect fluorescent antibody assay (IFA) for all tested samples. Turkey coronavirus was detected in experimentally infected embryo tissues and also in field samples in 100% of ileum-cecal junction and ceca by the 3 detection procedures. With IFA as a reference assay, sensitivity and specificity of D-IHC were 98 and 58%, whereas sensitivity and specificity of reverse transcription-PCR were 96 and 66%, calculated from the total of tested samples from experimental infection. Each of the examined procedures was highly specific (D-IHC, 93%; RT-PCR, 90%), sensitive (D-IHC, 85%; RT-PCR, 86%), and agreement of both D-IHC and RT-PCR was 99 and 100%, respectively, compared with IFA results obtained from all the field samples. These findings demonstrated the utility of D-IHC for direct detection of TCoV from field samples and considering the sensitivity and specificity found here, can be used as an alternative technique.

PrimerSNP: a web tool for whole-genome selection of allele-specific and common primers of phylogenetically-related bacterial genomic sequences

Background: The increasing number of genomic sequences of bacteria makes it possible to select unique SNPs of a particular strain/species at the whole genome level and thus design specific primers based on the SNPs. The high similarity of genomic sequences among phylogenetically-related bacteria requires the identification of the few loci in the genome that can serve as unique markers for strain differentiation. PrimerSNP attempts to identify reliable strain-specific markers, on which specific primers are designed for pathogen detection purpose.Results: PrimerSNP is an online tool to design primers based on strain specific SNPs for multiple strains/species of microorganisms at the whole genome level. The allele-specific primers could distinguish query sequences of one strain from other homologous sequences by standard PCR reaction. Additionally, PrimerSNP provides a feature for designing common primers that can amplify all the homologous sequences of multiple strains/species of microorganisms. PrimerSNP is freely available at http://cropdisease.ars.usda.gov/similar to primer.Conclusion: PrimerSNP is a high-throughput specific primer generation tool for the differentiation of phylogenetically-related strains/species. Experimental validation showed that this software had a successful prediction rate of 80.4 - 100% for strain specific primer design.

Methodology analysis of a computational tool used in electronic circuit design

This paper considers the importance of using a top-down methodology and suitable CAD tools in the development of electronic circuits. The paper presents an evaluation of the methodology used in a computational tool created to support the synthesis of digital to analog converter models by translating between different tools used in a wide variety of applications. This tool is named MS 2SV and works directly with the following two commercial tools: MATLAB/Simulink and SystemVision. Model translation of an electronic circuit is achieved by translating a mixed-signal block diagram developed in Simulink into a lower level of abstraction in VHDL-AMS and the simulation project support structure in SystemVision. The method validation was performed by analyzing the power spectral of the signal obtained by the discrete Fourier transform of a digital to analog converter simulation model. © 2011 IEEE.

Computational tool to support design of DAC Converter model AD7528 with the object code in XML

Based on literature review, electronic systems design employ largely top-down methodology. The top-down methodology is vital for success in the synthesis and implementation of electronic systems. In this context, this paper presents a new computational tool, named BD2XML, to support electronic systems design. From a block diagram system of mixed-signal is generated object code in XML markup language. XML language is interesting because it has great flexibility and readability. The BD2XML was developed with object-oriented paradigm. It was used the AD7528 converter modeled in MATLAB / Simulink as a case study. The MATLAB / Simulink was chosen as a target due to its wide dissemination in academia and industry. From this case study it is possible to demonstrate the functionality of the BD2XML and make it a reflection on the design challenges. Therefore, an automatic tool for electronic systems design reduces the time and costs of the design.

Validation of the English version of the UNESP-Botucatu multidimensional composite pain scale for assessing postoperative pain in cats

Background: A scale validated in one language is not automatically valid in another language or culture. The purpose of this study was to validate the English version of the UNESP-Botucatu multidimensional composite pain scale (MCPS) to assess postoperative pain in cats. The English version was developed using translation, back-translation, and review by individuals with expertise in feline pain management. In sequence, validity and reliability tests were performed.Results: Of the three domains identified by factor analysis, the internal consistency was excellent for 'pain expression' and 'psychomotor change' (0.86 and 0.87) but not for 'physiological variables' (0.28). Relevant changes in pain scores at clinically distinct time points (e.g., post-surgery, post-analgesic therapy), confirmed the construct validity and responsiveness (Wilcoxon test, p < 0.001). Favorable correlation with the IVAS scores (p < 0.001) and moderate to very good agreement between blinded observers and 'gold standard' evaluations, supported criterion validity. The cut-off point for rescue analgesia was > 7 (range 0-30 points) with 96.5% sensitivity and 99.5% specificity.Conclusions: The English version of the UNESP-Botucatu-MCPS is a valid, reliable and responsive instrument for assessing acute pain in cats undergoing ovariohysterectomy, when used by anesthesiologists or anesthesia technicians. The cut-off point for rescue analgesia provides an additional tool for guiding analgesic therapy. © 2013 Brondani et al.; licensee BioMed Central Ltd.

XML na ciência da informação: uma análise do MARC21

Pós-graduação em Ciência da Informação - FFC

Translation, cultural adaptation to Brazil and validation of the venous leg ulcer quality of life questionnaire (VLU-QoL-Br)

Objetivo:traduzir o instrumento Venous legulcer quality of life questionnaire (VLU-QoL), adaptá-lo culturalmente para o português do Brasil e validá-lo com pacientes do Hospital das Clínicas da Faculdade de Medicina de Botucatu (FMB) da Universidade Estadual Paulista (Unesp). Métodos:o questionário foi traduzido por um tradutor profissional e por dois dermatologistas especialistas na área de úlceras venosas (UV), sendo reformulado em reunião com os três tradutores. O constructo (VLU-QoL-Br) foi submetido a pré-entrevista com 10 portadores de UV para a adaptação da linguagem. Posteriormente, foi aplicado em pacientes do HC-Unesp, e como teste-reteste para verificação de sua reprodutibilidade. Resultados:foram avaliados 82 pacientes, sendo 56 (68%) do sexo feminino. A idade média foi de 67,3 anos. O questionário foi traduzido, adaptado e aplicado aos pacientes. O constructo apresentou alta consistência interna (alfa= 0,94) e adequada correlação item-total. Quando avaliados os 32 retestes, observou-se correlação intraclasse para concordância de 0,78 (p < 0,01), indicando boa reprodutibilidade do constructo. A análise fatorial confirmatória corroborou as dimensões do questionário original: atividades, psicológico e sintomas. Escores do VLU-QoL-Br se associaram, independentemente, à área total das úlceras e a menor escolaridade dos sujeitos (p < 0,01). Conclusão:a tradução, a adaptação e a validação do questionário VLU-Qol-Br demonstrou boa performance psicométrica, permitindo seu uso clínico no Brasil. É importante avaliar seu desempenho em outras regiões e em diferentes amostras de indivíduos.