Buscas alternativas:
and programming » math programming (Expandir a busca), cone programming (Expandir a busca), java programming (Expandir a busca)
contract and » contracts and (Expandir a busca), contract of (Expandir a busca), contract law (Expandir a busca)
and programming » math programming (Expandir a busca), cone programming (Expandir a busca), java programming (Expandir a busca)
contract and » contracts and (Expandir a busca), contract of (Expandir a busca), contract law (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
“.... As a consequence, class developers face changeability, parallel development and comprehensibility problems, because...”
Specifying design rules in aspect-oriented systems
Tese