Metodos e ferramentas para apoio ao desenvolvimento de software.

• Processo: 95/07555-8
• Modalidade de apoio: Auxílio à Pesquisa - Regular
• Data de Início da vigência: 01 de dezembro de 1996
• Data de Término da vigência: 30 de novembro de 1998
• Área do conhecimento: Ciências Exatas e da Terra - Ciência da Computação - Metodologia e Técnicas da Computação
• Pesquisador responsável: Paulo Cesar Masiero
• Beneficiário: Paulo Cesar Masiero
• Instituição Sede: Instituto de Ciências Matemáticas e de Computação (ICMC). Universidade de São Paulo (USP). São Carlos , SP, Brasil
• Assunto(s): Manutenção de software Engenharia reversa Engenharia de software
• Palavra(s)-Chave do Pesquisador: Engenharia De Software | Engenharia Reversa | Manutencao De Software | Modelador De Hipertexto | Teste E Validacao

Resumo

Este projeto engloba pesquisas em andamento, conduzidas pelo grupo de Engenharia de Software do ICMSC/USP. As pesquisas são relativas ao uso de análise de mutantes para teste e validação de sistemas reativos e concorrentes, construção de um modelo de hiperdocumentos baseado em statecharts, visando ao desenvolvimento de um gerenciador de hipertextos dinâmicos e engenharia reversa orientada a objetos, bem como pesquisas na área de manutenção de software. (AU)