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; 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: 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) |
8 |
Material Type: Artigo de Congresso
|
![]() |
Adapting a software product line engineering process for certifying safety critical embedded systemsRosana Teresinha Vaccare Braga Onofre Trindade Junior; Kalinka Regina Lucas Jaquie Castelo Branco; Luciano de Oliveira Neris; Jaejoon Lee; International Conference on Computer Safety, Reliability and Security (31. 2012 Magdeburg, Germany)Lecture Notes in Computer Science Berlin : Springer-Verlag v. 7612, p. 352-363, 2012Berlin, Heidelberg Springer-Verlag 2012Localização: ICMC - Inst. Ciên. Mat. Computação (PROD 2311301 ) e outros locais(Acessar) |
9 |
Material Type: Artigo de Congresso
|
![]() |
A framework for software engineering experimental replicationsManuel G. Mendonça José Carlos Maldonado; Maria Cristina Ferreira de Oliveira; Jeffrey Carver; Sandra Camargo Pinto Ferraz Fabbri; Forrest Shull; Guilherme Horta Travassos; Erika Nina Höhn; Victor R Basili 1940-; IEEE International Conference on Engineering of Complex Computer Science (13 2008 Belfast)Proceedings Los Alamitos: IEEE, 2008Los Alamitos IEEE 2008Acesso online. A biblioteca também possui exemplares impressos. |
10 |
Material Type: Artigo de Congresso
|
![]() |
Enabling continuous software engineering for embedded systems architectures with virtual prototypesPablo Oliveira Antonino Matthias Jung; Andreas Morgenstern; Florian Faßnacht; Thomas Bauer; Adam Bachorek; Thomas Kuhn; Elisa Yumi Nakagawa; European Conference on Software Architecture - ECSA 2018 (12. 2018 Madri, Espanha)Lecture Notes in Computer Science Cham : Springer v. 11048, p. 115-130, 2018Cham Springer Nature Switzerland AG 2018Localização: ICMC - Inst. Ciên. Mat. Computação (PROD 2917108 )(Acessar) |