Buscas alternativas:
the programming » time programming (Expandir a busca), to programming (Expandir a busca), tv programming (Expandir a busca)
contract the » contract type (Expandir a busca), contract theory (Expandir a busca), contract with (Expandir a busca)
the programming » time programming (Expandir a busca), to programming (Expandir a busca), tv programming (Expandir a busca)
contract the » contract type (Expandir a busca), contract theory (Expandir a busca), contract with (Expandir a busca)
1
Assuntos:
“...Parallel programing...”
Contratos formais para derivação e verificação de componentes paralelos
Dissertação
2
Assuntos:
“...Design by Contract - DbC...”
Detecção automática de violações de propriedades de sistemas concorrentes em tempo de execução.
Dissertação
3
Assuntos:
“...Design by Contract - DbC...”
Detecção automática de violações de propriedades de sistemas concorrentes em tempo de execução.
Dissertação
5
“... vulnerable to changes in classes, since there is no contract specifying the points of interaction amongst...”
Specifying design rules in aspect-oriented systems
Tese