Resultados de 1 a 10 de 59 para Produção Intelectual da USP
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
- Recursos Online (18)
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Artigo de Congresso
|
|
Avaliação da efetividade dos critérios de teste estruturais no contexto de programas concorrentesMaria Adelina S Brito Simone do Rocio Senger de Souza; Congresso Brasileiro de Software : Teoria e Prática - CBSoft (1. (2010 Salvador); Workshop de Teses e Dissertações em Engenharia de Software - WTES (14. 2010 Salvador)Anais Porto Alegre : SBC, 2010Porto Alegre SBC 2010Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-1998034 ) e outros locais(Acessar) |
| 2 |
Material Type: Relatório Técnico
|
|
Concurrent softwre testing a systematic reviewMaria A. S. Brito Katia R Felizardo; Paulo Sérgio Lopes de Souza; Simone do Rocio Senger de SouzaSão Carlos ICMC-USP 2010Localização: ICMC - Inst. Ciên. Mat. Computação (RT-SSC n.353 C743 e.1 ) e outros locais(Acessar) |
| 3 |
Material Type: Artigo de Congresso
|
|
Execução determinística de programas concorrentes durante o teste de mutaçãoRodolfo Adamshuk Silva Simone do Rocio Senger de Souza; Paulo Sérgio Lopes de Souza; Congresso Brasileiro de Software: Teoria e Prática - CBSoft 2012 (3. 2012 Natal, RN); Workshop Brasileiro de Teste de Software Sistemático e Automatizado - SAST 2012 (6. 2012 Natal, RN)Anais Porto Alegre : SBC, 2012Porto Alegre SBC 2012Localização: ICMC - Inst. Ciên. Mat. Computação (PROD 2309303 ) e outros locais(Acessar) |
| 4 |
Material Type: Artigo de Congresso
|
|
Redução do número de seqüências no teste de conformidade de protocolosJorge Francisco Cutigi Paulo Henrique Ribeiro; Adenilso da Silva Simão; Simone do Rocio Senger de Souza; Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuído - SBRC (28. 2010 Gramado); Workshop de Testes e Tolerância a Falhas - WTF (11. 2010 Gramado)AnaisPorto Alegre SBC 2010Acesso online. A biblioteca também possui exemplares impressos. |
| 5 |
Material Type: Artigo de Congresso
|
|
Structural testing for multithread programs an experimental evaluation of the cost, strength and effectivenessSilvana M. Melo (Silvana Morita Melo) Simone do Rocio Senger de Souza; Paulo Sérgio Lopes de Souza; International Conference on Software Engineering and Knowledge Engineering - SEKE 2012 (24. 2012 Redwood City, California)Proceedings Skokie : Knowledge Systems Institute Graduate School, 2012Skokie Knowledge Systems Institute Graduate School 2012Localização: ICMC - Inst. Ciên. Mat. Computação (PROD 2314979 ) e outros locais(Acessar) |
| 6 |
Material Type: Artigo de Congresso
|
|
Aplicação de teste estrutural para composição de web servicesAndré Takeshi Endo Adenilso da Silva Simão; Simone do Rocio Senger de Souza; Paulo Sérgio Lopes de Souza; Simpósio Brasileiro de Engenharia de Software 21 2007 João PessoaAnais [s.l.s.n.], 2007s.l. s.n. 2007Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-1626508 ) e outros locais(Acessar) |
| 7 |
Material Type: Artigo de Congresso
|
|
Reuso de conjuntos de casos de teste no ensino de disciplinas introdutórias de programaçãoMaria A. S. Brito João L Rossi; Simone do Rocio Senger Souza; Rosana Teresinha Vaccare Braga; Experimental Software Engineering Latin American Workshop - ESELAW (7. 2010 Goiânia)Proceedings Goiânia : Universidade Federal de Goiânia, 2010Goiânia Universidade Federal de Goias 2010Acesso online. A biblioteca também possui exemplares impressos. |
| 8 |
Material Type: Artigo de Congresso
|
|
Avaliação do custo e efetividade do teste estrutural para programas concorrentes com memória compartilhadaSilvana Morita Melo Simone do Rocio Senger de Souza; Paulo Sérgio Lopes de Souza; Congresso Brasileiro de Software: Teoria e Prática - CBSoft 2011 (2. 2011 São Paulo, SP); Simpósio Brasileiro de Engenharia de Software - SBES 2011 (25. 2011 São Paulo, SP); Simpósio Brasileiro de Linguagens de Programação - SBLP 2011 (15. 2011 São Paulo, SP); Simpósio Brasileiro de Métodos Formais - SBMF 2011 (14. 2011 São Paulo, SP); Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software - SBCARS 2011 (5. 2011 São Paulo, SP); Workshop of Theses and Dissertations of the CBSoft - WTDSoft 2011 (2011 São Paulo, SP)Anais Porto Alegre : SBC, 2011Porto Alegre SBC 2011Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-2217301 ) e outros locais(Acessar) |
| 9 |
Material Type: Artigo de Congresso
|
|
ValiPVM - a graphical tool for structural testing of PVM programsPaulo Sérgio Lopes de Souza Eduardo T Sawabe; Adenilso da Silva Simão; Sílvia Regina Vergílio; Simone do Rocio Senger de Souza; European PVM/MPI User's Group Meeting (15 2008 Irlanda)Lecture Notes in Computer Science v. 5205, p. 257-264, 2008Heidelberger Springer 2008Acesso online. A biblioteca também possui exemplares impressos. |
| 10 |
Material Type: Artigo de Congresso
|
|
Event- and coverage-based testing of web servicesAndré Takeshi Endo Michael Linschultey; Adenilso da Silva Simão; Simone do Rocio Senger de Souza; Workshop on Model-Based Verification & Validation From Research to Practice - MVV (2. 2010 Cingapura); International Conference on Secure Software Integration and Reliability Improvement - SSIRI (4. 2010 Cingapura)Proceedings Los Alamitos : IEEE Computer Society, 2010Los Alamitos IEEE Computer Society 2010Acesso online. A biblioteca também possui exemplares impressos. |
Resultados de 1 a 10 de 59 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
- Recursos Online (18)
Refinar Meus Resultados
Tipo de Recurso
- Artigos (57)
- Produções Técnicas (2)
- Produções Acadêmicas (1)
-
Mais opções
Assunto
- Engenharia De Software (56)
- Programação Concorrente (8)
- Sistemas Distribuídos (6)
- Teste E Avaliação De Software (3)
- Análise De Mutantes (2)
- Ontologia (1)
- Aprendizagem Baseada Em Projetos (1)
- Software Testing (1)
- Freio Lingual (1)
- Softwares (Testes) (1)
- Planejamento Florestal (1)
- Gestão De Negócios (1)
- Programming Paradigm (1)
- Informática Médica (1)
- Educação (1)
- Paradigma De Programação (1)
- Cerrado (1)
- Teste De Software (1)
- Web Semântica (1)
-
Mais opções
Autor/Criador
- Souza, P (36)
- Simão, A (11)
- Brito, M (9)
- Silva, R (8)
- Maldonado, J (7)
- Melo, S (5)
- Prado, R (4)
- Bruschi, S (4)
- Barbosa, E (4)
- Zaluska, E (4)
- Campanha, D (3)
- Simpósio Brasileiro de Engenharia de Software - SBES (3)
- Endo, A (3)
- Batista, R (3)
- Nakagawa, E (3)
- Congresso Brasileiro de Software - CBSoft (3)
- Experimental Software Engineering Latin American Workshop - ESELAW (3)
- Vergílio, S (3)
- Felizardo, K (3)
-
Mais opções
Data de Publicação
- Antes de2009 (7)
- 2009Até2011 (14)
- 2012Até2014 (15)
- 2015Até2018 (21)
- Após 2018 (2)
-
Mais opções
Idioma
- Inglês (38)
- Português (24)
-
Mais opções
Nome da Publicação
- Proceedings (23)
- Anais (18)
- Procedia Computer Science (3)
- Lecture Notes in Computer Science (2)
- CLEI Electronic Journal (2)
- Revista CEFAC : speech, language, hearing sciences and educational journal (1)
- Software testing, verification and reliability (1)
- The Computer Journal: Section A: Computer Science Theory, Methods and Tools (1)
- Information Technology: New Generations (1)
- Anais estendidos (1)
- Software Quality Journal (1)
- Empirical Software Engineering (1)
- Information and Software Technology (1)
- Concurrency and Computation: Practice and Experience (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 