Data/hora: 16/06/2024 17:42:44

Biblioteca(s): | Embrapa Agricultura Digital; Embrapa Unidades Centrais.
Data corrente: | 09/08/1993
Data da última atualização: | 09/08/1993
Autoria: | EVANGELISTA, S. R. M.
Afiliação: | Embrapa-CNPTIA.
Título: | Abstração funcional de programas: uma contribuição ao entendimento do código fonte de um programa.
Ano de publicação: | 1992
Fonte/Imprenta: | 1992.
Páginas: | 208 f.
Idioma: | Português
Notas: | Dissertação (Mestrado em Engenharia Elétrica) - Faculdade de Engenharia Elétrica, Universidade Estadual de Campinas, Campinas.
Conteúdo: | Este trabalho tem por objetivo desenvolver e implementar um modelo para abstração funcional de programas, a qual e definida nesta pesquisa com a precisa determinação do efeito de um programa sobre as suas variáveis em todas as situações possíveis. O modelo de abstração funcional proposto e fundamentado na segmentação do programa alvo em termos de suas variáveis relevantes para abstração, na sua decomposição em primos, na simplificação algébrica dos comandos de decisão do programa, na execução simbólica e no uso das técnicas de "Trace-Table" e de resolução das relações de recorrência em interações. Este modelo de abstração é validado e consolidado através da implementação de uma ferramenta que utiliza o código fonte como única fonte de informação, gera uma forma intermediária do programa para facilitar a atividade de abstração,segmenta o programa em função de suas variáveis relevantes para abstração, decompõe o segmento encontrado em programas primos e sintetiza cada um dos primos. Este trabalho contribuiu para a definição de um modelo de abstração funcional promissor em relação ao seu potencial de automatização, bem como a sua aplicabilidade.
Palavras-Chave: | Abstração funcional de programa; Abstração Funcional- Processamento de Dado; Algorithm; Algoritmo; Data processing; Engenharia de Software.
Thesaurus Nal: | engineering.
Categoria do assunto: | --
Registro original: | Embrapa Agricultura Digital (CNPTIA)

Exemplares:

CNPTIA - (1682-1) - UPC - TS - -- -  -  - 1993.00003 - DIS
AI-SEDE - (1548-1) - EMB - TS - -- - 92/015 - EVA - 1992.00015 - DIS