Auxílio no desenvolvimento do ambiente computacional para avaliação de especificação

• Processo: 97/04658-6
• Modalidade de apoio: Bolsas no Brasil - Iniciação Científica
• Data de Início da vigência: 01 de agosto de 1997
• Data de Término da vigência: 31 de julho de 1999
• Área de conhecimento: Ciências Exatas e da Terra - Ciência da Computação - Metodologia e Técnicas da Computação
• Pesquisador responsável: João Batista Camargo Júnior
• Beneficiário: Rogerio Yugo Takimoto
• Instituição Sede: Escola Politécnica (EP). Universidade de São Paulo (USP). São Paulo , SP, Brasil
• Assunto(s): Segurança de redes Especificação de sistemas e programas
• Palavra(s)-Chave do Pesquisador: Completeza | Qualidade | Seguranca | Statecharts

Resumo

Este projeto de pesquisa faz parte de um Projeto Global de Auxílio a Pesquisa cujo pedido a FAPESP corresponde ao processo número 97/00494-9, como título de "Ambiente Computacional para Avaliação de Especificações". O projeto de pesquisa aqui proposto visa auxílio na Implementação do Subsistema de Apoio à Especificação. A aplicação deste subsistema visa melhorar a segurança em sistemas de controle crítico em geral. (AU)