Semântica de ações orientada a objetos

Detalhes bibliográficos
Ano de defesa: 2002
Autor(a) principal: Carvilhe, Cláudio Ricardo Vieira
Orientador(a): Musicante, Martin Alejandro
Banca de defesa: Não Informado pela instituição
Tipo de documento: Dissertação
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: Não Informado pela instituição
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Palavras-chave em Português:
Linguagem de programação (Computadores) - Semântica
Programação orientada a objetos (Computação)
Ciência da Computação
Link de acesso: https://hdl.handle.net/1884/78491
Resumo: Orientador: Prof. Martin Musicante
id UFPR_477101717f320f2bb4098580f220a826
oai_identifier_str oai:acervodigital.ufpr.br:1884/78491
network_acronym_str UFPR
network_name_str Repositório Institucional da UFPR
repository_id_str
spelling Universidade Federal do Paraná. Setor de Ciências Exatas. Programa de Pós-Graduação em InformáticaMusicante, Martin AlejandroCarvilhe, Cláudio Ricardo Vieira2024-10-21T19:05:26Z2024-10-21T19:05:26Z2002https://hdl.handle.net/1884/78491Orientador: Prof. Martin MusicanteDissertação (mestrado) - Universidade Federal do Paraná, Setor de Ciências Exatas, Curso de Pós-Graduação em InformáticaInclui referências: p. 88-90Resumo: Neste trabalho apresentamos a Semântica de Ações Orientada a Objetos, uma nova forma de tratar alguns dos problemas relacionados ao reuso e extensão de especificações de linguagens de programação em Semântica de Ações. A partir da análise de métodos para a divisão da especificação formal em partes, propomos uma forma de organizar as especificações, baseada em uma hierarquia de classes de objetos. Os objetos, que determinam a semântica das frases da linguagem, podem ser reutilizados e adequados a novas especificações de linguagens. Uma nova notação é definida e sua semântica é apresentada. Finalmente, um estudo de caso é elaborado, considerando a especificação formal de uma linguagem imperativa simples. Este estudo nos permite avaliar a abordagem proposta.Abstract: In this paper we present Object-Oriented Action Semantics, as a means for handling some problems related to reuse and extension of Action Semantics specifications. Based on the analysis of formal specification parts division methods, we propose a way to organize specifications based on a class hierarchy. Objects that define languages sentences semantics can be reused and applied in new language specifications. A new notation is defined and its semantics is presented. Finally, a case study is shown by considering a small imperative language formal specification. This case study allows us to assess our proposal.104 p. : il.application/pdfDisponível em formato digitalLinguagem de programação (Computadores) - SemânticaProgramação orientada a objetos (Computação)Ciência da ComputaçãoSemântica de ações orientada a objetosinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisporreponame:Repositório Institucional da UFPRinstname:Universidade Federal do Paraná (UFPR)instacron:UFPRinfo:eu-repo/semantics/openAccessORIGINALD - CLAUDIO RICARDO VIEIRA CARVILHE.pdfapplication/pdf2665731https://acervodigital.ufpr.br/bitstream/1884/78491/1/D%20-%20CLAUDIO%20RICARDO%20VIEIRA%20CARVILHE.pdf97b76a5d92a68a0a2f884be05ddec4fbMD51open access1884/784912024-10-21 16:05:26.967open accessoai:acervodigital.ufpr.br:1884/78491Repositório InstitucionalPUBhttp://acervodigital.ufpr.br/oai/requestinformacaodigital@ufpr.bropendoar:3082024-10-21T19:05:26Repositório Institucional da UFPR - Universidade Federal do Paraná (UFPR)false
dc.title.pt_BR.fl_str_mv Semântica de ações orientada a objetos
title Semântica de ações orientada a objetos
spellingShingle Semântica de ações orientada a objetos
Carvilhe, Cláudio Ricardo Vieira
Linguagem de programação (Computadores) - Semântica
Programação orientada a objetos (Computação)
Ciência da Computação
title_short Semântica de ações orientada a objetos
title_full Semântica de ações orientada a objetos
title_fullStr Semântica de ações orientada a objetos
title_full_unstemmed Semântica de ações orientada a objetos
title_sort Semântica de ações orientada a objetos
author Carvilhe, Cláudio Ricardo Vieira
author_facet Carvilhe, Cláudio Ricardo Vieira
author_role author
dc.contributor.other.pt_BR.fl_str_mv Universidade Federal do Paraná. Setor de Ciências Exatas. Programa de Pós-Graduação em Informática
dc.contributor.advisor1.fl_str_mv Musicante, Martin Alejandro
dc.contributor.author.fl_str_mv Carvilhe, Cláudio Ricardo Vieira
contributor_str_mv Musicante, Martin Alejandro
dc.subject.por.fl_str_mv Linguagem de programação (Computadores) - Semântica
Programação orientada a objetos (Computação)
Ciência da Computação
topic Linguagem de programação (Computadores) - Semântica
Programação orientada a objetos (Computação)
Ciência da Computação
description Orientador: Prof. Martin Musicante
publishDate 2002
dc.date.issued.fl_str_mv 2002
dc.date.accessioned.fl_str_mv 2024-10-21T19:05:26Z
dc.date.available.fl_str_mv 2024-10-21T19:05:26Z
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 https://hdl.handle.net/1884/78491
url https://hdl.handle.net/1884/78491
dc.language.iso.fl_str_mv por
language por
dc.relation.pt_BR.fl_str_mv Disponível em formato digital
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv 104 p. : il.
application/pdf
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFPR
instname:Universidade Federal do Paraná (UFPR)
instacron:UFPR
instname_str Universidade Federal do Paraná (UFPR)
instacron_str UFPR
institution UFPR
reponame_str Repositório Institucional da UFPR
collection Repositório Institucional da UFPR
bitstream.url.fl_str_mv https://acervodigital.ufpr.br/bitstream/1884/78491/1/D%20-%20CLAUDIO%20RICARDO%20VIEIRA%20CARVILHE.pdf
bitstream.checksum.fl_str_mv 97b76a5d92a68a0a2f884be05ddec4fb
bitstream.checksumAlgorithm.fl_str_mv MD5
repository.name.fl_str_mv Repositório Institucional da UFPR - Universidade Federal do Paraná (UFPR)
repository.mail.fl_str_mv informacaodigital@ufpr.br
_version_ 1847526199936417792

Registros relacionados