Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo de Congresso
|
Research in concurrent software testing a systematic reviewSimone 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, 2011New York, NY, USA ACM 2011Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-2215914 ) e outros locais(Acessar) |
|
2 |
Material Type: Artigo de Congresso
|
Incorporating certification in feature modelling of an unmanned aerial vehicle product lineRosana 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, 2012New York, NY ACM 2012Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-2301483 ) e outros locais(Acessar) |
|
3 |
Material Type: Artigo de Congresso
|
Using coverage and reachability testing to improve concurrent program testing qualitySimone 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, 2011Skokie Knowledge Systems Institute Graduate School 2011Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-2195110 )(Acessar) |
|
4 |
Material Type: Tese de Doutorado
|
Uma infra-estrutura de desenvolvimento de sistemas de informação orientados a serviços distribuídos para agricultura de precisão.Murakami, EdsonBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola Politécnica 2006-08-18Acesso online. A biblioteca também possui exemplares impressos. |
|
5 |
Material Type: Artigo de Congresso
|
A tool for structural testing of MPI programsAlexandre 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, 2007Cuzco IEEE Computer Society 2007Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-1590427 ) e outros locais(Acessar) |
|
6 |
Material Type: Artigo de Congresso
|
SAFE-CRITES developing safety-critical embedded systems supported by reuse techniquesRosana 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, 2011Piscataway IEEE 2011Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-2200999 ) e outros locais(Acessar) |
|
7 |
Material Type: Artigo de Congresso
|
ProLiCES an approach to develop product lines for safety-critical embedded systemsRosana 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, 2011Equador Pontificia Universidad Católica del Ecuador 2011Acesso online. A biblioteca também possui exemplares impressos. |
|
8 |
Material Type: Artigo de Congresso
|
Model-based testing of service-oriented applications via state modelsAndré Takeshi Endo Adenilso da Silva Simão; IEEE International Conference on Services Computing (8. 2011 Washington, DC)Proceedings Los Alamitos, CA : IEEE Computer Society, 2011Los Alamitos, CA IEEE Computer Society 2011Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-2201156 ) e outros locais(Acessar) |
|
9 |
Material Type: Artigo de Congresso
|
Tiriba a new approach of UAV based on model driven development and multiprocessorsKalinka 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, 2011Piscataway IEEE 2011Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-2207292 ) e outros locais(Acessar) |
|
10 |
Material Type: Dissertação de Mestrado
|
Arquitetura ODP-CIM aplicada na previsão distribuída da carga do sistema elétrico de potência.Bastos, Mário RobertoBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola Politécnica 2006-05-22Acesso online. A biblioteca também possui exemplares impressos. |