skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Entrevista concedida a José Albertino Rodrigues (Departamento de Ciências Sociais, UFSCar) e Vera Rita da Costa (Ciência Hoje). Publicada em maio de 1989
Entrevista concedida a José Albertino Rodrigues (Departamento de Ciências Sociais, UFSCar) e Vera Rita da Costa (Ciência Hoje). Publicada em maio de 1989
Material Type:
Livro 		Adicionar ao Meu Espaço

Entrevista concedida a José Albertino Rodrigues (Departamento de Ciências Sociais, UFSCar) e Vera Rita da Costa (Ciência Hoje). Publicada em maio de 1989

Azis Simão

Cientistas do Brasil: depoimentos São Paulo : SBPC, 1998

São Paulo SBPC 1998

Localização: FFLCH - Fac. Fil. Let. e Ciências Humanas    (Simão, A doc 3 ) e outros locais(Acessar)

2
Avaliação de atributos de testabilidade para sistemas de suporte à decisão
Avaliação de atributos de testabilidade para sistemas de suporte à decisão
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Avaliação de atributos de testabilidade para sistemas de suporte à decisão

Geromini, Marcos Fernando

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-03-11

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

3
Uma estratégia para a minimização de máquinas de estados finitos parciais
Uma estratégia para a minimização de máquinas de estados finitos parciais
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Uma estratégia para a minimização de máquinas de estados finitos parciais

Alberto, Alex Donizeti Betez

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

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

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

5
Aplicação de modelos de defeitos na geração de conjuntos de teste completos a partir de Sistemas de Transição com Entrada/Saída
Aplicação de modelos de defeitos na geração de conjuntos de teste completos a partir de Sistemas de Transição com Entrada/Saída
Material Type:
Tese de Doutorado 		Adicionar ao Meu Espaço

Aplicação de modelos de defeitos na geração de conjuntos de teste completos a partir de Sistemas de Transição com Entrada/Saída

Paiva, Sofia Larissa Da Costa

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-03-16

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

6
PROTEUM-RS/PN: uma ferramenta para a validação de redes de Petri baseada na análise de mutantes.
PROTEUM-RS/PN: uma ferramenta para a validação de redes de Petri baseada na análise de mutantes.
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

PROTEUM-RS/PN: uma ferramenta para a validação de redes de Petri baseada na análise de mutantes.

Simão, Adenilso Da Silva

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

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

7
Geração de testes a partir de máquinas de estados finitos estendidas extraídas de diagramas de sequência UML
Geração de testes a partir de máquinas de estados finitos estendidas extraídas de diagramas de sequência UML
Material Type:
Tese de Doutorado 		Adicionar ao Meu Espaço

Geração de testes a partir de máquinas de estados finitos estendidas extraídas de diagramas de sequência UML

Rocha, Mauricio Rêgo Mota Da

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

Acesso online

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

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

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

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Disponível na Biblioteca (1.780)
  2. Recursos Online (254)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (1.332)
  2. Produções Acadêmicas  (469)
  3. Livros  (466)
  4. Produções Artísticas  (44)
  5. Produções Técnicas  (21)
  6. Audiovisuais  (17)
  7. Recursos Textuais  (14)
  8. Outros  (13)
  9. Materiais Cartográficos  (8)
  10. Imagens  (1)
  11. Patentes  (1)
  12. Mais opções open sub menu

Autor/Criador 

  1. Simão, A  (338)
  2. Casseb, J  (185)
  3. Sichman, J  (159)
  4. Simão, J  (154)
  5. Silber, S  (133)
  6. Simão, L  (112)
  7. Silva, E  (94)
  8. Duarte, A  (94)
  9. Ciancaglini, P  (84)
  10. Simão, M  (78)
  11. Oliveira, A  (64)
  12. D'Agostino  (64)
  13. Trad, C  (55)
  14. Maldonado, J  (52)
  15. Simao, S  (51)
  16. Santos, A  (51)
  17. Simão, R  (48)
  18. Bolean, M  (42)
  19. Simão, G  (41)
  20. Millán, J  (31)
  21. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1962  (86)
  2. 1962Até1978  (61)
  3. 1979Até1993  (149)
  4. 1994Até2009  (949)
  5. Após 2009  (1.146)
  6. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Simão, A
  2. Casseb, J
  3. Sichman, J
  4. Simão, J
  5. Silber, S

Neste Assunto:

  1. Engenharia De Software
  2. Sistemas De Informação
  3. Sistemas Multiagentes
  4. Hiv
  5. Inteligência Artificial

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

Buscando em bases de dados remotas. Favor aguardar.