Abstração funcional de programas : uma contribuição ao entendimento do codigo fonte de um programa
Silvio Roberto Medeiros Evangelista
DISSERTAÇÃO
Português
(Broch.)
T/UNICAMP Ev14a
Campinas, SP : [s.n.], 1992.
[216]f. : il.
(Publicação FEE)
Orientadores: Beatriz Mascia Daltrini, Fuad Gattaz Sobrinho
Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica
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 é...
Ver mais
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 Ver menos
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 Ver menos
Abstract: Not informed.
Abstração funcional de programas : uma contribuição ao entendimento do codigo fonte de um programa
Silvio Roberto Medeiros Evangelista
Abstração funcional de programas : uma contribuição ao entendimento do codigo fonte de um programa
Silvio Roberto Medeiros Evangelista
Exemplares
Nº de exemplares: 2
Não existem reservas para esta obra