skip to main content
Idioma:

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

Ordenado por: Ordenado por: RelevânciaOr hit Enter to replace sort method
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: autor: Simão, A remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
MGASet - uma ferramenta para apoiar o teste e validação de especificações baseadas em máquinas de estado finito
MGASet - uma ferramenta para apoiar o teste e validação de especificações baseadas em máquinas de estado finito
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

MGASet - uma ferramenta para apoiar o teste e validação de especificações baseadas em máquinas de estado finito

Marco Arthur Pereira Candolo Adenilso da Silva Simão; José Carlos Maldonado; Simposio Brasileiro de Engenharia de Software (15 2001 Rio de Janeiro)

Anais Rio de Janeiro: COPPE/UFRJ, 2001

Rio de Janeiro COPPE/UFRJ 2001

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

2
Comments on "On minimizing the lengths of checking sequences"
Comments on "On minimizing the lengths of checking sequences"
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

Comments on "On minimizing the lengths of checking sequences"

Adenilso da Silva Simão

São Carlos ICMC-USP 2007

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

3
Formal testing approaches for service-oriented architectures and web services a systematic review
Formal testing approaches for service-oriented architectures and web services a systematic review
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

Formal testing approaches for service-oriented architectures and web services a systematic review

André Takeshi Endo Adenilso da Silva Simão

São Carlos ICMC-USP 2010

Localização: ICMC - Inst. Ciên. Mat. Computação    (RT SSc nº348 E56ft e.1 ) e outros locais(Acessar)

4
A generalized model-based test generation method
A generalized model-based test generation method
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

A generalized model-based test generation method

Adilson Luiz Bonifácio Arnaldo Vieira Moura; Adenilso da Silva Simão; IEEE International Conference on Software Engineering and Formal Methods (6 2008

Proceedings Los Alamitos : IEEE Computer Society, 2008

Los Alamitos IEEE Computer Society 2008

Acesso online. A biblioteca também possui exemplares impressos.

5
This volume contains the papers presented at SBMF 2010... [Prefácio]
This volume contains the papers presented at SBMF 2010... [Prefácio]
Material Type:
Livro 		Adicionar ao Meu Espaço

This volume contains the papers presented at SBMF 2010... [Prefácio]

Jim Davies Leila Silva; Adenilso da Silva Simão; Brazilian Symposium on Formal Methods - SBMF (13. 2010 Natal)

Proceedings Heidelberg : Springer

Heidelberg Springer 2011

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

6
Geração de seqüências de verificação baseado em algoritmos genéticos
Geração de seqüências de verificação baseado em algoritmos genéticos
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Geração de seqüências de verificação baseado em algoritmos genéticos

Paulo Henrique Ribeiro Jorge Francisco Cutigi; Adenilso da Silva Simão; Simpósio Brasileiro de Métodos Formais - SBMF (2009 Gramado); Workshop Brasileiro de Teste de Software Sistemático - SAST (3. 2009 Gramado)

Anais Porto Alegre : SBC, 2009

Porto Alegre SBC 2009

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

7
Formal methods foundations and applications
Formal methods foundations and applications
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal methods foundations and applications

Jim Davies Leila Silva; Adenilso da Silva Simão; Brazilian Symposium on Formal Methods - SBMF (13. 2010 Natal)

Proceedings Heidelberg : Springer

Heidelberg Springer 2011

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

8
Um mapeamento sistemático sobre a geração de casos de teste para sistemas de transição com entrada e saída
Um mapeamento sistemático sobre a geração de casos de teste para sistemas de transição com entrada e saída
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

Um mapeamento sistemático sobre a geração de casos de teste para sistemas de transição com entrada e saída

Sofia Larissa da Costa Paiva Adenilso da Silva Simão

São Carlos ICMC-USP 2014

Localização: ICMC - Inst. Ciên. Mat. Computação    (RT-SCC nº396 ) e outros locais(Acessar)

9
Towards envisaging software testing in a pervasive computing world
Towards envisaging software testing in a pervasive computing world
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Towards envisaging software testing in a pervasive computing world

Vinícius H. S Durelli (Vinícius Humberto Serapilha Durelli) André T Endo (André Takeshi Endo); Adenilso da Silva Simão; Márcio Eduardo Delamaro; Congresso Brasileiro de Software: Teoria e Prática - CBSoft 2012 (3. 2012 Natal, RN); Simpósio Brasileiro de Engenharia de Software - SBES 2012 (26. 2012 Natal, RN)

Anais Los Alamitos, California : IEEE Computer Society, 2012

Los Alamitos, California IEEE Computer Society 2012

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

10
This volume contains the short papers presented at SBMF 2011... [Prefácio]
This volume contains the short papers presented at SBMF 2011... [Prefácio]
Material Type:
Livro 		Adicionar ao Meu Espaço

This volume contains the short papers presented at SBMF 2011... [Prefácio]

Adenilso da Silva Simão Carroll Morgan

Simão, Adenilso da Silva ; Morgan, Carroll , (orgs) Proceedings of the 14. Brazilian Symposium on Formal Methods São Carlos, SP : ICMC/USP, 2011 83 p

São Carlos, SP ICMC/USP 2011

Acesso online. A biblioteca também possui exemplares impressos.

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

Ordenado por: Ordenado por: RelevânciaOr 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 (94)
  2. Recursos Online (20)

Refinar Meus Resultados

Tipo de Recurso 

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

Data de Publicação 

De até
Refinar
  1. Antes de2007  (7)
  2. 2007Até2008  (12)
  3. 2009Até2010  (20)
  4. 2011Até2013  (23)
  5. Após 2013  (33)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (80)
  2. Português  (16)
  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.