Verificacao De Programa Computadores
Mostrando 1-12 de 17 artigos, teses e dissertações.
-
1. Modelagem numérica de estruturas de concreto armado utilizando o programa ATENA. / Numerical modelling of reinforcement concrete structures using the program ATENA.
Com o avanço tecnológico dos computadores e o desenvolvimento de soluções para problemas não lineares através do método dos elementos finitos, hoje é possível fazer uma análise mais complexa e mais próxima da realidade. É de extrema importância à verificação dos resultados obtidos pelos programas com a realidade e saber em quais casos esses m
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 16/12/2011
-
2. Modelagem e verificação formal do software embarcado de um simulador de satélite
Este trabalho tem como objetivo a análise da aplicação de métodos formais para a modelagem e verificação de produtos de software embarcado para aplicações aeroespaciais de tempo-real. Como abordagem para modelagem, utilizam-se autômatos temporizados e a ferramenta UPPAAL. A verificação do modelo construído é realizada por meio da abordagem de mo
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 14/12/2011
-
3. Métodos formais algébricos para geração de invariantes / Algebraic formal methods for invariant generation
É bem sabido que a automação e a eficácia de métodos de verificação formal de softwares, sistemas embarcados ou sistemas híbridos, depende da facilidade com que invariantes precisas possam ser geradas automaticamente a partir do código fonte. Uma invariante é uma propriedade, especificada sobre um local específico do código fonte, e que sempre se
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 12/08/2011
-
4. Contribuições do model checking e da metodologia CoFi para o software embarcado espacial.
A crescente participação do software embarcado nas causas dos últimos acidentes espaciais evidencia a importância dos processos e técnicas de verificação e validação no desenvolvimento do software embarcado espacial. Neste contexto, este trabalho investiga a contribuição de duas técnicas de verificação para aplicações espaciais. A primeira t�
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 11/02/2011
-
5. Contribuições do model checking e da metodologia CoFi para o software embarcado espacial.
A crescente participação do software embarcado nas causas dos últimos acidentes espaciais evidencia a importância dos processos e técnicas de verificação e validação no desenvolvimento do software embarcado espacial. Neste contexto, este trabalho investiga a contribuição de duas técnicas de verificação para aplicações espaciais. A primeira t�
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 11/02/2011
-
6. Verificação da aplicabilidade do programa MAFMO como ferramenta auxiliar na estimativa de custos em projetos conceituais
Os empreendimentos em mineração são frequentemente classificados como de elevado fator de risco econômico por associarem características de investimentos elevados, com longo tempo de preparação e com certo grau de incertezas no que se refere a reservas geológicas ou caracterização tecnológica do minério. Portanto, é imperativo que a continuidade
Publicado em: 2010
-
7. Muse : um ambiente para modelagem de aplicações multimidia interativas com tradutor para e-lotos / MUSE: an interactive multimedia applications specification environment with translator to e-LOTOS
É notável o avanço da utilização de aplicações multimídia nos diversos setores da atividade humana. Independente da área, seja ela educação ou entretenimento, a possibilidade de agregar recursos dinâmicos como áudio e vídeo aos já largamente utilizados como texto e imagem acarreta em benefícios aos usuários destas aplicações. Além disso,
Publicado em: 2010
-
8. Programação funcional usando Java / Functional programming using Java
Desde a introdução da World Wide Web para o mundo nos inícios de 1990, usando a Internet como uma rede para transferir dados, empregando uma forma de expressão chamada de Hipertexto, a qual liga as informações relacionadas e combinadas com multimídia, os Webs resultantes têm aberto novas possibilidades de expressão e comunicação. A quantidade de t
Publicado em: 2010
-
9. A efetividade de um programa ergonômico em idosos ativos usuários da informática
Introdução: Conjuntamente com o crescimento demográfico da população idosa, há um avanço tecnológico, percebido também pelo maior uso de computadores nos diversos segmentos sociais e para as mais diferentes aplicações. Por essa razão, é imprescindível que o indivíduo idoso seja inserido nesse contexto de avanço tecnológico. No entanto, o adv
Publicado em: 2007
-
10. Especificação de uma rede MPLS fim-a-fim com diferenciação de serviços
O protocolo proposto nesta Tese, denominado Resource Reservation Protocol Switched Virtual Connection (RSVP-SVC), que consiste numa extensão do RSVP-TE, vai de encontro ao surgimento de novas aplicações multimídia, que usam a Internet como meio de interconexão. Tais aplicações pressionam pelo desenvolvimento de novas tecnologias, tais como: MPLS, Diff
Publicado em: 2006
-
11. Otimização em loops no Projeto Xingo / Loops optimization for Xingo Project
As otimizações implementadas em compiladores proporcionam uma melhora significativa de desempenho dos programas. Em muitos casos, proporcionam também a redução do tamanho do programa. Quase todos os programas em produção são compilados com diretivas de otimização, para obter máximo desempenho.Para o estudo de novas técnicas de otimização, faz-s
Publicado em: 2005
-
12. TECHNIQUES FOR THE USE OF HOARE LOGIC IN PCC / TÉCNICAS PARA O USO DO CÁLCULO DE HOARE EM PCC
Atualmente, a maioria dos programas para computadores é obtida através da WEB. Como muitas vezes a procedência são fontes desconhecidas, é preciso se certificar de que o código se comporta como o esperado. A solução ideal seria verificar o código contra uma especificação de políticas de segurança ,contudo, isso pode consumir muito tempo.Uma outr
Publicado em: 2003