FORMALIZAÇÃO DA TRANSFORMAÇÃO DE MODELOS UTILIZANDO A LINGUAGEM Z
Documento
-
- Visão geral
-
- Pesquisas
-
- Identidade
-
- Ver todos
-
Visão geral
orientado por
produzido em
tipo
data de publicação
Pesquisas
áreas de investigação
palavras-chave
-
Arquitetura Dirigida a Modelos
-
Engenharia Dirigida a Modelos
-
Engenharia Dirigida por Modelos
-
Formalism
-
Linguagem Formal Z
-
Linguagem Z
-
Linguagens de modelagem
-
Métodos Formais
-
Teoria dos Conjuntos
-
Transformações de modelos
-
Z/EVES
Identidade
identificador BrCris
-
1e321138813a0a75b3f89b5e6a8bdcb3