Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo de Congresso
|
An approach for frameworks construction and instantiation using pattern languagesRosana Teresinha Vaccare Braga Paulo Cesar Masiero; International Conference on Computer Science, Software Engineering, Information Technology, e-Business, and Applications (2002 Foz de Iguaçu)Proceedings of the ACIS Mt. Pleasant: ACIS, 2002Mt. Pleasant ACIS 2002Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-1243193 ) e outros locais(Acessar) |
|
2 |
Material Type: Artigo de Congresso
|
Combining clustering and inductive learning to find and interpret patterns from datasetsClaudia Aparecida Martins Maria Carolina Monard 1941-; Gisele Cristine Halembeck; International Conference on Computer Science, Software Engineering, Information Technology, e-Business, and Applications (2002 Foz do Iguaçu)Proceedings of the ACIS Mt. Pleasant: ACIS, 2002Mt. Pleasant ACIS 2002Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-1243004 ) e outros locais(Acessar) |
|
3 |
Material Type: Artigo de Congresso
|
Data flow testing of programs with pointers and records implementation, effectiveness, and costMarcos Lordello Chaim José Carlos Maldonado; Mário Jino; Plínio Roberto Souza Vilela; International Conference on Computer Science, Software Engineering, Information Technology, e-Business, and Applications (2002 Foz do Iguaçu)Proceedings of the ACIS Mt. Pleasant: ACIS, 2002Mt. Pleasant ACIS 2002Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-1243178 ) e outros locais(Acessar) |
|
4 |
Material Type: Artigo de Congresso
|
A model-driven approach for promoting cloud PaaS portabilityElias Adriano Nogueira da Silva Renata Pontin de Mattos Fortes; Daniel Lucrédio; Annual International Conference on Computer Science and Software Engineering - CASCON (23. 2013 Markhan, Canada)Proceedings Markhan : CAS Research/IBM Canada, 2013Markham CAS Research/IBM Canada 2013Acesso online. A biblioteca também possui exemplares impressos. |
|
5 |
Material Type: Artigo de Congresso
|
On the testability of properties patternsSimone Hanazumi Ana Cristina Vieira de Melo; International Conference on Software Engineering and Formal Methods - SEFM (13. 2015 York, UK)Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings Cham: Springer, 2015Cham Springer 2015Localização: IME - Inst. Matemática e Estatística (PROD-2726917 )(Acessar) |
|
6 |
Material Type: Artigo de Congresso
|
Modeling and simulating interaction protocols using nested Petri netsMirtha Lina Fernández Venero Flávio Soares Corrêa da Silva; International Conference on Software Engineering and Formal Methods - SEFM (11th, 2013, Madrid)Software engineering and formal methods Cham: Springer, 2014Cham Springer 2014Localização: IME - Inst. Matemática e Estatística (PROD-2506371 )(Acessar) |
|
7 |
Material Type: Dissertação de Mestrado
|
Arquitetura de software para sistemas de tempo real.Oliveira, Wilson Prates DeBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola Politécnica 2011-10-11Acesso online. A biblioteca também possui exemplares impressos. |
|
8 |
Material Type: Outros
|
Middleware 2011 ACM/IFIP/USENIX 12th International Middleware Conference, Lisbon, Portugal, December 12-16, 2011, ProceedingsAnne-Marie Kermarrec Fábio Kon 1969-; ACM/IFIP/USENIX international Conference on Middleware (12. 2011 Lisbon, Portugal)Berlin Springer 2011Localização: IME - Inst. Matemática e Estatística (PROD-3001189 )(Acessar) |
|
9 |
Material Type: Livro
|
Welcome to the 12th edition of the ACM/IFIP/USENIX International Middleware Conference. [Prefácio]Anne-Marie Kermarrec Fábio Kon 1969-; ACM/IFIP/USENIX international Conference on Middleware (12. 2011 Lisbon, Portugal)Kon, Fabio; Kermarrec, Anne-Marie, ed Middleware 2011 : ACM/IFIP/USENIX 12th International Middleware Conference, Lisbon, Portugal, December 12-16, 2011, Proceedings Berlin : Springer, 2011Berlin Springer 2011Acesso online. A biblioteca também possui exemplares impressos. |
|
10 |
Material Type: Artigo de Congresso
|
Software testing an overviewPatricia Duarte de Lima Machado Auri Marcelo Rizzo Vincenzi; José Carlos Maldonado; Pernambuco Summer School on Software Engineering - PSSE (2. 2010 Recife, PE)Lecture Notes in Computer Sciences Heidelberg : Springer-Verlag v. 6153, p. 1-17, 2010Heidelberg Springer-Verlag 2010Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-2139994 ) e outros locais(Acessar) |