Towards software architecture formalization
| Autores | Dias, Fagner Morais | |
|---|---|---|
| Orientador | Oliveira, Marcel Vinicius Medeiros | |
| Editor | Universidade Federal do Rio Grande do Norte | |
| Data | 2023-06-13 | |
| Palavras-chave | Software architecture description Formal verification CSP SysADL Descrição de arquitetura de software Verificação formal | |
| Citação | ||
| Resumo | ||
| Abstract | ||
| URI | https://repositorio.ufrn.br/handle/123456789/52908 | |
| Coleções | CCET - TCC - Engenharia de Software |
|---|
Arquivos
Pacote Original
1 - 1 de 1
Nenhuma Miniatura disponível
- Nome:
- TowardsSoftwareArchitecture_Dias_2023.pdf
- Tamanho:
- 4.67 MB
- Formato:
- Adobe Portable Document Format
Nenhuma Miniatura disponível
Licença do Pacote
1 - 1 de 1
Nenhuma Miniatura disponível
- Nome:
- license.txt
- Tamanho:
- 1.45 KB
- Formato:
- Item-specific license agreed upon to submission
Nenhuma Miniatura disponível