Buscas alternativas:
methods programming » math programming (Expandir a busca), python programming (Expandir a busca), network programming (Expandir a busca)
parallel formal » parallel fiscal (Expandir a busca)
methods programming » math programming (Expandir a busca), python programming (Expandir a busca), network programming (Expandir a busca)
parallel formal » parallel fiscal (Expandir a busca)
1
Assuntos:
“...Formal methods...”
Contratos formais para derivação e verificação de componentes paralelos
Dissertação
2
“... de Especificação Formal, chamada LOP. Esta linguagem a de natureza algébrica, com destaque para a semântica baseada...”
Lop : uma abordagem unificada de especificação algébrica, orientação a objetos e processos
Tese
3
“... 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
Tese