Abstração funcional de programas : uma contribuição ao entendimento do codigo fonte de um programa
Autor(a) principal: | |
---|---|
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 (UNICAMP). 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: 2 set. 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 (UNICAMP). 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: 2 set. 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: 2 set. 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_ |
1809188749080264704 |