Mostrando 1 - 20 resultados de 4.216 para a busca '(("formu" OR "forma") OR "formal")', tempo de busca: 0,16s

2

Assuntos: ...Métodos Formais...

Transformando modelos Scade em especificações SCR

Publicado em 2016
Dissertação

4

8

Assuntos: ...Linguagens formais - Semântica...

Condicionais contrafatuais e contrapossíveis

Dissertação

11

Assuntos: ...Métodos Formais...

Mapeando CSP em UML-RT

Dissertação

14

Assuntos: ...Especificação formal...

Joker: um realizador de desenhos animados para linguagens formais

Publicado em 2011
Dissertação

16

Assuntos: ...Linguagens formais - Semântica...

Conectivos flexíveis : uma abordagem categorial às semânticas de traduções possíveis

Publicado em 2008
Dissertação

19

Assuntos: ...Educação Científica e Cultural; Espaços Formais e Não Formais de Ensino; Educação Básica; Recursos...

CENTRO DE PESQUISAS GENEALÓGICAS NA QUARTA COLÔNIA, RS, BRASIL: UM ESPAÇO CIENTÍFICO-CULTURAL PARA O ENSINO NA EDUCAÇÃO BÁSICA

Publicado em 2021
Dissertação

20

Assuntos: ...Métodos Formais...

A rigorous methodology for developing GUI-based DSL formal tools

Publicado em 2013
Dissertação