Search
Add filters:
Use filters to refine the search results.
Results 1-1 of 1 (Search time: 0.003 seconds).
- previous
- 1
- next
Item hits:
Issue Date | Title | Author(s) |
---|---|---|
15-Mar-2013 | Uma técnica para verificar não conformidades em programas especificados com contratos. | OLIVEIRA, Catuxe Varjão de Santana. |
Discover
Subject
- 1 Checagem Automática de Contratos ...
- 1 Contratos - Conformidade
- 1 Definição de Conformidade
- 1 Desenvolvimento Baseado em Contra...
- 1 Desenvolvimento de Software
- 1 Java Modeling Language - JML
- 1 Oráculo dos Testes - Software
- 1 Software Testing
- 1 Teste de Software
- 1 Verificação de Conformidade em Pr...
- next >