TCC - Analise de SOFT

2 Metodologia
Para realizar análise de risco de projetos, é proposto um framework analítico através de uma especi_cação formal baseada em lógica dos fatores de risco de um projeto. Esse modelo é uma extensão de uma metodologia de_nida para análise de risco em projetos de software, apresentada na Seção 2.1. A extensão é realizada através da criação de uma especi_cação formal que pode ter propriedades validadas através de um veri_cador de modelos, que é apresentado na Seção 2.2. Com este novo método é possível a avaliação das consequências de um fator de risco em outro, bem como a simulação de diversos cenários hipotéticos para análise de risco. Na Seção 2.3 está a especi_cação do modelo proposto em uma linguagem formal, com as relações entre as entidades do modelo.
2.1 Análise de Risco
Gerenciamento de risco é uma disciplina de gerência de projetos que possui como meta identi_car, analisar e tratar fatores de risco. Para isto, é utilizado um conjunto de princípios e práticas para aumentar a chance de se ter como resultado um projeto bem sucedido. Esta é a disciplina com menor grau de maturidade nas empresas das quatro áreas de_nidas pelo
Instituto de Gerenciamento de Projetos (Committee 2008). 75% dos gerentes de projeto não praticam qualquer forma detalhada de gerência de riscos e entendem apenas vagamente os conceitos relacionados a essa disciplina, bem como suas conseqüências (Bakker et al.
2009).
Para responder o questionamento de que se realizar análise de risco em projetos de software aumenta de fato o sucesso dos projetos, Bakker et al. (Bakker et al. 2009) realizaram uma revisão da literatura. O primeiro problema atacado nesta pesquisa foi de_nir o que é o sucesso na execução de um projeto de software. A de_nição clássica de sucesso em projetos consiste em uma simples comparação entre o que foi planejado, considerando cronograma, orçamento e requisitos, e o que foi entregue. Considerando esta avaliação, estima-se que pouco mais de