Buscas alternativas:
automatic programming » automatic diagramming (Expandir a busca), automatic programmed (Expandir a busca), quadratic programming (Expandir a busca)
formal automatic » formal automatizada (Expandir a busca), modal automatica (Expandir a busca), local automatica (Expandir a busca)
parallel formal » parallel fiscal (Expandir a busca)
Mostrando 1 - 2 resultados de 2 para a busca 'parallel formal automatic programming', tempo de busca: 0,14s

1

“... 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

2

“... controller programming, they are still programmed by conventional trial-and-error methods and, in practice...”

Metodologia para modelagem, validação e programação de controladores lógicos industriais usando statecharts básicos

Publicado em 2009
Acessar documento
Tese