Antzeko izenburuak: Dependability verification for contextual/runtime goal modelling
- Integrating data mining into contextual goal modeling to tackle context uncertaintiesat design time
- Uma abordagem dirigida a modelo para a geração de casos de teste baseada na detecção de cenários implícitos
- Análise do impacto de cenários implícitos na confiabilidade de sistemas computacionais
- RVSec : Runtime verification methods for high precision detection of cryptography API misuse
- Characterization of implied scenarios as families of Common Behavior
- An architecture to support control theoretical-based verification of goal-oriented adaptation engines