Uma linguagem de especificação formal orientada por aspectos

Detalhes bibliográficos
Autor(a) principal: Wagner Salazar Pires
Data de Publicação: 2007
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Repositório Institucional da UFMG
Texto Completo: http://hdl.handle.net/1843/RVMR-7AAPEN
Resumo: Máquinas de Estado Abstratas oferecem um mecanismo poderoso e de fácil utilização para especificação formal da semântica de algoritmos. A Linguagem AspectM incrementa esta metodologia com a capacidade de modularizar interesses transversais. AspectM é uma linguagem de especificação formal orientada por aspectos que reúne as vantagens existentes em uma especificação formal, como a descrição precisa dos requisitos do sistema, a partir da qual podem ser realizadas verificações, e as vantagens da programação orientada por aspectos, como a modularização de interesses transversais.
id UFMG_7750b22d6d8192bf2cfbc13bc44502e2
oai_identifier_str oai:repositorio.ufmg.br:1843/RVMR-7AAPEN
network_acronym_str UFMG
network_name_str Repositório Institucional da UFMG
repository_id_str
spelling Roberto da Silva BigonhaVladimir Oliveira Di IorioElaine Gouvea PimentelMariza Andrade da Silva BigonhaWagner Salazar Pires2019-08-10T01:08:29Z2019-08-10T01:08:29Z2007-06-29http://hdl.handle.net/1843/RVMR-7AAPENMáquinas de Estado Abstratas oferecem um mecanismo poderoso e de fácil utilização para especificação formal da semântica de algoritmos. A Linguagem AspectM incrementa esta metodologia com a capacidade de modularizar interesses transversais. AspectM é uma linguagem de especificação formal orientada por aspectos que reúne as vantagens existentes em uma especificação formal, como a descrição precisa dos requisitos do sistema, a partir da qual podem ser realizadas verificações, e as vantagens da programação orientada por aspectos, como a modularização de interesses transversais.The Abstract State Machines methodology offers a powerful, easy-to-use mechanism to formally specify the semantics of algorithms. The AspectM language adds to it the modularized crosscutting concern capability. AspectM is an aspect oriented formal specification language that unifies the well known benefits of formal specification, such as rigorous requirement description, from which verification and validation can be carried out, and the improved modularity provided by aspect oriented programming, such as separation of concerns.Universidade Federal de Minas GeraisUFMGProgramação orientada a objetos (Computação)Software DesenvolvimentoComputaçãolinguagens de programaçãoorientada por aspectosUma linguagem de especificação formal orientada por aspectosinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisinfo:eu-repo/semantics/openAccessporreponame:Repositório Institucional da UFMGinstname:Universidade Federal de Minas Gerais (UFMG)instacron:UFMGORIGINALwagnersalazarpires.pdfapplication/pdf1038992https://repositorio.ufmg.br/bitstream/1843/RVMR-7AAPEN/1/wagnersalazarpires.pdfb2525521f21323f36283f5b8a8a98e90MD51TEXTwagnersalazarpires.pdf.txtwagnersalazarpires.pdf.txtExtracted texttext/plain383122https://repositorio.ufmg.br/bitstream/1843/RVMR-7AAPEN/2/wagnersalazarpires.pdf.txt3e208b45df33f5ee3cba18265bddd9ffMD521843/RVMR-7AAPEN2019-11-14 06:38:21.481oai:repositorio.ufmg.br:1843/RVMR-7AAPENRepositório de PublicaçõesPUBhttps://repositorio.ufmg.br/oaiopendoar:2019-11-14T09:38:21Repositório Institucional da UFMG - Universidade Federal de Minas Gerais (UFMG)false
dc.title.pt_BR.fl_str_mv Uma linguagem de especificação formal orientada por aspectos
title Uma linguagem de especificação formal orientada por aspectos
spellingShingle Uma linguagem de especificação formal orientada por aspectos
Wagner Salazar Pires
linguagens de programação
orientada por aspectos
Programação orientada a objetos (Computação)
Software Desenvolvimento
Computação
title_short Uma linguagem de especificação formal orientada por aspectos
title_full Uma linguagem de especificação formal orientada por aspectos
title_fullStr Uma linguagem de especificação formal orientada por aspectos
title_full_unstemmed Uma linguagem de especificação formal orientada por aspectos
title_sort Uma linguagem de especificação formal orientada por aspectos
author Wagner Salazar Pires
author_facet Wagner Salazar Pires
author_role author
dc.contributor.advisor1.fl_str_mv Roberto da Silva Bigonha
dc.contributor.referee1.fl_str_mv Vladimir Oliveira Di Iorio
dc.contributor.referee2.fl_str_mv Elaine Gouvea Pimentel
dc.contributor.referee3.fl_str_mv Mariza Andrade da Silva Bigonha
dc.contributor.author.fl_str_mv Wagner Salazar Pires
contributor_str_mv Roberto da Silva Bigonha
Vladimir Oliveira Di Iorio
Elaine Gouvea Pimentel
Mariza Andrade da Silva Bigonha
dc.subject.por.fl_str_mv linguagens de programação
orientada por aspectos
topic linguagens de programação
orientada por aspectos
Programação orientada a objetos (Computação)
Software Desenvolvimento
Computação
dc.subject.other.pt_BR.fl_str_mv Programação orientada a objetos (Computação)
Software Desenvolvimento
Computação
description Máquinas de Estado Abstratas oferecem um mecanismo poderoso e de fácil utilização para especificação formal da semântica de algoritmos. A Linguagem AspectM incrementa esta metodologia com a capacidade de modularizar interesses transversais. AspectM é uma linguagem de especificação formal orientada por aspectos que reúne as vantagens existentes em uma especificação formal, como a descrição precisa dos requisitos do sistema, a partir da qual podem ser realizadas verificações, e as vantagens da programação orientada por aspectos, como a modularização de interesses transversais.
publishDate 2007
dc.date.issued.fl_str_mv 2007-06-29
dc.date.accessioned.fl_str_mv 2019-08-10T01:08:29Z
dc.date.available.fl_str_mv 2019-08-10T01:08:29Z
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 http://hdl.handle.net/1843/RVMR-7AAPEN
url http://hdl.handle.net/1843/RVMR-7AAPEN
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.publisher.none.fl_str_mv Universidade Federal de Minas Gerais
dc.publisher.initials.fl_str_mv UFMG
publisher.none.fl_str_mv Universidade Federal de Minas Gerais
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFMG
instname:Universidade Federal de Minas Gerais (UFMG)
instacron:UFMG
instname_str Universidade Federal de Minas Gerais (UFMG)
instacron_str UFMG
institution UFMG
reponame_str Repositório Institucional da UFMG
collection Repositório Institucional da UFMG
bitstream.url.fl_str_mv https://repositorio.ufmg.br/bitstream/1843/RVMR-7AAPEN/1/wagnersalazarpires.pdf
https://repositorio.ufmg.br/bitstream/1843/RVMR-7AAPEN/2/wagnersalazarpires.pdf.txt
bitstream.checksum.fl_str_mv b2525521f21323f36283f5b8a8a98e90
3e208b45df33f5ee3cba18265bddd9ff
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
repository.name.fl_str_mv Repositório Institucional da UFMG - Universidade Federal de Minas Gerais (UFMG)
repository.mail.fl_str_mv
_version_ 1801676806436159488

Registros relacionados