skip to main content
Idioma:

Resultados de 1 a 10 de 183  para Produção Intelectual da USP

Ordenado por: Ordenado por: AutorOr hit Enter to replace sort method
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: autor: Maldonado, J remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Correlating automatic static analysis and mutation testing towards incremental strategies
Correlating automatic static analysis and mutation testing towards incremental strategies
Material Type:
Artigo 		Adicionar ao Meu Espaço

Correlating automatic static analysis and mutation testing towards incremental strategies

Claudio A. Araújo (Claudio Antônio de Araújo) Márcio Eduardo Delamaro; José Carlos Maldonado; Auri Marcelo Rizzo Vincenzi

Journal of Software Engineering Research and Development Heidelberg : SpringerOpen v. 4, n. 5, p. 1-32, Nov. 2016

Heidelberg 2016

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD 2791846 )(Acessar)

2
Investigating the correspondence between mutations and static warnings
Investigating the correspondence between mutations and static warnings
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Investigating the correspondence between mutations and static warnings

Cláudio Antônio de Araújo Márcio Eduardo Delamaro; José Carlos Maldonado; Auri Marcelo Rizzo Vincenzi; Brazilian Symposium on Software Engineering - SBES 2015 (29. 2015 Belo Horizonte, MG)

Proceedings Piscataway, NJ : IEEE, 2015

Piscataway, NJ IEEE 2015

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD 2751900 )(Acessar)

3
Geração de dados de teste a partir de modelos de sistemas embarcados uma revisão sistemática
Geração de dados de teste a partir de modelos de sistemas embarcados uma revisão sistemática
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Geração de dados de teste a partir de modelos de sistemas embarcados uma revisão sistemática

Rodrigo Fraxino Araujo Vinícius Serapilha Durelli; Márcio Eduardo Delamaro; José Carlos Maldonado; Brazilian Symposium on Formal Methods - SBMF (2009 Gramado); Brazilian Workshop on Systematic and Automated Software Testing - SAST (3. 2009 Gramado)

Proceedings Porto Alegre : SBC, 2009

Porto Alegre SBC 2009

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD-1786860 ) e outros locais(Acessar)

4
Devising mutant operators for dynamic systems models by applying the HAZOP study
Devising mutant operators for dynamic systems models by applying the HAZOP study
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Devising mutant operators for dynamic systems models by applying the HAZOP study

Rodrigo Fraxino Araujo José Carlos Maldonado; Márcio Eduardo Delamaro; Auri Marcelo Rizzo Vincenzi; François Delebecque; International Conference on Software Engineering Advances - ICSEA 2011 (6. 2011 Barcelona, Espanha)

Proceedings Santa Clara, CA : IARIA, 2011

Santa Clara, CA IARIA - The International Academy Research and Industry Association 2011

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD-2240631 ) e outros locais(Acessar)

5
Functional test data generation for Simulink-like models
Functional test data generation for Simulink-like models
Material Type:
Artigo 		Adicionar ao Meu Espaço

Functional test data generation for Simulink-like models

Rodrigo Fraxino Araujo Márcio Eduardo Delamaro; José Carlos Maldonado

Journal of the Brazilian Computer Society The Netherlands : Springer v. 19, n. 3, p. 325-339, set 2013

The Netherlands 2013

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD 2419550 )(Acessar)

6
Um Método para Avaliação da Qualidade de Pacotes de Software na Área de Sistemas de Informação
Um Método para Avaliação da Qualidade de Pacotes de Software na Área de Sistemas de Informação
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Um Método para Avaliação da Qualidade de Pacotes de Software na Área de Sistemas de Informação

Arroyo, Cristiane Sonia

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 1999-09-23

Acesso online

7
Um método para avaliação/seleção da qualidade de pacotes de software naárea de sistemas de informação
Um método para avaliação/seleção da qualidade de pacotes de software naárea de sistemas de informação
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Um método para avaliação/seleção da qualidade de pacotes de software naárea de sistemas de informação

Cristiane Sonia Arroyo José Carlos Maldonado; Workshop de Teses e Dissertacões em Andamento em Ciencias de Computação e Matemática Computacional (2. 1997 São Carlos)

Anais São Carlos : ICMSC-USP, 1997

São Carlos ICMSC-USP 1997

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD-1022899 ) e outros locais(Acessar)

8
Um método para avaliação da qualidade de pacotes de software na área de sistema de informação
Um método para avaliação da qualidade de pacotes de software na área de sistema de informação
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Um método para avaliação da qualidade de pacotes de software na área de sistema de informação

Cristiane Sonia Arroyo José Carlos Maldonado

1999

Item não circula. Consulte sua biblioteca.(Acessar)

9
Um método para avaliação da qualidade de pacotes de software na área de sistema de informação
Um método para avaliação da qualidade de pacotes de software na área de sistema de informação
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Um método para avaliação da qualidade de pacotes de software na área de sistema de informação

Cristiane Sonia Arroyo José Carlos Maldonado; Simpósio de Teses e Dissertações (5. 2000 São Carlos); Workshop de Teses e Dissertações Defendidas - ICMC/USP (5. 2000 São Carlos)

Anais São Carlos : ICMC - USP, 2000

São Carlos 2000

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD-1105066 )(Acessar)

10
Specialization and instantiation aspects of a standard process for developing educational modules
Specialization and instantiation aspects of a standard process for developing educational modules
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Specialization and instantiation aspects of a standard process for developing educational modules

Ellen Francine Barbosa José Carlos Maldonado; International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - ISOLA (3. 2011 Kassandra-Chalkidiki, Grécia)

Communications in Computer and Information Science Berlin : Springer-Verlag v. 17, p. 503-518, 2008

Heidelberg, Berlin Springer-Verlag 2008

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD-2218525 ) e outros locais(Acessar)

Resultados de 1 a 10 de 183  para Produção Intelectual da USP

Ordenado por: Ordenado por: AutorOr hit Enter to replace sort method
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Disponível na Biblioteca (179)
  2. Recursos Online (37)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (156)
  2. Livros  (11)
  3. Produções Acadêmicas  (9)
  4. Produções Técnicas  (8)
  5. Outros  (1)
  6. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de2000  (7)
  2. 2000Até2006  (24)
  3. 2007Até2010  (73)
  4. 2011Até2015  (67)
  5. Após 2015  (12)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (119)
  2. Português  (70)
  3. Mais opções open sub menu

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.