Buscas alternativas:
specification programming » application programming (Expandir a busca), specific programming (Expandir a busca), application programing (Expandir a busca)
formal specification » formal verification (Expandir a busca)
parallel formal » parallel fiscal (Expandir a busca)
Mostrando 1 - 3 resultados de 3 para a busca 'parallel formal specification programming', tempo de busca: 0,20s

1

Assuntos: “...Formal methods...”

Contratos formais para derivação e verificação de componentes paralelos

Publicado em 2012
Acessar documento
Dissertação

2

Assuntos: “...Algebraic specification...”

Lop : uma abordagem unificada de especificação algébrica, orientação a objetos e processos

Publicado em 1995
Acessar documento
Tese

3

“... do GASC é baseada em características de outras linguagens de programação e de especificação formal...”

UM GERADOR DE APLICACOES PARA SISTEMAS CONCORRENTES COM UTILIZACAO DE FERRAMENTAS FORMAIS.

Publicado em 1996
Acessar documento
Dissertação