Use este identificador para citar ou linkar para este item:
http://hdl.handle.net/1843/RVMR-7AAPEN| Tipo: | Dissertação de Mestrado |
| Título: | Uma linguagem de especificação formal orientada por aspectos |
| Autor(es): | Wagner Salazar Pires |
| Primeiro Orientador: | Roberto da Silva Bigonha |
| Primeiro membro da banca : | Vladimir Oliveira Di Iorio |
| Segundo membro da banca: | Elaine Gouvea Pimentel |
| Terceiro membro da banca: | Mariza Andrade da Silva Bigonha |
| 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. |
| Abstract: | 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. |
| Assunto: | Programação orientada a objetos (Computação) Software Desenvolvimento Computação |
| Idioma: | Português |
| Editor: | Universidade Federal de Minas Gerais |
| Sigla da Instituição: | UFMG |
| Tipo de Acesso: | Acesso Aberto |
| URI: | http://hdl.handle.net/1843/RVMR-7AAPEN |
| Data do documento: | 29-Jun-2007 |
| Aparece nas coleções: | Dissertações de Mestrado |
Arquivos associados a este item:
| Arquivo | Descrição | Tamanho | Formato | |
|---|---|---|---|---|
| wagnersalazarpires.pdf | 1.01 MB | Adobe PDF | Visualizar/Abrir |
Os itens no repositório estão protegidos por copyright, com todos os direitos reservados, salvo quando é indicado o contrário.