Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
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. |
|
2 |
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) |
|
3 |
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) |
|
4 |
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) |
|
5 |
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) |
|
6 |
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) |
|
7 |
Material Type: Artigo de Congresso
|
A practical evaluation of smartphone application on mesh networksDalton M Tavares (Dalton Matsuo Tavares) Anelisa P. da Silva (Anelisa Pereira da Silva); Stella J Bachega (Stella Jacyszyn Bachega); Rafael V Aroca (Rafael Vidal Aroca); Jó Ueyama; Glauco Augusto de Paula Caurin; Antônio Carlos de Oliveira Junior; International Conference on Wireless Networks - ICWN 2014 (3. 2014 Bali, Indonésia)Proceedings Athens, Georgia : CSREA Press, 2014Athens, Georgia CSREA Press 2014Acesso online. A biblioteca também possui exemplares impressos. |
|
8 |
Material Type: Monografia
|
Transformação arquitetural de contact center multicanal com RM-ODP e UML4ODPAndré Ferreira Dias Martins Jorge Luís Risco Becerra 1961-São Paulo EPUSP 2014Localização: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval (MBA/TI 2014 M366t )(Acessar) |
|
9 |
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) |
|
10 |
Material Type: Artigo de Congresso
|
Amnesia um objeto de aprendizagem para o ensino de hierarquia de memóriaFernando Tiosso Sarita Mazzini Bruschi; Paulo Sérgio Lopes de Souza; Ellen Francine Barbosa; Congresso Brasileiro de Informática na Educação - CBIE (3. 2014 Dourados); Simpósio Brasileiro de Informática na Educação - SBIE (25. 2014 Dourados)Anais Porto Alegre : SBC, 2014Porto Alegre SBC 2014Acesso online. A biblioteca também possui exemplares impressos. |