Dependability verification for contextual/runtime goal modelling
保存先:
| 第一著者: | |
|---|---|
| 出版日付: | 2015 |
| フォーマット: | Master thesis |
| 言語: | por eng |
| ソース: | Repositório Institucional da UnB |
| DOI: | http://dx.doi.org/10.26512/2015.02.D.18158 |
| Download full: | http://repositorio.unb.br/handle/10482/18158 http://dx.doi.org/10.26512/2015.02.D.18158 |
要約: | Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2015. |
類似資料: 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