Resultados de 1 a 10 de 25 para Produção Intelectual da USP
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
- Disponível na Biblioteca (23)
- Recursos Online (1)
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Relatório Técnico
|
|
A dynamic software certification an verification procedureCarlos Alberto de Bragança Pereira 1946- Fabio Nakano; Julio Michael Stern 1958-São Paulo IME-USP 1999Localização: IME - Inst. Matemática e Estatística (IME-RT-C QA700.RT I59c 1999 v.01 e.1 ) e outros locais(Acessar) |
| 2 |
Material Type: Artigo de Congresso
|
|
A dynamic software certification an verification procedureCarlos Alberto de Bragança Pereira 1946- Fábio Nakano; Julio Michael Stern 1958-; World Multiconference on Systemics, Cybernetics and Informatics - SCI'99 (1999 Orlando); International Conference on Information Syems Analysis and Synthesis - ISAS'99 (5. 1999 Orlando)Proceedings Information Systems Development Orlando : IIIS, 1999Orlando IIIS 1999Localização: IME - Inst. Matemática e Estatística (PROD-1083270 ) e outros locais(Acessar) |
| 3 |
Material Type: Livro
|
|
DepuraçãoMarcos Lordello Chaim José Carlos Maldonado; Mário JinoDelamaro, Márcio Eduardo; Maldonado, José Carlos; Jino, Mario, orgs Introdução ao teste de software Rio de Janeiro : Elsevier, 2007Rio de Janeiro Elsevier 2007Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-1820322 ) e outros locais(Acessar) |
| 4 |
Material Type: Livro
|
|
Estudos teóricos e experimentaisSimone do Rocio Senger de Souza Sandra Camargo Pinto Ferraz Fabbri; Ellen Francine Barbosa; Marcos Lordello Chaim; Auri Marcelo Rizzo Vincenzi; Márcio Eduardo Delamaro; Mário Jino; José Carlos MaldonadoDelamaro, Márcio Eduardo; Maldonado, José Carlos; Jino, Mario, orgs Introdução ao teste de software Rio de Janeiro : Elsevier, 2007Rio de Janeiro Elsevier 2007Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-1820392 ) e outros locais(Acessar) |
| 5 |
Material Type: Livro
|
|
Teste estruturalEllen Francine Barbosa Marcos Lordello Chaim; Auri Marcelo Rizzo Vincenzi; Márcio Eduardo Delamaro; Mário Jino; José Carlos MaldonadoDelamaro, Márcio Eduardo; Maldonado, José Carlos; Jino, Mario, orgs Introdução ao teste de software Rio de Janeiro : Elsevier, 2007Rio de Janeiro Elsevier 2007Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-1820393 ) e outros locais(Acessar) |
| 6 |
Material Type: Dissertação de Mestrado
|
|
Método de modelagem e verificação formal aplicado a sistemas de tráfego aéreo.Costa, Rafael LemeBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola Politécnica 2018-08-03Acesso online. A biblioteca também possui exemplares impressos. |
| 7 |
Material Type: Livro
|
|
Introdução ao teste de softwareMárcio Eduardo Delamaro José Carlos Maldonado; Mário JinoRio de Janeiro Elsevier 2007Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-1726007 ) e outros locais(Acessar) |
| 8 |
Material Type: Dissertação de Mestrado
|
|
Coverage based debugging visualizationMutti, DaniloBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola de Artes, Ciências e Humanidades 2014-10-31Acesso online. A biblioteca também possui exemplares impressos. |
| 9 |
Material Type: Dissertação de Mestrado
|
|
Scalable data-flow testingAraujo, Roberto Paulo Andrioli DeBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola de Artes, Ciências e Humanidades 2014-09-15Acesso online. A biblioteca também possui exemplares impressos. |
| 10 |
Material Type: Dissertação de Mestrado
|
|
Depuração de programas baseada em cobertura de integraçãoSouza, Higor Amario DeBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola de Artes, Ciências e Humanidades 2012-12-20Acesso online. A biblioteca também possui exemplares impressos. |
Resultados de 1 a 10 de 25 para Produção Intelectual da USP
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Personalize Seus Resultados
Refine Search Results
Mostrar Somente
- Disponível na Biblioteca (23)
- Recursos Online (1)
Refinar Meus Resultados
Tipo de Recurso
- Produções Acadêmicas (10)
- Artigos (10)
- Livros (4)
- Produções Técnicas (1)
-
Mais opções
Assunto
- Verificação E Validação De Software (24)
- Teste E Avaliação De Software (11)
- Desenvolvimento De Software (7)
- Engenharia De Software (5)
- Jogos De Computador (3)
- Qualidade De Software (3)
- Especificação Formal (2)
- Aprendizagem (2)
- Cobertura De Código (2)
- Geração De Código (2)
- Model Checking (2)
- Especificação De Sistemas E Programas (2)
- Localização De Defeitos (2)
- Software Validation (2)
- Arquitetura De Software (2)
- Model Validation (1)
- Progressão De Doença (1)
- Software Verification (1)
- Capitalization Table Management (1)
- Avanço Da Doença (1)
-
Mais opções
Autor/Criador
- Chaim, M (8)
- Delamaro, M (5)
- Maldonado, J (5)
- Jino, M (4)
- Melo, A (3)
- Nakagawa, E (3)
- Maruyama, N (2)
- Nakano, F (2)
- Vincenzi, A (2)
- Stern, J (2)
- Pereira, C (2)
- Oliveira, B (2)
- Barbosa, E (2)
- Hanazumi, S (2)
- Souza, S (2)
- Guedes, S (1)
- Kazman, R (1)
- International Conference on Software Engineering and Formal Methods - SEFM (1)
- Souza Júnior, V (1)
- Congresso Brasileiro de Software - CBSOFT (1)
-
Mais opções
Biblioteca
Idioma
- Inglês (13)
- Português (12)
-
Mais opções
Nome da Publicação
- Proceedings (4)
- Introdução ao teste de software (3)
- 29º SIICUSP-EACH 2021: Simpósio Internacional de Iniciação Científica e Tecnológica da USP: livro de resumos (1)
- Computational Science and Its Applications - ICCSA 2015: 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part I (1)
- Proceedings Information Systems Development (1)
- RENE: Revista da Rede de Enfermagem do Nordeste (1)
- Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 