Verificaaao E Validaaao
Mostrando 1-12 de 20 artigos, teses e dissertações.
-
1. PRECISE - Um processo de verificaÃÃo formal para modelos de caracterÃsticas de aplicaÃÃes mÃveis e sensÃveis ao contexto / PRECISE - A Formal Verification Process for Feature Models for Mobile and Context-Aware Applications
As LPSs, alÃm do seu uso em aplicaÃÃes tradicionais, tÃm sido utilizadas no desenvolvimento de aplicaÃÃes que executam em dispositivos mÃveis e sÃo capazes de se adaptarem sempre que mudarem os elementos do contexto em que estÃo inseridas. Essas aplicaÃÃes, ao sofrerem alteraÃÃes devido a mudanÃas no seu ambiente de execuÃÃo, podem sofrer ada
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 27/08/2012
-
2. AcurÃcia de escalas de avaliaÃÃo de risco para Ãlcera por pressÃo em pacientes crÃticos / Accuracy of scales for assessement of risk for pressure ulcer patients in critical
A Ãlcera por pressÃo (UP) à uma manifestaÃÃo clÃnica frequente em pacientes de Unidade de Terapia Intensiva (UTI) e reflexo indireto da assistÃncia dos profissionais de saÃde. O surgimento de UP em pacientes crÃticos està relacionado com maiores gastos, tempo de internamento e complicaÃÃes clÃnicas, portanto, predizer quais os sujeitos mais vuln
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 27/11/2009
-
3. PatrimÃnio cultural e autenticidade: montagem de um sistema de indicadores para o monitoramento
Nos Ãltimos quarenta e cinco anos, uma noÃÃo vem sendo continuamente discutida no Ãmbito da conservaÃÃo do patrimÃnio cultural: a de autenticidade. Mesmo com os avanÃos alcanÃados no sentido de construir entendimentos mais substanciais para o conceito e como deve ser realizada sua verificaÃÃo, Ã ainda latente a necessidade de maiores aprofundamen
Publicado em: 2009
-
4. Modelagem e anÃlise do software embarcado de piloto automÃtico de um VANT.
Entre as principais dificuldades do desenvolvimento de software de qualidade està a especificaÃÃo e o projeto conceitual. Neste contexto, a modelagem de sistemas tem um papel importante, pois torna possÃvel a anÃlise das caracterÃsticas do projeto e sua validaÃÃo antes da fase de implementaÃÃo. Esta tese aborda o problema de modelagem e anÃlise do
Publicado em: 2007
-
5. "Development of decision support system for diagnosis of citrus diseases, pests, and abiotics factors." / âDesenvolvimento de um sistema de apoio à decisÃo para a diagnose de doenÃas, pragas e distÃrbios abiÃticos dos citrosâ
A produtividade mÃdia na citricultura à de 22 t/ha, considerada baixa se comparada com outros paÃses produtores. Entre os fatores responsÃveis por essa produtividade estÃo principalmente, Ãs doenÃas e Ãs pragas. O diagnÃstico preciso e confiÃvel à fundamental para o controle das doenÃas, alÃm de evitar aplicaÃÃes desnecessÃrias de defensivos
Publicado em: 2007
-
6. Um protÃtipo de sistema especialista para detecÃÃo e resoluÃÃo de conflitos no seqÃenciamento de aeronaves.
Este trabalho de pesquisa concentra-se no desenvolvimento de um sistema de apoio a decisÃo para o gerenciamento de fluxo de trÃfego aÃreo entre aeronaves em rota, que iniciarÃo procedimentos de Chegada utilizando Rotas PadrÃo em Ãrea Terminal (Standard Terminal Arrival Routes - STAR). O sistema baseia-se no conceito de ComunicaÃÃo, NavegaÃÃo e Vigi
Publicado em: 2006
-
7. Implantation of the Pharmaceutical Equivalence Center of the Clinical Pharmacology Unit of UFC / ImplantaÃÃo do Centro de EquivalÃncia FarmacÃutica da Unidade de Farmacologia ClÃnica - UFC
A consolidaÃÃo do mercado de medicamentos genÃricos no Brasil representa importante estratÃgia governamental, uma vez que significarà maior acesso da populaÃÃo aos medicamentos. A Lei n 9.787, de 10 de fevereiro de 1999, estabeleceu as bases legais para a instituiÃÃo do medicamento genÃrico no PaÃs. Os laboratÃrios de equivalÃncia farmacÃutic
Publicado em: 2006
-
8. DeterminaÃÃo do Ãndice de disponibilidade de umidade para a RegiÃo Oeste do ParanÃ
O presente trabalho teve como objetivo comparar os modelos de estimativa de EvapotranspiraÃÃo de ReferÃncia (ETo) Gama, Lognormal, e o modelo de distribuiÃÃo generalizada de valores extremos (GEV), calculada atravÃs do modelo de Camargo, na regiÃo Oeste do Paranà e determinar o Ãndice de Disponibilidade de Umidade â IDU. Os dados climÃticos foram
Publicado em: 2006
-
9. FitoterÃpico: perfil fitoquÃmico, controle e validaÃÃo da metodologia analÃtica
O presente trabalho determina o perfil cromatogrÃfico das plantas utilizadas na produÃÃo do fitoterÃpico ROBUSTERINA. Tal produto à constituÃdo por Berberis vulgaris L, Gossypium herbaceum L. e Viburnum opulus L. As cascas da raiz de B. vulgaris sÃo empregadas como tÃnico amargo e para litÃase biliar. As cascas da raiz e sementes de G. herbaceum tÃ
Publicado em: 2005
-
10. Qualidade Ãgil de Software
Com a necessidade de se ter metodologias que facilitassem a produÃÃo de software para que fossem evitados a baixa qualidade, os atrasos, bem como os gastos excessivos, foram introduzidos diversos padrÃes e processos de desenvolvimento de software. PorÃm, em alguns casos houve uma preocupaÃÃo excessiva em relaÃÃo aos papÃis exercidos, documentaÃÃo
Publicado em: 2005
-
11. TÃcnicas de roteamento para um problema de alocaÃÃo de transporte: estudo em um serviÃo de assistÃncia a portadores de necessidades especiais.
Este trabalho apresenta o desenvolvimento de uma aplicaÃÃo utilizando tÃcnicas de roteamento para auxiliar a resoluÃÃo do problema de alocaÃÃo de vans para transporte de pessoas com necessidades especiais. As tÃcnicas de roteamento sÃo baseadas no Problema de Roteamento de VeÃculos - PRV envolvendo restriÃÃes como capacidade do veÃculo, janela d
Publicado em: 2005
-
12. Uma Disciplina de AnÃlise e Projeto para AplicaÃÃes Concorrentes, baseada no RUP
O desenvolvimento crescente de sistemas concorrentes e de tempo real vem provocando uma evoluÃÃo nos conceitos e paradigmas da Engenharia de Software. Recentemente, entre outras abordagens, destacamos o surgimento de UML-RT, visando adaptar e estender as estruturas jà consagradas de UML para os conceitos de concorrÃncia e tempo real. Complementarmente, j
Publicado em: 2005