Modelagem rigorosa de sistemas de informação

• Processo: 98/09576-0
• Modalidade de apoio: Auxílio à Pesquisa - Jovens Pesquisadores
• Data de Início da vigência: 01 de junho de 1999
• Data de Término da vigência: 30 de junho de 2001
• Área do 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: José Celso Freire Junior
• Instituição Sede: Faculdade de Engenharia (FEG). Universidade Estadual Paulista (UNESP). Campus de Guaratinguetá. Guaratinguetá , SP, Brasil
• Assunto(s): Linguagens formais Sistemas de informação
• Palavra(s)-Chave do Pesquisador: Especificacoes Heterogeneas | Ferramentas Case | Linguagens Formais | Modelagem De Sistemas Informac
• Publicação FAPESP: https://media.fapesp.br/bv/uploads/pdfs/Investindo...pesquisadores_224_177_178.pdf

Resumo

O presente trabalho versa sobre a estruturação de um editor hipertexto que permita a construção de documentos de especificação de sistemas de informação levando em consideração três diferentes tipos de modelagens: a modelagem semiformal, caracterizada basicamente por modelos gráficos, a modelagem informal, caracterizada pela utilização da linguagem natural e a modelagem formal, caracterizada pela utilização de uma linguagem de especificação formal. (AU)