Buscas alternativas:
based programming » user programming (Expandir a busca), and programming (Expandir a busca), math programming (Expandir a busca)
contract based » contracts based (Expandir a busca), constraint based (Expandir a busca), content based (Expandir a busca)
Mostrando 1 - 4 resultados de 4 para a busca 'parallel contract based programming', tempo de busca: 0,18s

1

Assuntos: “...Parallel programing...”

Contratos formais para derivação e verificação de componentes paralelos

Publicado em 2012
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

3

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

4

Uma estratégia para a avaliação e evolução de teste funcional de software

Publicado em 2012
Acessar documento
Dissertação