Dependability verification for contextual/runtime goal modelling

Míreanna comhchosúla

• Integrating data mining into contextual goal modeling to tackle context uncertaintiesat design time
  de réir: Farias, Arthur José Rodrigues
  Foilsithe / Cruthaithe: (2017)
• Uma abordagem dirigida a modelo para a geração de casos de teste baseada na detecção de cenários implícitos
  de réir: Reis, Thiago Peixoto dos
  Foilsithe / Cruthaithe: (2015)
• Análise do impacto de cenários implícitos na confiabilidade de sistemas computacionais
  de réir: Roriz, Alexandre Vaz
  Foilsithe / Cruthaithe: (2015)
• RVSec : Runtime verification methods for high precision detection of cryptography API misuse
  de réir: Torres, Adriano Rodrigues Figueiredo
  Foilsithe / Cruthaithe: (2022)
• Characterization of implied scenarios as families of Common Behavior
  de réir: Melo, Caio Batista de
  Foilsithe / Cruthaithe: (2018)