Please use this identifier to cite or link to this item: http://repositorio.unicamp.br/jspui/handle/REPOSIP/261309
Type: DISSERTAÇÃO
Degree Level: Mestrado
Title: Abstração funcional de programas : uma contribuição ao entendimento do codigo fonte de um programa
Author: Evangelista, Silvio Roberto Medeiros
Advisor: Daltrini, Beatriz Mascia, 1947-
Abstract: Resumo: Este trabalho tem por objetivo desenvolver e implementar um modelo para abstraçao funcional de programas, a qual é definida nesta pesquisa como 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 é 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 iteraçues. 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 primos e sintetiza cada um dos primos,segmento encontrado em programas 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 à sua aplicabilidade

Abstract: Not informed.
Subject: Automação
Engenharia de sistemas
Engenharia elétrica
Language: Português
Editor: [s.n.]
Date Issue: 1992
Appears in Collections:FEEC - Tese e Dissertação

Files in This Item:
File SizeFormat 
Evangelista_SilvioRobertoMedeiros_M.pdf10.52 MBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.