A formally founded framework for dynamic software architectures
| Autores | Cavalcante, Everton Ranielly de Sousa | |
|---|---|---|
| Orientador | Batista, Thais Vasconcelos | |
| Data | 2016-06-10 | |
| Palavras-chave | Arquiteturas de software Linguagens de descrição arquitetural Reconfiguração dinâmica Verificação formal Lógica temporal Verificação estatística | |
| Citação | ||
| Resumo | ||
| Abstract | ||
| URI | https://repositorio.ufrn.br/jspui/handle/123456789/23763 | |
| Coleções | PPGSC - Doutorado em Sistemas e Computação |
|---|
Arquivos
Pacote Original
1 - 1 de 1
Carregando...
- Nome:
- EvertonRaniellyDeSousaCavalcante_TESE.pdf
- Tamanho:
- 7.62 MB
- Formato:
- Adobe Portable Document Format
Carregando...