Estratégias comutativas para análise de confiabilidade em linha de produtos de software

Abstract

AgradecimentosÀ Isabela, minha amada esposa e amiga, sem a qual este trabalho não teria sido possível.Obrigado por compreender os momentos em que eu estive ausente e por me fazer parar de trabalhar, vez ou outra, para refrescar a cabeça.Aos meus pais, Valéria e Gilvan, e ao meu irmão, Miguel, pela conança que sempre depositaram em mim. Obrigado, especialmente, por me ensinarem a buscar respostas por mim mesmo e me motivarem, constantemente, a superar minhas próprias limitações.Ao meu orientador, Prof. Vander Alves, pela inestimável orientação ao longo do desenvolvimento deste trabalho e por me apresentar ao fantástico mundo das linhas de produtos. Obrigado por me estimular a explorar idéias interessantes, mesmo quando eu não via luz no m do túnel. Estendo os agradecimentos ao meu coorientador, Prof. Leopoldo Teixeira, pelas discussões sempre produtivas. Mais do que orientar, vocês participaram ativamente da pesquisa e me proporcionaram um aprendizado sem tamanho.Ao colega de orientação, André Lanna, por ter idealizado a ReAna e ter semeado a idéia de nossa linha de produtos de ferramentas de análise. Obrigado por compartilhar sua experiência acadêmica e suas dicas musicais.Aos professores Pierre-Yves Schobbens e Sven Apel, pelas revisões rigorosas e pelo feedback preciso. Suas contribuições para a consistência deste trabalho foram inestimáveis.Estendo os agradecimentos aos membros da banca examinadora, professores Alexandre Mota e Maurício Ayala-Rincón, pelas sugestões e críticas que contribuíram para o aprimoramento do trabalho.Ao Exército Brasileiro, pelas oportunidades ímpares de crescimento prossional. Agradeço, em particular: ao TC Alisson, amigo e mentor na engenharia de software; ao Cel Kohl, pela conança, pela paciência e por sempre advogar em prol da realização deste trabalho; ao Exmo. Sr. Gen Bráulio, por visualizar a importância do aperfeiçoamento acadêmico de seus subordinados e conar que eu me tornaria um bom mestre; ao Ricardo, que tentou durante muitos anos me convencer a prosseguir nos estudos acadêmicos (até que conseguiu); e a todos os demais amigos da Divisão de Comando e Controle, pela compreensão nos meus momentos de ausência e pela excelência prossionalvocês me inspiram a ser um engenheiro melhor a cada quantum de tempo arbitrariamente denido.