Software Validaaao
Mostrando 1-12 de 38 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. AvaliaÃÃo de Desempenho de uma Plataforma de Componentes Paralelos / Performance Evaluation of a Platform for Component-Based Parallel Programming
Reduzir a complexidade do software e permitir o desenvolvimento em larga escala de aplicaÃÃes voltados à ComputaÃÃo de Alto Desempenho (CAD) tem exigido o desenvolvimento de ferramentas com potencial capacidade de abstraÃÃo na construÃÃo de sistemas. As tecnologias que envolvem o desenvolvimento de componentes procuram alcanÃar esses requisitos, bu
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 07/10/2011
-
3. Variabilidade espacial de atributos fÃsicos e quÃmicos de um Latossolo argiloso correlacionados ao rendimento de grÃos da cultura do Crambe (Crambe abyssinica Hochst) / Spatial variability of physical and chemical attributes of a clayey oxisol correlated to grain yield of crop Crambe (Crambe abyssinica Hochst)
O objetivo deste trabalho foi verificar, com auxÃlio de mapas temÃticos obtidos atravÃs da interpolaÃÃo por krigagem, a existÃncia de correlaÃÃo de atributos fÃsicos e quÃmicos com a produtividade da cultura do crambe (Crambe abyssinica Hochst) em Latossolo argiloso sob sistema de plantio direto. Para tanto, conduziu-se a pesquisa em Ãrea experime
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 13/07/2011
-
4. InferÃncia do Estado Geral da Umidade Superficial do Solo Pelo Ãndice de Seca Temperatura-VegetaÃÃo e por Imagens do SatÃlite NOAA-17: AplicaÃÃes no SemiÃrido do Cearà / Inference of the General State of the Surface Soil Moisture by the Temperature-Vegetation Dryness Index and NOAA-17 Satellite Images: Applications in Semiarid CearÃ
A observaÃÃo da superfÃcie terrestre por meio de satÃlites em Ãrbita de nosso planeta tornou-se corriqueira no mundo contemporÃneo. As inferÃncias de variÃveis ambientais diversas feitas a partir de imagens e dados fornecidos por satÃlites cada vez mais aumentam em qualidade e aplicabilidade de maneira que um nÃmero crescente de hidrologistas, mete
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 17/12/2010
-
5. AplicaÃÃes da SeqÃÃncia Fedathi no ensino e aprendizagem da Geometria mediada por tecnologias digitais / Aplicattion of Sequence Fedathi the teaching and learning of Geometry from digital technologies.
Este trabalho trata do ensino e da aprendizagem da MatemÃtica, tendo a SequÃncia Fedathi e as tecnologias digitais como eixos centrais das reflexÃes. Teve como objetivo geral analisar influÃncias da SequÃncia Fedathi no ensino e aprendizagem da Geometria, com o software Cabri-GÃomÃtre. O estudo apresenta aspectos acerca: da DidÃtica Geral e da Matem�
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 14/06/2010
-
6. Cumprimento da terapia com antidiabÃticos orais em usuÃrios da rede bÃsica de Fortaleza-Cearà / Therapy compliance with oral antidiabetic drugs in public health system clients from Fortaleza-CearÃ
O nÃo cumprimento do regime medicamentoso, por parte dos usuÃrios com Diabetes Mellitus tipo 2 (DM 2), Ã um dos principais problemas encontrados para a manuntenÃÃo do equilÃbrio glicÃmico e, consenquentemente, prevenÃÃo das complicaÃÃes micro e macrovasculares do DM 2. O estÃgio desse problema e a melhor forma para detectÃ-lo ainda nÃo estÃo d
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 04/12/2009
-
7. RiPLE-EM: a process to manage evolution in software product lines
Reuso de software à um aspecto chave para organizaÃÃes interessadas em obter melhorias de produtividade, qualidade e reduÃÃo de custos. Linhas de Produto de Software à uma abordagem de reÃso de software que provou seus benefÃcios em diferentes contextos industriais (Weiss et al., 2006). Em termos de evoluÃÃo, uma linha de produtos à um conjunto em
Publicado em: 2009
-
8. Um processo para gestÃo de contratos de aquisiÃÃo de serviÃos de desenvolvimento de software na administraÃÃo pÃblica
A aquisiÃÃo de serviÃos de Tecnologia da InformaÃÃo (TI) pela AdministraÃÃo PÃblica (AP) se faz necessÃria para a melhoria do atendimento à sociedade e ao cidadÃo. Nos serviÃos de desenvolvimento de software sÃo necessÃrios mÃtodos de gerenciamento de seus processos. Para o setor pÃblico tambÃm se faz necessÃrio o atendimento a requisitos l
Publicado em: 2009
-
9. Estudo do retorno das aÃÃes das empresas brasileiras de energia elÃtrica : uma anÃlise comparativa utilizando os modelos CAPM, Fama e French e quatro - fatores de Carhart
Este trabalho tem como objetivo precÃpuo realizar anÃlise do retorno das aÃÃes de empresas do setor energÃtico brasileiros negociadas na Bolsa de Valores de SÃo Paulo (Bovespa), no perÃodo de 1999 a 2007, testando empiricamente e comparando os modelos CAPM, Fama e French e 4 fatores de Carhart (1997). Para tanto, foi realizada, inicialmente, investiga
Publicado em: 2009
-
10. Estudo teÃrico-computacional por via CFD e experimental da combustÃo do gÃs natural para tratamento de efluentes orgÃnicos lÃquidos aplicando a nova tecnologia DICTT
A remediaÃÃo dos efluentes lÃquidos orgÃnicos oriundos dos processos da indÃstria quÃmica e PetroquÃmica à de suma importÃncia para a reduÃÃo dos impactos ambientais e a proteÃÃo da saÃde humana. O presente trabalho de pesquisa apresenta um novo e moderno processo de tratamento por oxidaÃÃo termoquÃmica em fase aquosa por contato direto, vis
Publicado em: 2009
-
11. Barramento de serviÃos federados para integraÃÃo federativa de sistemas distribuÃdos / Barramento de serviÃos federados para integraÃÃo federativa de sistemas distribuÃdos Federated service bus to federative integration of distributed systems
Esta dissertaÃÃo apresenta uma proposta de middleware de comunicaÃÃo baseado em Enterprise Service Bus (ESB) para sistemas federados, isto Ã, formados por sistemas de diferentes organizaÃÃes. Este trabalho nÃo aborda o problema clÃssico de sistemas federados, cujo enfoque principal à autenticaÃÃo e a seguranÃa, mas sim uma necessidade crescente
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 20/02/2008
-
12. Framework para sistemas hipertexto na Web.
A Ãrea de estudo relacionada aos sistemas Hipertexto recebe atenÃÃo especial nestes Ãltimos tempos motivada pelo crescimento da Internet, mas ainda assim à difÃcil encontrar na literatura uma arquitetura de software que permita ao software ser reutilizÃvel, flexÃvel e escalÃvel. O principal objetivo desta tese à prover esta arquitetura modular reut
Publicado em: 2008