Buscas alternativas:
contratos programming » control programming (Expandir a busca), constraint programming (Expandir a busca), constrained programming (Expandir a busca)
computacao contratos » computacao conceitos (Expandir a busca), computacao controle (Expandir a busca), computacao compras (Expandir a busca)
parallel computacao » paralela computacao (Expandir a busca), paralelo computacao (Expandir a busca), parallel computation (Expandir a busca)
contratos programming » control programming (Expandir a busca), constraint programming (Expandir a busca), constrained programming (Expandir a busca)
computacao contratos » computacao conceitos (Expandir a busca), computacao controle (Expandir a busca), computacao compras (Expandir a busca)
parallel computacao » paralela computacao (Expandir a busca), paralelo computacao (Expandir a busca), parallel computation (Expandir a busca)
1
Assuntos:
“...Ciência da computação...”
Contratos formais para derivação e verificação de componentes paralelos
Dissertação
2
Assuntos:
“...Tolerância à falha (Computação)...”
Um metodo de testes para componentes tolerantes a falhas
Dissertação
3
“..., já que não existe um contrato especificando os pontos de interação entre estes elementos. Estes problemas podem...”
Specifying design rules in aspect-oriented systems
Tese