Buscas alternativas:
contract logic » constraint logic (Expandir a busca)
Mostrando 1 - 2 resultados de 2 para a busca 'parallel contract logic programming', tempo de busca: 0,15s

1

Assuntos: “...Design by Contract - DbC...”

Detecção automática de violações de propriedades de sistemas concorrentes em tempo de execução.

Publicado em 2007
Acessar documento
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.

Publicado em 2007
Acessar documento
Dissertação