Verificação Baseada em Contexto da Linguagem de Especificação de Regras L-FORUM
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
-
Autômatos Finitos
-
Engenharia da Linguagem
-
Engenharia de Linguagem
-
Engenharia de Requisitos
-
Linguagem de Especificação
-
Verificação
-
ambientes colaborativos
Identidade
identificador BrCris
-
97bb0db342bffed048118992530c2afd
identificador Capes
-
2010533007012009P9-Publication