Browsing by Author "Mota, Alexandre Cabral"
-
Usando CSP, RSL e o Modelo PopOrg na especificação formal de organizações de SMAs
Barbosa, Raquel de Miranda; Costa, Antonio Carlos da Rocha; Tedesco, Patrícia Cabral de Azevedo; Mota, Alexandre Cabral (2011)Este artigo explora o uso de métodos formais tradicionais de engenharia de software para a especificação formal de organizações de sistemas multiagentes. Particularmente são utilizadas as linguagens CSP (Communicating ...