Ambiente computacional para avaliação de especificações

• Processo: 97/00494-9
• Modalidade de apoio: Auxílio à Pesquisa - Regular
• Data de Início da vigência: 01 de julho de 1997
• Data de Término da vigência: 30 de junho de 1999
• Área do 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: João Batista Camargo Júnior
• Instituição Sede: Escola Politécnica (EP). Universidade de São Paulo (USP). São Paulo , SP, Brasil
• Assunto(s): Ambientes de programação Especificação de sistemas e programas Sistemas de controle
• Palavra(s)-Chave do Pesquisador: Completeza | Qualidade | Seguranca | Statecharts

Resumo

O projeto de pesquisa aqui proposto visa o desenvolvimento de um Ambiente Computacional integrando o Modelamento das Especificações de Sistemas, realizado através da notação denominada "Statecharts", com a Avaliação da Completeza destas especificações, realizada através de critérios bem definidos e executados sobre as mesmas. A aplicação deste ambiente computacional tem o objetivo de melhorar a segurança em sistemas de controle crítico. (AU)