Desenvolvimento de Sistemas TINA Utilizando a Linguagem de Especificação Formal SDL com Geração Automática de Código JAVA.
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
-
Especificação Formal
-
JAVA
-
SDL
-
TINA
Identidade
identificador BrCris
-
1b966433720bda71ce2ee373dd196fbf
identificador Capes
-
20011743633003017021P3-Publication
identificador Oasisbr
-
UNICAMP-30_e2b3ec1057d86c8aca15499141eec46f