skip to main content
Idioma:

Resultados de 1 a 10 de 147  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: assunto: Engenharia De Software remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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)

2
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)

3
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.

4
Módulo para geração de casos de teste a partir de máquinas de estados finitos parciais
Módulo para geração de casos de teste a partir de máquinas de estados finitos parciais
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

Módulo para geração de casos de teste a partir de máquinas de estados finitos parciais

Jorge Francisco Cutigi Adenilso da Silva Simão

São Carlos ICMC-USP 2006

Localização: ICMC - Inst. Ciên. Mat. Computação    (RT SCE n.286 C988mp e.1 ) e outros locais(Acessar)

5
Proceedings of the 22nd IFIP International Conference on Testing Software and Systems short papers
Proceedings of the 22nd IFIP International Conference on Testing Software and Systems short papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Proceedings of the 22nd IFIP International Conference on Testing Software and Systems short papers

Alexandre Petrenko Adenilso da Silva Simão; José Carlos Maldonado

Porto Alegre SBC 2010

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

6
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)

7
Subsídios para a aplicação de métodos de geração de casos de testes baseados em máquinas de estados
Subsídios para a aplicação de métodos de geração de casos de testes baseados em máquinas de estados
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Subsídios para a aplicação de métodos de geração de casos de testes baseados em máquinas de estados

Pinheiro, Arineiza Cristina

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

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

8
Model based testing of service oriented applications
Model based testing of service oriented applications
Material Type:
Tese de Doutorado 		Adicionar ao Meu Espaço

Model based testing of service oriented applications

Endo, André Takeshi

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

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

9
Evaluating finite state machine based testing methods on RBAC systems
Evaluating finite state machine based testing methods on RBAC systems
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Evaluating finite state machine based testing methods on RBAC systems

Damasceno, Carlos Diego Nascimento

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

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

10
Avaliação da portabilidade entre fornecedores de teste como serviço na computação em nuvem
Avaliação da portabilidade entre fornecedores de teste como serviço na computação em nuvem
Material Type:
Tese de Doutorado 		Adicionar ao Meu Espaço

Avaliação da portabilidade entre fornecedores de teste como serviço na computação em nuvem

Oliveira, Ricardo Ramos De

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

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

Resultados de 1 a 10 de 147  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 (142)
  2. Recursos Online (23)

Refinar Meus Resultados

Tipo de Recurso 

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

Data de Publicação 

De até
Refinar
  1. Antes de2004  (14)
  2. 2004Até2007  (24)
  3. 2008Até2011  (41)
  4. 2012Até2016  (43)
  5. Após 2016  (25)
  6. Mais opções open sub menu

Idioma 

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

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Simão, A
  2. Maldonado, J
  3. Petrenko, A
  4. Endo, A
  5. Souza, S

Neste Assunto:

  1. Sistemas De Informação
  2. Softwares
  3. Teste E Avaliação De Software
  4. Model-Based Testing
  5. Linguagem De Programação

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

Buscando em bases de dados remotas. Favor aguardar.