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) |
---|---|---|
30-Apr-2010 | Automação da técnica de inspeção guiada para conformidade entre requisitos e diagramas UML. | ROCHA, Anne Caroline Oliveira. |
31-Aug-2012 | Infraestrutura para o desenvolvimento de aplicações pervasivas com suporte ao chaveamento automático de tecnologia de comunicação. | FARIAS, Arthur Lúcio Meneses. |
30-Aug-2010 | Aumentando a confiança nos resultados de testes de sistemas multi-threaded: evitando asserções antecipadas e tardias. | REBOUÇAS, Ayla Débora Dantas de Souza. |
15-Mar-2013 | Uma técnica para verificar não conformidades em programas especificados com contratos. | OLIVEIRA, Catuxe Varjão de Santana. |
13-Mar-2014 | Uma abordagem para testar implementações de refatoramentos estruturais e comportamentais de programas C. | MENDES, Gustavo Wagner Diniz. |