skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: Biblioteca: ICMC - Inst. Ciên. Mat. Computação remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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)

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

3
Generation of complete test suites from mealy input/output transition systems
Generation of complete test suites from mealy input/output transition systems
Material Type:
Artigo 		Adicionar ao Meu Espaço

Generation of complete test suites from mealy input/output transition systems

Sofia Costa Paiva (Sofia Larissa da Costa Paiva) Adenilso da Silva Simão

Formal Aspects of Computing London, United Kingdom : Springer London, 2015 v. 28, n. 1, p. 65-78, Mar. 2016

London, United Kingdom 2016

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

4
An experimental study for complete-IOCO theory
An experimental study for complete-IOCO theory
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

An experimental study for complete-IOCO theory

Sofia Larissa da Costa Paiva Adenilso da Silva Simão; Brazilian Symposium on Systematic and Automated Software Testing - SAST (5. 2020 Natal)

Proceedings New York : ACM, 2020

New York ACM 2020

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

5
A systematic mapping study on test generation from Input/Output Transition Systems
A systematic mapping study on test generation from Input/Output Transition Systems
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

A systematic mapping study on test generation from Input/Output Transition Systems

Sofia Larissa da Costa Paiva Adenilso da Silva Simão; Euromicro Conference on Software Engineering and Advanced Applications – SEAA 2015 (41st. 2015 Madeira, Portugal)

Proceedings Piscataway, NJ : IEEE, 2015

Piscataway, NJ IEEE 2015

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

6
Complete IOCO test cases a case study
Complete IOCO test cases a case study
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Complete IOCO test cases a case study

Sofia Costa Paiva (Sofia Larissa da Costa Paiva) Adenilso da Silva Simão; Mahsa Varshosaz; Mohammad Reza Mousavi; International Workshop on Automating Test Case Design, Selection, and Evaluation (7. 2016 Seattle, WA, USA)

Proceedings New York, NY : ACM, 2016

New York, NY ACM 2016

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

7
Desenvolvimento de um sistema gráfico para o processamento e visualização de imagens tomográficas obtidas por ressonância magnética
Desenvolvimento de um sistema gráfico para o processamento e visualização de imagens tomográficas obtidas por ressonância magnética
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Desenvolvimento de um sistema gráfico para o processamento e visualização de imagens tomográficas obtidas por ressonância magnética

Jan Frans Willem Slaets Agma Juci Machado Traina; M S V Paiva; Lirio Onofre Baptista de Almeida; Simposio Brasileiro de Computacao Grafica e Processamento de Imagens (3. 1990 Gramado)

Anais Rio de Janeiro : Sociedade Brasileira de Computacao, 1990

Rio de Janeiro Sociedade Brasileira de Computacao 1990

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

8
An approach to supporting incremental visual data classification
An approach to supporting incremental visual data classification
Material Type:
Artigo 		Adicionar ao Meu Espaço

An approach to supporting incremental visual data classification

José Gustavo S Paiva William Robson Schwartz; Hélio Pedrini; Rosane Minghim

IEEE Transactions on Visualization and Computer Graphics Los Alamitos : IEEE v. 21, n. 1, p. 4-17, jan. 2015

Los Alamitos 2015

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

9
Improved similarity trees and their application to visual data classification
Improved similarity trees and their application to visual data classification
Material Type:
Artigo 		Adicionar ao Meu Espaço

Improved similarity trees and their application to visual data classification

José Gustavo S Paiva Laura Florian-Cruz; Hélio Pedrini; Guilherme P Telles; Rosane Minghim

IEEE Transactions on Visualization and Computer Graphics Los Alamitos : IEEE Computer Society v. 17, n. 12, p. 2459-2468, dez. 2011

Los Alamitos 2011

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

10
Semi-supervised dimensionality reduction based on partial least squares for visual analysis of high dimensional data
Semi-supervised dimensionality reduction based on partial least squares for visual analysis of high dimensional data
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Semi-supervised dimensionality reduction based on partial least squares for visual analysis of high dimensional data

José Gustavo S Paiva William Robson Schwartz; Hélio Pedrini; Rosane Minghim; Eurographics Conference on Visualization - EuroVis (14. 2012 Vienna, Austria)

Computer Graphics Forum Malden : Wiley-Blackwell Publishing v. 31, n. 3, p. 1345-1354, 2012

Malden Blackwell Publishing 2012

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

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (11)

Refinar Meus Resultados

Tipo de Recurso 

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

Idioma 

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

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Isotani, S
  2. Paiva, R
  3. Minghim, R
  4. Paiva, D
  5. Paiva, J

Neste Assunto:

  1. Engenharia De Software
  2. Computação Gráfica
  3. Sistemas De Informação
  4. Processamento De Imagens
  5. Ontologia

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

Buscando em bases de dados remotas. Favor aguardar.