Uma linguagem de especificação formal orientada por aspectos

AUTOR(ES)

Wagner Salazar Pires

DATA DE PUBLICAÇÃO

2007

RESUMO

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(S)

computação teses. software desenvolvimento teses. programação orientada a objetos (computação) teses.

Documentos Relacionados

• Proposta de mobilidade para protocolos H.323 e SIP em telefonia IP, utilizando linguagem de especificação formal SDL orientada a objetos
• Uma especificação formal e funcional de interconexão de redes DQDB/ATM para serviços com conexão não orientada
• Uma linguagem de especificação de aspectos para o desenvolvimento orientado a serviços
• Uma linguagem de especificação de aspectos para o desenvolvimento orientado a serviços
• Propostas de implementação de qualidade de serviço na arquitetura VPN MPLS, utilizando linguagem de especificação formal SDL orientada a objetos e análise de desempenho utilizando o simulador OPNET