Use este identificador para citar o ir al link de este elemento:
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 |
| primer Tutor: | Roberto da Silva Bigonha |
| primer miembro del tribunal : | Vladimir Oliveira Di Iorio |
| Segundo miembro del tribunal: | Elaine Gouvea Pimentel |
| Tercer miembro del tribunal: | Mariza Andrade da Silva Bigonha |
| Resumen: | 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. |
| Asunto: | Programação orientada a objetos (Computação) Software Desenvolvimento Computação |
| Idioma: | Português |
| Editor: | Universidade Federal de Minas Gerais |
| Sigla da Institución: | UFMG |
| Tipo de acceso: | Acesso Aberto |
| URI: | http://hdl.handle.net/1843/RVMR-7AAPEN |
| Fecha del documento: | 29-jun-2007 |
| Aparece en las colecciones: | Dissertações de Mestrado |
archivos asociados a este elemento:
| archivo | Descripción | Tamaño | Formato | |
|---|---|---|---|---|
| wagnersalazarpires.pdf | 1.01 MB | Adobe PDF | Visualizar/Abrir |
Los elementos en el repositorio están protegidos por copyright, con todos los derechos reservados, salvo cuando es indicado lo contrario.