Buscas alternativas:
programming contract » programming contest (Expandir a busca), programming interface (Expandir a busca), programming concepts (Expandir a busca)
programming contract » programming contest (Expandir a busca), programming interface (Expandir a busca), programming concepts (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
“...._________________________________________________________________________________________ ABSTRACT: Aspect-Oriented Programming is known as a technique for modularizing crosscutting concerns...”
Specifying design rules in aspect-oriented systems
Tese