skip to main content
Resultados 1 2 3 4 next page
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Research in concurrent software testing a systematic review
Material Type:
Artigo de Congresso
Adicionar ao Meu Espaço

Research in concurrent software testing a systematic review

Simone do Rocio Senger de Souza Maria Adelina Silva Brito; Rodolfo Adamshuk Silva; Paulo Sérgio Lopes de Souza; Ed Zaluska; International Symposium on Software Testing and Analysis - ISSTA 2011 (2011 Toronto, ON, Canada); Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging - PADTAD 2011 (9. 2011 Toronto, ON, Canada)

Proceedings New York, NY : ACM, 2011

New York, NY, USA ACM 2011

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

2
Incorporating certification in feature modelling of an unmanned aerial vehicle product line
Material Type:
Artigo de Congresso
Adicionar ao Meu Espaço

Incorporating certification in feature modelling of an unmanned aerial vehicle product line

Rosana Teresinha Vaccare Braga Kalinka Regina Lucas Jaquie Castelo Branco; Onofre Trindade Junior; Jaejoon Lee; International Software Product Line Conference - SPLC 2012 (16. 2012 Salvador)

Proceedings New York : ACM, 2012

New York, NY ACM 2012

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

3
Using coverage and reachability testing to improve concurrent program testing quality
Material Type:
Artigo de Congresso
Adicionar ao Meu Espaço

Using coverage and reachability testing to improve concurrent program testing quality

Simone do Rocio Senger de Souza Paulo Sérgio Lopes de Souza; Mario Cesar da Cunha Machado; Mário Santos Camillo; Adenilso da Silva Simão; Ed Zaluska; International Conference on Software Engineering & Knowledge Engineering - SEKE (23. Miami 2011)

Proceedings Skokie : Knowledge Systems Institute Graduate School, 2011

Skokie Knowledge Systems Institute Graduate School 2011

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

4
Material Type:
Tese de Doutorado
Adicionar ao Meu Espaço

Uma infra-estrutura de desenvolvimento de sistemas de informação orientados a serviços distribuídos para agricultura de precisão.

Murakami, Edson

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola Politécnica 2006-08-18

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

5
Material Type:
Artigo de Congresso
Adicionar ao Meu Espaço

A tool for structural testing of MPI programs

Alexandre Ceolin Hausen Sílvia Regina Vergílio; Simone do Rocio Senger de Souza; Paulo Sérgio Lopes de Souza; Adenilso da Silva Simão; IEEE Latin-American TestWorkshop - LATW (8. 2007 Cuzco)

Proceedings Cuzco, 2007

Cuzco IEEE Computer Society 2007

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

6
SAFE-CRITES developing safety-critical embedded systems supported by reuse techniques
Material Type:
Artigo de Congresso
Adicionar ao Meu Espaço

SAFE-CRITES developing safety-critical embedded systems supported by reuse techniques

Rosana Teresinha Vaccare Braga Kalinka Regina Lucas Jaquie Castelo Branco; Onofre Trindade Junior; Luciano de Oliveira Neris; IEEE International Conference on Information Reuse and Integration - IRI (12. 2011 Las Vegas)

Proceedings Piscataway : IEEE, 2011

Piscataway IEEE 2011

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

7
Material Type:
Artigo de Congresso
Adicionar ao Meu Espaço

ProLiCES an approach to develop product lines for safety-critical embedded systems

Rosana Teresinha Vaccare Braga Kalinka Regina Lucas Jaquie Castelo Branco; Onofre Trindade Junior; Paulo Cesar Masiero; Luciano de Oliveira Neris; Martin Becker; Conferencia Latinoamericana de Informática - CLEI 2011 (37. 2011 Quito, Equador)

Anais Equador : Pontificia Universidad Católica del Ecuador, 2011

Equador Pontificia Universidad Católica del Ecuador 2011

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

8
Model-based testing of service-oriented applications via state models
Material Type:
Artigo de Congresso
Adicionar ao Meu Espaço

Model-based testing of service-oriented applications via state models

André Takeshi Endo Adenilso da Silva Simão; IEEE International Conference on Services Computing (8. 2011 Washington, DC)

Proceedings Los Alamitos, CA : IEEE Computer Society, 2011

Los Alamitos, CA IEEE Computer Society 2011

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

9
Material Type:
Artigo de Congresso
Adicionar ao Meu Espaço

Tiriba a new approach of UAV based on model driven development and multiprocessors

Kalinka Regina Lucas Jaquie Castelo Branco Jorge Marques Pelizzoni; Luciano de Oliveira Neris; Onofre Trindade Junior; Fernando Santos Osório; Denis Fernando Wolf; IEEE International Conference on Robotics and Automation - ICRA 2011 (2011 Shanghai, China)

Proceedings Piscataway : IEEE, 2011

Piscataway IEEE 2011

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

10
Material Type:
Dissertação de Mestrado
Adicionar ao Meu Espaço

Arquitetura ODP-CIM aplicada na previsão distribuída da carga do sistema elétrico de potência.

Bastos, Mário Roberto

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola Politécnica 2006-05-22

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

Resultados 1 2 3 4 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Recursos Online (5)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (33)
  2. Produções Acadêmicas  (3)
  3. Livros  (3)
  4. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de2007  (4)
  2. 2007Até2011  (8)
  3. 2012Até2013  (4)
  4. 2014Até2016  (19)
  5. Após 2016  (4)
  6. Mais opções open sub menu

Idioma 

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

Buscando em bases de dados remotas. Favor aguardar.