Buscas alternativas:
formal programming » fetal programming (Expandir a busca), goal programming (Expandir a busca), logical programming (Expandir a busca)
parallel code » parallel and (Expandir a busca), parallel file (Expandir a busca), parallel to (Expandir a busca)
code formal » code moral (Expandir a busca), rede formal (Expandir a busca), cidade formal (Expandir a busca)
formal programming » fetal programming (Expandir a busca), goal programming (Expandir a busca), logical programming (Expandir a busca)
parallel code » parallel and (Expandir a busca), parallel file (Expandir a busca), parallel to (Expandir a busca)
code formal » code moral (Expandir a busca), rede formal (Expandir a busca), cidade formal (Expandir a busca)
1
Assuntos:
“...Bulk synchronous parallel...”
MigBSP : a new approach for processes rescheduling management on bulk synchronous parallel applications
Tese
2
3
Assuntos:
“...PLC code generation...”
Metodologia para modelagem, validação e programação de controladores lógicos industriais usando statecharts básicos
Tese
4
“... 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.
Dissertação