Formal architectural model for exception handling coordination

• Processo: 07/08199-0
• Modalidade de apoio: Auxílio à Pesquisa - Reunião - Brasil
• Data de Início da vigência: 16 de março de 2008
• Data de Término da vigência: 20 de março de 2008
• Área do conhecimento: Ciências Exatas e da Terra - Ciência da Computação - Sistemas de Computação
• Pesquisador responsável: Ana Cristina Vieira de Melo
• Beneficiário: Ana Cristina Vieira de Melo
• Instituição Sede: Instituto de Matemática e Estatística (IME). Universidade de São Paulo (USP). São Paulo , SP, Brasil
• Assunto(s): Engenharia de software Teste e avaliação de software
• Palavra(s)-Chave do Pesquisador: Componentes de Software | Teste de Software | Verificação Formal | engenharia de software