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

Detalhes bibliográficos
Autor(a) principal: Evangelista, Silvio Roberto Medeiros
Data de Publicação: 1992
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
Texto Completo: https://hdl.handle.net/20.500.12733/1579651
Resumo: Orientadores: Beatriz Mascia Daltrini, Fuad Gattaz Sobrinho
id UNICAMP-30_bbcd7e682983cbe25fe74f0478215ec9
oai_identifier_str oai::53695
network_acronym_str UNICAMP-30
network_name_str Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
repository_id_str
spelling Abstração funcional de programas : uma contribuição ao entendimento do codigo fonte de um programaAutomaçãoEngenharia de sistemasEngenharia elétricaOrientadores: Beatriz Mascia Daltrini, Fuad Gattaz SobrinhoDissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia EletricaResumo: 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 aplicabilidadeAbstract: Not informed.MestradoAutomaçãoMestre em Engenharia Elétrica[s.n.]Daltrini, Beatriz Mascia, 1947-Universidade Estadual de Campinas. Faculdade de Engenharia ElétricaPrograma de Pós-Graduação em Engenharia ElétricaUNIVERSIDADE ESTADUAL DE CAMPINASEvangelista, Silvio Roberto Medeiros19921992-11-13T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdf[216]f. : il.(Broch.)https://hdl.handle.net/20.500.12733/1579651EVANGELISTA, 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: https://hdl.handle.net/20.500.12733/1579651. Acesso em: 14 mai. 2024.https://repositorio.unicamp.br/acervo/detalhe/53695Publicação FEEporreponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)instname:Universidade Estadual de Campinas (UNICAMP)instacron:UNICAMPinfo:eu-repo/semantics/openAccess2014-04-18T00:21:50Zoai::53695Biblioteca Digital de Teses e DissertaçõesPUBhttp://repositorio.unicamp.br/oai/tese/oai.aspsbubd@unicamp.bropendoar:2014-04-18T00:21:50Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)false
dc.title.none.fl_str_mv Abstração funcional de programas : uma contribuição ao entendimento do codigo fonte de um programa
title Abstração funcional de programas : uma contribuição ao entendimento do codigo fonte de um programa
spellingShingle Abstração funcional de programas : uma contribuição ao entendimento do codigo fonte de um programa
Evangelista, Silvio Roberto Medeiros
Automação
Engenharia de sistemas
Engenharia elétrica
title_short Abstração funcional de programas : uma contribuição ao entendimento do codigo fonte de um programa
title_full Abstração funcional de programas : uma contribuição ao entendimento do codigo fonte de um programa
title_fullStr Abstração funcional de programas : uma contribuição ao entendimento do codigo fonte de um programa
title_full_unstemmed Abstração funcional de programas : uma contribuição ao entendimento do codigo fonte de um programa
title_sort Abstração funcional de programas : uma contribuição ao entendimento do codigo fonte de um programa
author Evangelista, Silvio Roberto Medeiros
author_facet Evangelista, Silvio Roberto Medeiros
author_role author
dc.contributor.none.fl_str_mv Daltrini, Beatriz Mascia, 1947-
Universidade Estadual de Campinas. Faculdade de Engenharia Elétrica
Programa de Pós-Graduação em Engenharia Elétrica
UNIVERSIDADE ESTADUAL DE CAMPINAS
dc.contributor.author.fl_str_mv Evangelista, Silvio Roberto Medeiros
dc.subject.por.fl_str_mv Automação
Engenharia de sistemas
Engenharia elétrica
topic Automação
Engenharia de sistemas
Engenharia elétrica
description Orientadores: Beatriz Mascia Daltrini, Fuad Gattaz Sobrinho
publishDate 1992
dc.date.none.fl_str_mv 1992
1992-11-13T00:00:00Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv (Broch.)
https://hdl.handle.net/20.500.12733/1579651
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: https://hdl.handle.net/20.500.12733/1579651. Acesso em: 14 mai. 2024.
identifier_str_mv (Broch.)
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: https://hdl.handle.net/20.500.12733/1579651. Acesso em: 14 mai. 2024.
url https://hdl.handle.net/20.500.12733/1579651
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv https://repositorio.unicamp.br/acervo/detalhe/53695
Publicação FEE
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
[216]f. : il.
dc.publisher.none.fl_str_mv [s.n.]
publisher.none.fl_str_mv [s.n.]
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
instname:Universidade Estadual de Campinas (UNICAMP)
instacron:UNICAMP
instname_str Universidade Estadual de Campinas (UNICAMP)
instacron_str UNICAMP
institution UNICAMP
reponame_str Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
collection Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)
repository.mail.fl_str_mv sbubd@unicamp.br
_version_ 1799138298349748224

Registros relacionados