Abstração funcional de programas : uma contribuição ao entendimento do codigo fonte de um programa

• Main Author: Evangelista, Silvio Roberto Medeiros
• Other Authors: UNIVERSIDADE ESTADUAL DE CAMPINAS
• Format: Others
• Language: Portuguese
• Published: [s.n.] 1992
• Subjects: Automação; Engenharia de sistemas; Engenharia elétrica
• Online Access: EVANGELISTA, Silvio Roberto Medeiros. Abstração funcional de programas: uma contribuição ao entendimento do codigo fonte de um programa. 1992. [216]f. Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica, Campinas, SP. Disponível em: <http://www.repositorio.unicamp.br/handle/REPOSIP/261309>. Acesso em: 17 jul. 2018.; http://repositorio.unicamp.br/jspui/handle/REPOSIP/261309

Orientadores: Beatriz Mascia Daltrini, Fuad Gattaz Sobrinho === Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica === Made available in DSpace on 2018-07-17T07:56:35Z (GMT). No. of bitstreams: 1 Evangelista_SilvioRobertoMedeiros_M.pdf: 10772327 bytes, checksum: 1478c0ba60ef062037c510a980fa9ca3 (MD5) Previous issue date: 1992 === 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. === Mestrado === Automação === Mestre em Engenharia Elétrica