Desenvolvimento de uma ferramenta de apoio à revisão formal distribuída de software

• Processo: 11/22077-0
• Modalidade de apoio: Bolsas no Brasil - Iniciação Científica
• Data de Início da vigência: 01 de abril de 2012
• Data de Término da vigência: 31 de outubro de 2012
• Área de conhecimento: Ciências Exatas e da Terra - Ciência da Computação - Metodologia e Técnicas da Computação
• Pesquisador responsável: Rogério Eduardo Garcia
• Beneficiário: Camila Miyuki de Sousa
• Instituição Sede: Faculdade de Ciências e Tecnologia (FCT). Universidade Estadual Paulista (UNESP). Campus de Presidente Prudente. Presidente Prudente , SP, Brasil
• Assunto(s): Engenharia de software Desenvolvimento de software
• Palavra(s)-Chave do Pesquisador: desenvolvimento distribuído de software | Revisão Técnica Formal | Engenharia de Software

Resumo

O processo de desenvolvimento de software encontra novos desafios gerados por um ambiente que tem como destaque a globalização dos negócios. Cada vez mais distribuído e global, o processo se torna mais complexo e dependente de tecnologias utilizadas como apoio à comunicação e ao gerenciamento do processo por Stakeholders e integrantes da equipe de desenvolvimento geograficamente distribuídos. Com isso, o desenvolvimento distribuído de software precisa de novas soluções para problemas antigos e novos da Engenharia de Software. No presente projeto é proposto o desenvolvimento de uma ferramenta para apoiar uma atividade específica do processo de desenvolvimento - as revisões técnicas formais de software - em especial as tarefas relacionadas ao gerenciamento dessa atividade. Para isso, faz-se necessário a utilização de tecnologias atuais que possibilitem a comunicação globalmente. (AU)