Este trabalho de pesquisa propõe uma abordagem de desenvolvimento para o Sistema de Gerência de Informações de Suporte ao Cliente de uma Indústria Aeronáutica, integrando as principais Tecnologias da Informação existentes e aplicando-as em fase do ciclo de desenvolvimento do software. Na fase de planejamento foi utilizada a metodologia da Engenharia da Informação, de James Martin; nas fases de análise e projeto adotou-se a metodologia da Análise e Projeto Orientados a Objetos, de James Rumbaugh e, finalmente, na fase de construção do sistema foram utilizados os Paradigmas da Prototipação e das Técncias de Quarta Geração da Engenharia de Software. Dentre as principais contribuições deste trabalho de pesquisa, encontram-se a modelagem, a documentação, a prototipação e a integração de diversas metodologias numa só abordagem de desenvolvimento de um Sistema de Gerência de Informações de Suporte ao Cliente, comprovando-se assim a validade da solução proposta. Dentre as principais constatações do autor durante a investigação realizada, encontram-se: a importância do papel que a integração de diversas Tecnologias da Informação vem desempenhando nos ambientes integrados de desenvolvimento de software neste final de século; e os conseqüentes reflexos caisados por esta integração de Tecnologia da Informação nos processos de gerência de desenvolvimento de software e de capacitação de recursos humanos, verificados especificamente neste trabalho de pesquisa no domínio da indústria aeronáutica brasileira.

Este trabalho de pesquisa propõe o projeto e desenvolvimento de um Modelo de Controle Formal (MCF) que propicie gerenciar riscos de projeto de software. Visa prover ao Gestor de Projetos, um mecanismo para identificar e controlar riscos que possam impactar negativamente nos objetivos do projeto, facilitando a tomada de decisão. O MCF desenvolvido contempla as Práticas Específicas (Specific Practices - SPs) do Modelo Integrado de Maturidade e de Capacidade para Desenvolvimento (Capability Maturity Model Integration for Development - CMMI-DEV) que abordam riscos de projeto de software. Foram identificados nove processos para representar os elementos contidos no MCF. Os processos definidos foram modelados utilizando uma Rede de Petri Colorida (Coloured Petri Net - CPN) e representaram a visão sistêmica deste trabalho de pesquisa. A ferramenta matemática e gráfica adotada permitiu um rastreamento minucioso e não ambíguo de cada etapa do sistema modelado. Elaborou-se um Instrumento de Inspeção que reuniu os elementos principais dos processos definidos no MCF, atuando como a visão semântica da Gestão de Riscos. O Instrumento de Inspeção foi mapeado para um protótipo de ferramenta denominada Risk Management Environment (RIMAE), tendo em vista os aspectos relacionados ao armazenamento, consulta, e interface com a organização no qual o estudo de caso foi realizado. O MCF foi aplicado em um projeto real, denominado Sistema de Navegação em Ambiente Linux (SINAL). Entre outras vantagens observadas neste trabalho de pesquisa, o uso do MCF fornece conhecimento pró-ativo e uma visão holística dos riscos para todos stakeholders envolvidos.