Buscas alternativas:
contract programming » constraint programming (Expandir a busca), control programming (Expandir a busca), conic programming (Expandir a busca)
parallel in » parallels in (Expandir a busca), parallel i (Expandir a busca), parallel join (Expandir a busca)
in contract » in contracts (Expandir a busca), in contact (Expandir a busca), on contracts (Expandir a busca)
Mostrando 1 - 6 resultados de 6 para a busca 'parallel in contract programming*', tempo de busca: 0,15s

1

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

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

Publicado em 2012
Acessar documento
Dissertação

2

“...._________________________________________________________________________________________ ABSTRACT: Aspect-Oriented Programming is known as a technique for modularizing crosscutting concerns...”

Specifying design rules in aspect-oriented systems

Publicado em 2010
Acessar documento
Tese

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

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

5

Um metodo de testes para componentes tolerantes a falhas

Publicado em 2005
Acessar documento
Dissertação

6

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

Publicado em 2012
Acessar documento
Dissertação