Search
Add filters:
Use filters to refine the search results.
Results 1-5 of 5 (Search time: 0.003 seconds).
- previous
- 1
- next
Item hits:
Issue Date | Title | Author(s) |
---|---|---|
26-Jul-2010 | Testes de design: uma abordagem baseada em testes para verificação automática de conformidade estrutural entre implementação e regras de design. | MONTEIRO, João Arthur Brunet. |
30-Apr-2010 | Automação da técnica de inspeção guiada para conformidade entre requisitos e diagramas UML. | ROCHA, Anne Caroline Oliveira. |
6-Dec-2002 | Usando replicação ativa para prover tolerância a falhas de forma transparente a uma implementação da plataforma J2EE. | COSTA, André Andrade. |
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
Date issued