Uma Ferramenta Formal para Especificação e Análise de Arquiteturas de Software
Documento
-
- Visão geral
-
- Pesquisas
-
- Identidade
-
- Ver todos
-
Visão geral
membro de
orientado por
produzido em
tipo
data de publicação
Pesquisas
áreas de investigação
palavras-chave
-
Aplicação de sistemas transformacionais
-
Architecture Description Language
-
Engenharia de software
-
Formal Methods
-
Linguagens específicas de domínio
-
Lógica Equacional
-
Maude
-
Métodos formais
-
rewriting logic
Identidade
identificador BrCris
-
f046c24bad10dc48d35a76be9889c72d
identificador Oasisbr
-
UFF-2_0bf9c1e20c7049e439cb9fe1f6b20ea7