Complementação com especificações informais de especificações formais geradas automaticamente

• Processo: 00/10278-6
• Modalidade de apoio: Bolsas no Brasil - Iniciação Científica
• Data de Início da vigência: 01 de novembro de 2000
• Data de Término da vigência: 30 de abril de 2002
• Área de conhecimento: Ciências Exatas e da Terra - Ciência da Computação - Metodologia e Técnicas da Computação
• Pesquisador responsável: José Celso Freire Junior
• Beneficiário: Fernando Celso Tomasi Marques
• Instituição Sede: Faculdade de Engenharia (FEG). Universidade Estadual Paulista (UNESP). Campus de Guaratinguetá. Guaratinguetá , SP, Brasil
• Assunto(s): Sistemas de informação
• Palavra(s)-Chave do Pesquisador: Especificacoes Heterogeneas | Ferramentas Case | Linguagem Uml

Resumo

O Projeto de Pesquisa proposto se insere em um Projeto de Pesquisa Jovem Pesquisador desenvolvido pelo orientador com auxílio da FAPESP (Processo N° 98/09576-0) intitulado, Modelagem Rigorosa de Sistemas de Informação. Neste projeto de pesquisa uma ferramenta CASE está sendo desenvolvida visando permitir a utilização de notações e raciocínios formais para completar, controlar e transformar representações semi-formais e informais com a finalidade de obtenção de modelos mais completos e rigorosos o que facilita a coordenação do processo de concepção. Assim, o Projeto de Pesquisa do bolsista tem como objetivo a introdução de novas características em um dos módulos já existentes da ferramenta CASE que está sendo desenvolvida no projeto de pesquisa do orientador com o objetivo de permitir a geração automática de especificações informais casadas às especificações formais geradas atualmente. (AU)