A manutenção de software tem consumido mais de 50% do esforço de desenvolvimento e até 90% do ciclo de vida de um software. Localizar e corrigir defeitos após a entrega de um software apresenta frequentemente custos elevados em relação às fases anteriores do projeto. A predição de defeitos tem atraído crescente interesse na indústria e na comunidade científica. Uma das abordagens adotadas vem sendo utilização de métricas de produto de software, obtidas através de análise estática de código, como insumos para predição de manutenção corretiva. Neste contexto, diversas técnicas de predição têm sido propostas e utilizadas, baseadas em técnicas estatísticas de regressão e de aprendizado de máquina. Entretanto, a grande variedade de métricas de software e técnicas tem dificultado a adoção da prática de predição de defeitos em projetos reais, por exigirem conhecimento especializado e elevado esforço de investigação. Neste trabalho de pesquisa, é investigado, concebido, implementado e verificado um framework, denominado EARLY-FIX, para predição de manutenção corretiva de software, utilizando métricas de produto. O EARLY-FIX representa a principal contribuição desta pesquisa e endereça problemas enfrentados para obtenção das informações necessárias para predição de defeitos em projetos de software desenvolvidos com processos iterativos. O EARLY-FIX compõe-se de métodos de medição e de calibração que permitem sua execução automatizada, possibilitando sua implementação em projetos de forma transparente e não-intrusiva. O EARLY-FIX envolve ainda modelos de indicadores preditivos que visam a identificação de módulos com maior propensão a manutenções corretivas. Desta forma, os indicadores fornecem insumos para priorização de atividades de qualidade, como inspeção, refatoração e testes. Finalmente, realiza-se a implementação e a verificação do EARLY-FIX em uma análise histórica, considerando dois projetos da indústria desenvolvidos segundo o paradigma Orientado a Objetos. Comparações entre os modelos gerados por cinco técnicas de regressão estatística estão entre os principais resultados obtidos nesta pesquisa.

A História tem mostrado, ao longo dos séculos, como a guerra tem sido o exame dos povos, tornando-se um ponto crítico de decisão para os envolvidos Tal importância, associada à complexidade do mundo moderno e aos orçamentos cada vez menores em todos os países tem tornado fundamental o emprego de simulações e, em particular, de Jogos de Guerra. Essa necessidade também se aplica às Forças Armadas brasileiras e, em especial, à Força Aérea Brasileira (FAB), a qual carece de sistemas de jogos de guerra apropriados à sua atual doutrina de emprego para os níveis Operacional e Estratégico. Assim, o problema endereçado neste trabalho de pesquisa foi o de dotar a FAB de uma sistemática apropriada para o desenvolvimento de sistemas de jogos de guerra voltados ao treinamento das atividades de Comando e Controle nos níveis de decisão Estratégico e Operacional. A solução investigada foi adaptar o Processo Unificado para o desenvolvimento de Sistemas de Jogos de Guerra para a FAB, voltados ao treinamento das atividades de Comando e Controle nos níveis de decisão Estratégico e Operacional, a fim de melhorar a sua eficácia operacional e reduzir o desperdício dos recursos envolvidos.O processo resultante passou a integrar, num primeiro nível, conceitual, o desenvolvimento orientado a objetos e os elementos de Jogos de Guerra de Perla. No segundo nível, implementacional, volta-se à aplicação da lógica nebulosa nos eventos em Jogos de Guerra.

A UML (Unified Modeling Language) é uma linguagem de modelagem para especificar, construir e documentar artefatos de sistemas de software. A UML-RT, usada pela ferramenta Rational Rose RealTime (RoseRT), é uma extensão da UML que permite a modelagem de sistemas de tempo real distribuídos e guiados por evento. A UML-RT não possui semântica formal, logo não é possível realizar verificação formal do modelo. O presente trabalho propõe o mapeamento dos elementos de comunicação da UML-RT para a álgebra de processos p-calculus, a fim de prover semântica formal à UML-RT. Com objetivo de automatizar o mapeamento, foi desenvolvido um protótipo de tradutor que captura o modelo UML-RT especificado na ferramenta RoseRT e determina suas definições p-calculus. As definições p-calculus geradas utilizam a sintaxe da gramática do HAL-JACK, que é uma ferramenta integrada para verificação e análise de sistemas expressos em p-calculus, assim as definições p-calculus podem ser submetidas ao HAL-JACK para verificação formal de propriedades. Este trabalho detalha o mapeamento UML-RT para p-calculus, descreve o protótipo desenvolvido e apresenta alguns exemplos do mapeamento do modelo UML-RT para definições p-calculus.

Este trabalho de pesquisa propõe uma Estrutura para o Apoio a Detecção de Conflitos de Tráfego Aéreo em Rotas, com base no conceito CNS/ATM (Comunication, Navigation and Surveillance/Air Traffic Management), integrando o uso de técnicas, ferramentas e procedimentos de Engenharia de Software. Foram pesquisadas informações relacionadas ao sistema atual de controle de tráfego aéreo, com o objetivo de verificar quais eram as inovações propostas pelo CNS/ATM em relação ao sistema atual, auxiliando o autor na identificação das principais funcionalidades da estrutura proposta. Foi seguida uma metodologia de desenvolvimento baseada em técnicas de programação orientada a objetos denominada RUP (Rational Unified Process), composta pelas seguintes fases:Iniciação - responsável pela identificação inicial dos requisitos e funcionamento da estrutura;Elaboração - responsável pelo detalhamento das funcionalidades encontradas na fase de Iniciação;Construção - responsável pelo desenvolvimento da estrutura proposta;Transição - responsável pela entrega do produto final ao usuário.Testes, através de cenários, foram realizados com a estrutura desenvolvida, baseando-se nos modelos criados a partir dos requisitos, proporcionando a verificação e validação dos diversos conflitos detectados pela estrutura junto às funcionalidades e regras impostas por profissionais da área de controle de tráfego aéreo. Além desses testes envolvendo conflitos específicos, outros relacionados à quantidade de aeronaves suportadas pela estrutura, foram realizados. Dentre as principais contribuições deste trabalho de pesquisa, encontram-se a documentação, a modelagem, a prototipação, a simulação de conflitos de tráfego aéreo, a adaptação das funcionalidades de controle de tráfego aéreo atual ao CNS/ATM, a padronização de procedimentos para a detecção de conflitos em rota e o aumento da segurança em vôo proporcionada pela estrutura. Dentre as principais conclusões durante a pesquisa realizada encontram-se: a importância do FANS (Future Air Navigation System) no controle de fluxo de tráfego devido ao aumento previsto para os próximos anos, a importância no emprego de sistemas de posicionamento global, o compartilhamento de informações através da rede ATN (Aeronautical Telecommunications Network), a segurança proporcionada por simuladores na identificação antecipada de conflitos e o grande auxílio proporcionado por técnicas de orientação a objeto e pela metodologia RUP apoiada por ferramentas CASE (Computer Aided Software Engineering).

O principal objetivo deste trabalho é modelar e implementar a aplicação de Gerenciamento de Contexto, padronizada pela ICAO, utilizando um sistema baseado na arquitetura Common Object Request Broker Architecture (CORBA) para disponibilizar as aplicações que um aeroporto pode oferecer para um avião. Através do uso da Unified Modeling Language (UML) é demonstrado o processo de modelagem do software, utilizando uma abordagem orientada a objetos. Neste trabalho ainda é feita uma descrição do CORBA e de sua implementação feita pela Universidade de Washington, junto com os testes de desempenho. Estes testes foram feitos em duas arquiteturas de rede, em que a velocidade de transmissão e os computadores possuíam capacidade de processamento diferentes.