Please use this identifier to cite or link to this item:
http://hdl.handle.net/1843/RVMR-7AAPEN| Type: | Dissertação de Mestrado |
| Title: | Uma linguagem de especificação formal orientada por aspectos |
| Authors: | Wagner Salazar Pires |
| First Advisor: | Roberto da Silva Bigonha |
| First Referee: | Vladimir Oliveira Di Iorio |
| Second Referee: | Elaine Gouvea Pimentel |
| Third Referee: | Mariza Andrade da Silva Bigonha |
| Abstract: | 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. |
| Subject: | Programação orientada a objetos (Computação) Software Desenvolvimento Computação |
| language: | Português |
| Publisher: | Universidade Federal de Minas Gerais |
| Publisher Initials: | UFMG |
| Rights: | Acesso Aberto |
| URI: | http://hdl.handle.net/1843/RVMR-7AAPEN |
| Issue Date: | 29-Jun-2007 |
| Appears in Collections: | Dissertações de Mestrado |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| wagnersalazarpires.pdf | 1.01 MB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.