Repositório Institucional da UFG 2 Biblioteca Digital de Teses e Dissertações da UFCG 1 Repositório Institucional da UCB 1

BARBOSA, Ana Emília Victor 2 Arantes, Gilmar Ferreira 1 Queiroz, Leonardo Teixeira 1

Dissertação 4

Português 4

Ciência da Computação. 2 Competing software system 2 Comportamento de programas 2 Design by Contract - DbC 2 DesignMonitor 2 Detecção automática de violações 2 Mais ... Linear Time Logic - LTL 2 Lógica linear temporal 2 Programação orientad a aspectos com AspectJ 2 Sistema de software concorrentes 2 Sistemas concorrentes 2 Tempo de execução - programas 2 Análise de mutantes SQL 1 Benchmark 1 METODOLOGIA E TECNICAS DA COMPUTACAO 1 CIENCIA DA COMPUTACAO 1 Critérios de teste 1 Data base aplicattion test 1 Data reduction 1 Funcional testing 1 Redução de bases de dados 1 SQL mutation analysis 1 Software testing 1 Test criteria 1 Test techniques 1 Teste de software 1 Teste funcional 1 Testes de aplicações de banco de dados 1 Técnicas de teste 1 Ver todos ... menos ...