Verificaaao De Programas Computadores
Mostrando 1-4 de 4 artigos, teses e dissertações.
-
1. Um estudo sobre refatoraÃÃo de cÃdigo de teste.
A tÃcnica de Desenvolvimento Orientado a Testes - DOT à uma tÃcnica Ãgil para se desenvolver software, em que os testes de unidade vÃo sendo desenvolvidos antes das classes da aplicaÃÃo. Essa tÃcnica à executada em pequenos ciclos, entre os quais a refatoraÃÃo do cÃdigo, apoiada pelos testes de unidade, à uma tÃcnica com um papel crucial para o
Publicado em: 2005
-
2. 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
-
3. Um arcabouÃo para conexÃes de componentes de software.
Em Engenharia de Software (ES), o Desenvolvimento Baseado em Componentes (DBC) vem se destacando como uma abordagem favorÃvel ao reuso. Entretanto, mesmo apÃs o advento do DBC, a ES continua enfrentando dificuldades relacionadas com a substituiÃÃo e o reuso de componentes, provocadas pelo alto acoplamento de suas conexÃes. Esta pesquisa endereÃa uma da
Publicado em: 2004
-
4. Modelagem teÃrica e automatizaÃÃo de processo de conformaÃÃo de junÃÃes em tubos metÃlicos de parede fina.
A presente tese aborda duas modelagens teÃricas para a conformaÃÃo de JunÃÃes em "T" em tubos metÃlicos de parede fina, utilizando elastÃmeros. Enquanto um modelo utiliza a teoria do Limite Superior (Upper Bound Theory), outra emprega o mÃtodo dos blocos (Slab Method) conjugado com a teoria de cascas. Em ambas as tÃcnicas a previsÃo da carga de con
Publicado em: 1998