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 transforma…