Rsl Formal Specification
Mostrando 1-1 de 1 artigos, teses e dissertações.
-
1. Especificação formal de organizações de sistemas multiagentes / Formal specification of multiagent systems organizations
A abordagem de sistemas multiagentes tem sido cada vez mais utilizada para o desenvolvimento de sistemas complexos, o que despertou o interesse das pesquisas na área de engenharia de software orientada a agentes (AOSE) e modelos organizacionais. Neste contexto, esta tese estuda a aplicabilidade de alguns métodos formais tradicionais de engenharia de softwa
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 2011