IStar4RationalAgents: Modeling requirements of multi-agent systems with rational agents

E Gonçalves, J Araujo, J Castro - … , ER 2019, Salvador, Brazil, November 4 …, 2019 - Springer
Multi-agent systems (MAS) involve a wide variety of agents that interact with each other to
achieve their goals. Usually, the agents in a MAS can be reactive or proactive, this choice …

Desenvolvimento de uma extensão da linguagem de modelagem iStar para Sistemas Críticos de Segurança–iStar4Safety

SMS Ribeiro - 2019 - bdtd.ibict.br
Sistemas Críticos de Segurança (do inglês, Safety-Critical Systems-SCS) são
caracterizados por serem sistemas que caso falhem ou não se comportem como esperado …

[PDF][PDF] iStar4Safety: Uma Extensão de iStar para Modelagem de Requisitos de Segurança em Sistemas Críticos.

M Ribeiro, J Castro, J Vilela, J Pimentel - WER, 2019 - wer.inf.puc-rio.br
Contexto: Sistemas Críticos de Segurança são caracterizados por serem sistemas que caso
falhem ou não se comportem como esperado, podem levar à danos ou até perdas de vidas …