Browsing C3 - Centro de Ciências Computacionais by Subject "Teste e avaliação de software"
-
Testabilidade de sistemas multiagentes organizados usando o modelo Moise : uma abordagem com Redes de Petri
(2018)Os Sistemas Multiagentes (SMA) possuem propriedades que dificultam prever completamente seus comportamentos. Para limitar comportamentos atípicos, modelos organizacionais, como o Moise, podem ser empregados para especificar ...