Buscas alternativas:
implementation formal » implementation forms (Expandir a busca), implementacao formal (Expandir a busca), implementation roadmap (Expandir a busca)
formal programming » fetal programming (Expandir a busca), goal programming (Expandir a busca), logical programming (Expandir a busca)
implementation formal » implementation forms (Expandir a busca), implementacao formal (Expandir a busca), implementation roadmap (Expandir a busca)
formal programming » fetal programming (Expandir a busca), goal programming (Expandir a busca), logical programming (Expandir a busca)
1
Assuntos:
“...Formal methods...”
Contratos formais para derivação e verificação de componentes paralelos
Dissertação
2
3
“... 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
4
“... the implementation of systems are reduced, making it possible to analyze the projects of these systems...”
Contribuições à modelagem e à simulação de sistemas distribuídos usando redes de Petri coloridas - alocação de webcaches e particionamento de modelos em processos independentes...
Tese