Uma linguagem de especificação formal orientada por aspectos

Página do item simplificado
dc.creatorWagner Salazar Pires
dc.date.accessioned2019-08-10T01:08:29Z
dc.date.accessioned2025-09-09T00:28:03Z
dc.date.available2019-08-10T01:08:29Z
dc.date.issued2007-06-29
dc.description.abstractThe 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.
dc.identifier.urihttps://hdl.handle.net/1843/RVMR-7AAPEN
dc.languagePortuguês
dc.publisherUniversidade Federal de Minas Gerais
dc.rightsAcesso Aberto
dc.subjectProgramação orientada a objetos (Computação)
dc.subjectSoftware Desenvolvimento
dc.subjectComputação
dc.subject.otherlinguagens de programação
dc.subject.otherorientada por aspectos
dc.titleUma linguagem de especificação formal orientada por aspectos
dc.typeDissertação de mestrado
local.contributor.advisor1Roberto da Silva Bigonha
local.contributor.referee1Vladimir Oliveira Di Iorio
local.contributor.referee1Elaine Gouvea Pimentel
local.contributor.referee1Mariza Andrade da Silva Bigonha
local.description.resumoMá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.
local.publisher.initialsUFMG

Arquivos

Pacote original

Agora exibindo 1 - 1 de 1
Imagem de Miniatura
Nome:
wagnersalazarpires.pdf
Tamanho:
1014.64 KB
Formato:
Adobe Portable Document Format
Baixar

Coleções

Pós-Graduação em Ciência da Computação - Dissertações

Logo UFMG