Browsing C3 - Centro de Ciências Computacionais by Author "Barbosa, Raquel de Miranda"
-
Usabilidade e emoções : um experimento com jogos digitais
Costa Júnior, Miguel Júlio Zinelli da (2017)O número de entusiastas por jogos digitais cresce de maneira significativa nos últimos anos, seja para fins de lazer, divertimento ou aprendizado de conteúdos. Assim como o aumento no número de jogadores, o investimento ... -
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 ...