Buscas alternativas:
contract programming » constraint programming (Expandir a busca), control programming (Expandir a busca), conic programming (Expandir a busca)
parallel by » parallel bus (Expandir a busca), parallel to (Expandir a busca), parallel i (Expandir a busca)
by contract » of contract (Expandir a busca), the contract (Expandir a busca)
contract programming » constraint programming (Expandir a busca), control programming (Expandir a busca), conic programming (Expandir a busca)
parallel by » parallel bus (Expandir a busca), parallel to (Expandir a busca), parallel i (Expandir a busca)
by contract » of contract (Expandir a busca), the contract (Expandir a busca)
1
Assuntos:
“...Design by Contract - DbC...”
Detecção automática de violações de propriedades de sistemas concorrentes em tempo de execução.
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
“...._________________________________________________________________________________________ ABSTRACT: Aspect-Oriented Programming is known as a technique for modularizing crosscutting concerns...”
Specifying design rules in aspect-oriented systems
Tese