Software interativo: ecocardiografia na avaliaçao da hipertensao arterial

A hipertensao arterial é uma doença muito prevalente, evoluindo com lesoes em órgaos-alvo, alta morbidade e mortalidade. A avaliaçao das repercussoes cardíacas pela ecocardiografia tem papel importante na conduçao clínica dos indivíduos hipertensos, e suas imagens podem ser utilizadas como ferramenta para o ensino. OBJETIVOS: Desenvolver e avaliar um software, construído com base em imagens ecocardiográficas, abordando de forma ilustrativa e interativa a estrutura e funçao cardíacas normais,bem como as alteraçoes induzidas pela hipertensao arterial. MÉTODOS: Foram selecionadas imagens ecocardiográficas de indivíduos normais e com comprometimento cardíaco determinado pela hipertensao (hipertrofia ventricular esquerda, miocardiopatia dilatada e infarto do miocárdio). Com estas imagens foi construído um software no programa multimídia Flash, que foi avaliado por estudantes de Medicina (n=38) e Enfermagem (n=18), também submetidos a pré- e pós-teste. RESULTADOS: Os alunos consideraram o software útil, atraente e adequado as atuais metodologias educacionais proativas,promovendo ganho de conhecimento na compreensao do comprometimento cardíaco na hipertensao arterial. Conclusao: O software foi bem avaliado e considerado útil na aquisiçao de conhecimento numa área específica mais prevalente do comprometimento da saúde do adulto.

Efeito de um programa de treinamento funcional de curta duração sobre a composição corporal de mulheres na pós-menopausa

OBJETIVO: Avaliar o efeito de 8 semanas de treinamento funcional sobre a composição corporal de mulheres na pós-menopausa.MÉTODOS: Participaram do estudo 38 mulheres menopausadas, distribuídas em dois grupos: Grupo Treino (GT) e Grupo Controle (GC). As participantes do GT (n=21) realizaram, por um período de 8 semanas, um programa de exercícios físicos, com frequência de 3 vezes por semana, em dias não consecutivos, e duração de 90 minutos por sessão. Pelo mesmo período, as mulheres do GC (n=17) não realizaram nenhum tipo de atividade física sistematizada. Todas as participantes foram avaliadas no momento inicial da pesquisa e após 8 semanas. As avaliações foram conduzidas pelos mesmos avaliadores treinados. A análise da composição corporal foi realizada no equipamento de absortiometria de raios X de dupla energia (DEXA) que permite estimar a composição corporal no todo e por segmento. As participantes do GT realizaram um programa de exercícios físicos funcionais, 3 dias da semana (não consecutivos), com sessões compostas por 11 estações de exercícios desenvolvidas em formato de circuito. Os exercícios realizados tinham como proposta o desenvolvimento das capacidades força, agilidade, coordenação e propriocepção, e eram seguidos de exercício aeróbio (caminhada). Depois de constatada normalidade dos dados verificada pelo teste Shapiro-Wilk (p<0,05), procedeu-se ao teste t de Student para amostras independentes para verificação de possíveis diferenças em variáveis de composição corporal e antropométricas entre grupos nos dois momentos da intervenção (pré e pós-teste). Todas as análises foram realizadas com o software SPSS, v. 17.0 (SPSS Inc., Chicago, IL, USA) com valor de significância estabelecido em 5%.RESULTADOS: No momento inicial nenhuma diferença significante foi observada entre as variáveis de composição corporal, antropométricas e idade, indicando homogeneidade dos grupos. Após 8 semanas de treinamento, foram observadas diferenças significativas entre o GT e o GC quanto à gordura de tronco - GC=0,2±0,7 e GT=-0,4±0,5, gordura corporal total (kg) - GC=0,2±1,3 e GT=-0,7±0,8 e no peso total - GC=0,4±1,4 e GT =-0,6±1,1. A variável percentual de gordura total apresentou redução nos valores absolutos, porém sem significância, GC=0,1±1,5 e GT=-0,8±1,5.CONCLUSÃO: O treinamento funcional no formato de circuito pode ser usado como estratégia para alteração da composição corporal de mulheres na pós-menopausa, em especial na redução do tecido adiposo. Trata-se de um modelo que promove elevada aderência dos seus participantes, sugerindo ser uma proposta atrativa para a faixa etária investigada.

Ferramenta de apoio ao teste de aplicações java baseada em reflexão computacional

A atividade de teste constitui uma fase de grande importância no processo de desenvolvimento de software, tendo como objetivo garantir um alto grau de confiabilidade nos produtos desenvolvidos. O paradigma da Orientação a Objetos (OO) surgiu com o objetivo de melhorar a qualidade bem como a produtividade no desenvolvimento de aplicações. Entretanto, apesar do aumento constante de aceitação do paradigma OO pela indústria de software, a presença de algumas de suas características torna a atividade de teste de programas neste paradigma mais complexa do que o teste de sistemas tradicionais. Entre estas características cita-se a herança, o encapsulamento, o polimorfismo e a ligação dinâmica [EIS 97] [PRE 95] [UNG 97]. Algumas técnicas estão sendo implementadas para auxiliarem a atividade de teste através do uso da tecnologia de reflexão computacional [HER 99]. Estas técnicas permitem a realização de análises de aspectos dinâmicos dos programas, sem a necessidade de instrumentar o código-fonte das aplicações que estão sendo monitoradas. Com o objetivo de auxiliar o processo de teste de programas orientados a objetos, este trabalho aborda o desenvolvimento de uma ferramenta, a qual automatiza parcialmente o teste de programas escritos em Java. A ferramenta evidencia o teste de estados fazendo uso da tecnologia de reflexão computacional. Através da especificação de asserções, feitas pelo usuário da ferramenta, na forma de invariantes de classe, pré e pós-condições de métodos, é possível verificar a integridade dos estados dos objetos durante a execução do programa em teste. A ferramenta possibilita também, armazenar a seqüência de métodos chamados pelos objetos da aplicação em teste, tornando possível ao testador, visualizar o histórico das interações entre os objetos criados no nível-base.

A construção e validação de um teste com referência a critério para medir as competências básicas de leitura e escrita para o Programa de Alfabetização Funcional do MOBRAL

A necessidade de se desenvolverem instrumentos adequados a avaliação de programas educacionais é premente no momento atual. Segundo os estudos mais recentes no campo da medida educacional, os testes com referência a critério são os que atendem a esta necessidade. Este estudo teve por objetivo a construção de dois testes deste tipo para a avaliação do Programa de Alfabetização Funcional do MOBRAL nos dominios da aquisição das competências basicas em leitura e escrita. Inicialmente foram selecionadas e descritas quatro competências para serem medidas por cada teste. As competências foram selecionadas tendo como base os objetivos do programa apresentados no Roteiro de Orientação ao Alfabetizador (1977). A segunda etapa do estudo consistiu na criação das especificações para cada competência selecionadas nos dois dominios. A partir destas especificações foram construidos 32 itens para o teste de leitura e 40 para o de escrita. Estes itens foram, distribuidos randomicamente em 5 formas experimentais para cada teste. O teste de leitura é composto de itens de múltipla escolha e o teste de escrita de itens de resposta construida. Os criterios de correção e os padrões minimos de desempenho foram estabelecidos para cada teste. Para a analise destes padrões minimos foram calculados as medias e os desvios-padrão para cada forma aplicada. Estes resultados permitem a manutenção dos padrões minimos usados em estudos posteriores. A análise dos itens foi feita em duas etapas: na primeira foram calculados os indices de discriminância pelo processo tradicional e na segunda os indices de sensitivida de pelo processo desenvolvido por Gronlund (1976). Os resultados obtidos permitiram o aproveitamento de todos os itens. Os itens foram divididos em duas formas equivalentes para cada teste, cada um pode ser subdividido em três subtestes para a medida isolada das competências descritas. Para o exame de validade foram estabelecidos os indices de validade descritiva e de seleção de dominio. A fidedignidade dos testes ficou assegurada com a construção de mais de 5 itens para competência Gronlund (1976).

Determinantes de rentabilidade de empresas apoiadas pelo Programa BNDES de Desenvolvimento da Indústria de Software - BNDES PROSOFT Empresa

Este estudo objetiva analisar fatores que impactam a lucratividade de companhias beneficiadas com o Programa para Desenvolvimento da Indústria Nacional de Software e Serviços de TI – BNDES PROSOFT. A análise da lucratividade permeia diversos estudos no país e no exterior e é de suma importância para a realização de políticas públicas de qualidade. Para a avaliação, foram elencados diferentes aspectos microeconômicos, incluindo informações contábeis, de emprego, localização da empresa, segmento de atuação, entre outros, utilizando a metodologia de dados em painel. Dentre os resultados obtidos, pode-se destacar o impacto positivo do nível da escolaridade da equipe, lucratividade observada no exercício anterior, maior retorno das empresas menores frente às de maior porte. Houve penalidade no lucro daquelas companhias voltadas para fabricação de hardware, com equipes maiores. Constatou-se, também, um decréscimo no lucro de empresas no ano em que contrataram financiamentos com o BNDES, estas que foram posteriormente beneficiadas, no momento da implantação do projeto.

Avaliação do desenvolvimento neuropsicomotor em crianças na rede básica de saúde utilizando o teste de Denver II: identificação de fatores de risco materno

Alterations in the neuropsychomotor development of children are not rare and can manifest themselves with varying intensity at different stages of their development. In this context, maternal risk factors may contribute to the appearance of these alterations. A number of studies have reported that neuropsychomotor development diagnosis is not an easy task, especially in the basic public health network. Diagnosis requires effective, low-cost, and easy - to-apply procedures. The Denver Developmental Screening Test, first published in 1967, is currently used in several countries. It has been revised and renamed as the Denver II Test and meets the aforementioned criteria. Accordingly, the aim of this study was to apply the Denver II Test in order to verify the prevalence of suspected neuropsychomotor development delay in children between the ages of 0 and 12 months and correlate it with the following maternal risk factors: family income, schooling, age at pregnancy, drug use during pregnancy, gestational age, gestational problems, type of delivery and the desire to have children. For data collection, performed during the first 6 months of 2004, a clinical assessment was made of 398 children selected by pediatricians and the nursing team of each public health unit. Later, the parents or guardians were asked to complete a structured questionnaire to determine possible risk indicators of neuropsychomotor development delay. Finally the Denver II Developmental Screening Test (DDST) was applied. The data were analyzed together, using Statistical Package for Social Science (SPSS) software, version 6.1. The confidence interval was set at 95%. The Denver II Test yielded normal and questionable results. This suggests compromised neuropsychomotor development in the children examined and deserves further investigation. The correlation of the results with preestablished maternal risk variables (family income, mother s schooling, age at pregnancy, drug use during the pregnancy and gestational age) was strongly significant. The other maternal risk variables (gestational problems, type of delivery and desire to have children) were not significant. Using an adjusted logistic regression model, we obtained the estimate of the greater likelihood of a child having suspected neuropsychomotor development delay: a mother with _75 4 years of schooling, chronological age less than 20 years and a drug user during pregnancy. This study produced two manuscripts, one published in Acta Cirúrgica Brasileira , in which an analysis was performed of children with suspected neuropsychomotor development delay in the city of Natal, Brazil. The other paper (to be published) analyzed the magnitude of the independent variable maternal schooling associated to neuropsychomotor development delay, every 3 months during the first twelve months of life of the children selected.. The results of the present study reinforce the multifactorial characteristic of development and the cumulative effect of maternal risk factors, and show the need for a regional policy that promotes low-cost programs for the community, involving children at risk of neuropsychomotor development delay. Moreover, they suggest the need for better qualified health professionals in terms of monitoring child development. This was an inter- and multidisciplinary study with the integrated participation of doctors, nurses, nursing assistants and professionals from other areas, such as statisticians and information technology professionals, who met all the requirements of the Postgraduate Program in Health Sciences of the Federal University of Rio Grande do Norte

Evolução, avaliação e validação do software RoboEduc

Considering the transition from industrial society to information society, we realize that the digital training that is addressed is currently insufficient to navigate within a digitized reality. As proposed to minimize this problem, this paper assesses, validates and develops the software RoboEduc to work with educational robotics with the main differential programming of robotic devices in levels, considering the specifics of reality training . One of the emphases of this work isthe presentation of materials and procedures involving the development, analysis and evolution of this software. For validation of usability tests were performed, based on analysis of these tests was developed version 4.0 of RoboEduc

Avaliação da capacidade de caminhar do portador de obesidade mórbida utilizando teste de caminhada de 6 minutos

Introduction: The ability to walk is impaired in obese by anthropometric factors (BMI and height), musculoskeletal pain and level of inactivity. Little is known about the influence of body adiposity and the acute response of the cardiovascular system during whole the 6-minute walk test (6mWT). Objective: To evaluate the effect of anthropometric measures (BMI and WHR waist-to-hip ratio), the effort heart and inactivity in ability to walk the morbidly obese. Materials and Methods: a total 36 morbidly obese (36.23 + 11.82 years old, BMI 49.16 kg/m2) were recruited from outpatient department of treatment of obesity and bariatric surgery in University Hospital Onofre Lopes and anthropometric measurements of obesity (BMI and WHR), pulmonary function, pattern habitual physical activity (Baecke Questionnaire) and walking capacity (6mWT). The patient was checking to measure: heart rate (HR), breathing frequency (BF), peripheral oxygen saturation, level of perceived exertion, systemic arterial pressure and duplo-produto (DP), moreover the average speed development and total distance walking. The data were analysed between gender and pattern of body adiposity, measuring the behavior minute by minute of walking. The Pearson and Spearmam correlation coefficients were calculated, and stepwise multiple Regression examined the predictors of walking capacity. All analyses were performed en software Statistic 6.0. Results: 20 obese patients had abdominal adiposity (WHR = 1.01), waist circumference was 135.8 cm in women (25) and 139.8 cm in men (10). Walked to the end of 6mWT 412.43 m, with no differences between gender and adiposity. The total distance walked by obesity alone was explained by BMI (45%), HR in the sixth minute (43%), the Baecke (24%) and fatigue (-23%). 88.6% of obese (31) performed the test above 60% of maximal HR, while the peak HR achieved at 5-minute of 6mWT. Systemic arterial pressure and DP rised after walking, but with no differences between gender and adiposity. Conclusion: The walk of obese didn´t suffers influence of gender or the pattern of body adiposity. The final distance walked is attributed to excess body weight, stress heart, the feeling of effort required by physical activity and level of sedentary to obese. With a minute of walking, the obeses achieved a range of intensity cardiovascular trainning

Bolton freeware: aplicativo de avaliação de discrepância de massa dentária desenvolvido pelo programa de pós-graduação em odontologia/UFRN

The calculation of tooth mass discrepancy, essential for good planning and a proper orthodontic finishing, when performed manually, besides being laborious, requires considerable time consumption. The aim of this study was to develop and test Bolton Freeware, a software for analysis of the tooth mass discrepancy of Bolton, aiming to minimize the consumption of time in a less onerous way. The digital analysis of the software was done by means of two-dimensional scanning of plaster study models and compared to manual evaluation (gold standard), using 75 pairs of stone plaster study models divided into two groups according to the magnitude of the Curve of Spee (group I from 0 to 2 mm, group II greater than 2 to 3mm). All the models had permanent dentition and were in perfect condition. The manual evaluation was performed with a digital caliper and a calculator, and the time required to perform the analysis for both methods was recorded and compared. In addition, the software was evaluated by orthodontists regarding its use, by means of questionnaires developed specifically for this purpose. Calibration was performed prior to manual analysis, and excellent levels of inter-rater agreement were achieved, with ICC > 0.75 and r > 0.9 for total and anterior proportion. It was observed in the evaluation of error of the digital method that some teeth showed a significant systematic error, being the highest measured at 0.08 mm. The analysis of total tooth mass discrepancy performed by Bolton Freeware, for those cases in which the curve of Spee is mild and moderate, differ from manual analysis, on average, 0.09 mm and 0.07 mm respectively, for each tooth evaluated, with r> 0, 8 for total and anterior proportion. According to the specificity and sensitivity test, Bolton Freeware has an improved ability to detect true negatives, i.e. the presence of discrepancy. The Bolton analysis digitally performed was faster, with an average difference of time consumed to perform the analysis of Bolton between the two methods of approximately 6 minutes. Most experts interviewed (93%) approved the usability of the software

Geração de casos de teste a partir de especificações B

With the increasing complexity of software systems, there is also an increased concern about its faults. These faults can cause financial losses and even loss of life. Therefore, we propose in this paper the minimization of faults in software by using formally specified tests. The combination of testing and formal specifications is gaining strength in searches mainly through the MBT (Model-Based Testing). The development of software from formal specifications, when the whole process of refinement is done rigorously, ensures that what is specified in the application will be implemented. Thus, the implementation generated from these specifications would accurately depict what was specified. But not always the specification is refined to the level of implementation and code generation, and in these cases the tests generated from the specification tend to find fault. Additionally, the generation of so-called "invalid tests", ie tests that exercise the application scenarios that were not addressed in the specification, complements more significantly the formal development process. Therefore, this paper proposes a method for generating tests from B formal specifications. This method was structured in pseudo-code. The method is based on the systematization of the techniques of black box testing of boundary value analysis, equivalence partitioning, as well as the technique of orthogonal pairs. The method was applied to a B specification and B test machines that generate test cases independent of implementation language were generated. Aiming to validate the method, test cases were transformed manually in JUnit test cases and the application, created from the B specification and developed in Java, was tested. Faults were found with the execution of the JUnit test cases

Uma abordagem sistemática para implementação, gerenciamento e customização de testes de linhas de produto de software

Through the adoption of the software product line (SPL) approach, several benefits are achieved when compared to the conventional development processes that are based on creating a single software system at a time. The process of developing a SPL differs from traditional software construction, since it has two essential phases: the domain engineering - when common and variables elements of the SPL are defined and implemented; and the application engineering - when one or more applications (specific products) are derived from the reuse of artifacts created in the domain engineering. The test activity is also fundamental and aims to detect defects in the artifacts produced in SPL development. However, the characteristics of an SPL bring new challenges to this activity that must be considered. Several approaches have been recently proposed for the testing process of product lines, but they have been shown limited and have only provided general guidelines. In addition, there is also a lack of tools to support the variability management and customization of automated case tests for SPLs. In this context, this dissertation has the goal of proposing a systematic approach to software product line testing. The approach offers: (i) automated SPL test strategies to be applied in the domain and application engineering, (ii) explicit guidelines to support the implementation and reuse of automated test cases at the unit, integration and system levels in domain and application engineering; and (iii) tooling support for automating the variability management and customization of test cases. The approach is evaluated through its application in a software product line for web systems. The results of this work have shown that the proposed approach can help the developers to deal with the challenges imposed by the characteristics of SPLs during the testing process

Aplicação do método B ao projeto formal de software embarcado

This work shows a project method proposed to design and build software components from the software functional m del up to assembly code level in a rigorous fashion. This method is based on the B method, which was developed with support and interest of British Petroleum (BP). One goal of this methodology is to contribute to solve an important problem, known as The Verifying Compiler. Besides, this work describes a formal model of Z80 microcontroller and a real system of petroleum area. To achieve this goal, the formal model of Z80 was developed and documented, as it is one key component for the verification upto the assembly level. In order to improve the mentioned methodology, it was applied on a petroleum production test system, which is presented in this work. Part of this technique is performed manually. However, almost of these activities can be automated by a specific compiler. To build such compiler, the formal modelling of microcontroller and modelling of production test system should provide relevant knowledge and experiences to the design of a new compiler. In ummary, this work should improve the viability of one of the most stringent criteria for formal verification: speeding up the verification process, reducing design time and increasing the quality and reliability of the product of the final software. All these qualities are very important for systems that involve serious risks or in need of a high confidence, which is very common in the petroleum industry

El Programa Brasileño para el Fomento de las Exportaciones de Software: SOFTEX-2000

Incluye Bibliografía

CAN: Análisis de la Competitividad de los Países: programa computacional para evaluar y describir el medio competitivo internacional, versión 2.0, manual de uso = Competitive Analysis of Nations: software to evaluate and describe the international competitive environment, version 2.0, user's manual

Incluye Bibliografía

Associações das concentrações séricas de ácido úrico com as variáveis dietéticas, antropométricas e bioquímicas de adultos clinicamente selecionados para programa de mudança de estilo de vida

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