Search
Add filters:
Use filters to refine the search results.
Results 1-3 of 3 (Search time: 0.005 seconds).
- previous
- 1
- next
Item hits:
Issue Date | Title | Author(s) |
---|---|---|
30-Apr-2010 | Automação da técnica de inspeção guiada para conformidade entre requisitos e diagramas UML. | ROCHA, Anne Caroline Oliveira. |
15-Mar-2013 | Uma técnica para verificar não conformidades em programas especificados com contratos. | OLIVEIRA, Catuxe Varjão de Santana. |
26-May-2006 | Geração de objetivos de teste de sistemas reativos baseada na técnica de verificação de modelos CTL. | SILVA, Daniel Aguiar da. |
Discover
Subject