Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Dissertação de Mestrado
|
Uma contribuição para determinação de um conjunto essencial de operadores de mutação no teste de programas CEllen Francine Barbosa José Carlos Maldonado1998Localização: ICMC - Inst. Ciên. Mat. Computação (T B238c e.1 ) e outros locais(Acessar) |
|
2 |
Material Type: Dissertação de Mestrado
|
Geração automática de casos de testes para web servicesSilveira, PauloBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2008-04-18Acesso online. A biblioteca também possui exemplares impressos. |
|
3 |
Material Type: Dissertação de Mestrado
|
Utilização de mineração de especificação na identificação de fluxos inválidos em softwareSilva, Luciano KelvinBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2016-06-15Acesso online. A biblioteca também possui exemplares impressos. |
|
4 |
Material Type: Dissertação de Mestrado
|
ExpressMath Online: um sistema web para o tratamento de dados de expressões matemáticas manuscritasGrangeiro, Davi SoutoBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2015-11-11Acesso online. A biblioteca também possui exemplares impressos. |
|
5 |
Material Type: Tese de Doutorado
|
Interfaces humano-computador aplicadas ao desenho de poligonais tridimensionais e mà solução numérica do problema de PlateauBandeira, Ivana SoaresBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2016-12-15Acesso online. A biblioteca também possui exemplares impressos. |
|
6 |
Material Type: Dissertação de Mestrado
|
Um método para a implementação de regras de negócio à partir da semântica SBVRJesus, Jandisson Soares DeBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2013-11-04Acesso online. A biblioteca também possui exemplares impressos. |
|
7 |
Material Type: Tese de Doutorado
|
Avaliação dos resultados do programa de analise da qualidade de produtos do Instituto Nacional de Metrologia e Qualidade Industrial - INMETROTabai, Katia Cilene Universidade Estadual de Campinas (Unicamp); Salay, Elisabete, 1960-; Barbosa, Celso Guimarães; Reyes, Felix Guillermo Reyes; Netto, Flavia Maria; Silva, Marina Vieira Da; Branco, Nancy S. Dorna Castelo; Universidade Estadual De Campinas. Faculdade De Engenharia De Alimentos; Programa De Pós-Graduação Em Alimentos E Nutrição; Universidade Estadual De Campinashttps://repositorio.unicamp.br/acervo/detalhe/217402[s.n.] 2001Acesso online |
|
8 |
Material Type: Dissertação de Mestrado
|
Teste e verificação formal do comportamento excepcional de programas JavaMartins, Alexandre LocciBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2014-06-09Acesso online. A biblioteca também possui exemplares impressos. |
|
9 |
Material Type: Tese de Doutorado
|
Geração de propriedades sobre programas Java a partir de objetivos de testeHanazumi, SimoneBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2015-10-29Acesso online. A biblioteca também possui exemplares impressos. |
|
10 |
Material Type: Dissertação de Mestrado
|
Kalibro: interpretação de métricas de código-fonteOliveira Filho, Carlos Morais DeBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2013-08-07Acesso online. A biblioteca também possui exemplares impressos. |