ReP USP - Resultado da busca

Dissertação (Mestrado)
Uma abordagem de apoio à avaliação e melhoria de processo de software baseada em metamodelagem e transformações de modelos (2016)
Feloni, Daniel Fernando Galego; Braga, Rosana Teresinha Vaccare (Orientador)
Unidade: ICMC
Subjects: TESTE E AVALIAÇÃO DE SOFTWARE, ENGENHARIA DE SOFTWARE, PROGRAMAÇÃO ORIENTADA A OBJETOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FELONI, Daniel Fernando Galego. Uma abordagem de apoio à avaliação e melhoria de processo de software baseada em metamodelagem e transformações de modelos. 2016. Dissertação (Mestrado) – Universidade de São Paulo, São Carlos, 2016. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-30112016-100756/. Acesso em: 09 nov. 2025.
APA
Feloni, D. F. G. (2016). Uma abordagem de apoio à avaliação e melhoria de processo de software baseada em metamodelagem e transformações de modelos (Dissertação (Mestrado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-30112016-100756/
NLM
Feloni DFG. Uma abordagem de apoio à avaliação e melhoria de processo de software baseada em metamodelagem e transformações de modelos [Internet]. 2016 ;[citado 2025 nov. 09 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-30112016-100756/
Vancouver
Feloni DFG. Uma abordagem de apoio à avaliação e melhoria de processo de software baseada em metamodelagem e transformações de modelos [Internet]. 2016 ;[citado 2025 nov. 09 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-30112016-100756/
Dissertação (Mestrado)
Teste estrutural de integração contextual de programas orientados a objetos e a aspectos (2011)
Cafeo, Bruno Barbieri de Pontes; Masiero, Paulo Cesar (Orientador)
Unidade: ICMC
Subjects: TESTE E AVALIAÇÃO DE SOFTWARE, PROGRAMAÇÃO ORIENTADA A OBJETOS, JAVA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
CAFEO, Bruno Barbieri de Pontes. Teste estrutural de integração contextual de programas orientados a objetos e a aspectos. 2011. Dissertação (Mestrado) – Universidade de São Paulo, São Carlos, 2011. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-12082011-103432/. Acesso em: 09 nov. 2025.
APA
Cafeo, B. B. de P. (2011). Teste estrutural de integração contextual de programas orientados a objetos e a aspectos (Dissertação (Mestrado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-12082011-103432/
NLM
Cafeo BB de P. Teste estrutural de integração contextual de programas orientados a objetos e a aspectos [Internet]. 2011 ;[citado 2025 nov. 09 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-12082011-103432/
Vancouver
Cafeo BB de P. Teste estrutural de integração contextual de programas orientados a objetos e a aspectos [Internet]. 2011 ;[citado 2025 nov. 09 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-12082011-103432/
Trabalho de evento
Towards verification and testing of Java programs (2008)
Melo, Ana Cristina Vieira de; Nunes, Paulo Roberto de Araújo França; Xavier, Kleber da Silva
Source: Proceedings. Conference titles: Symposium on Applied Computing - SAC. Unidade: IME
Subjects: JAVA, PROGRAMAÇÃO ORIENTADA A OBJETOS, TESTE E AVALIAÇÃO DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MELO, Ana Cristina Vieira de e NUNES, Paulo Roberto de Araújo França e XAVIER, Kleber da Silva. Towards verification and testing of Java programs. 2008, Anais.. New York: ACM, 2008. Disponível em: https://doi.org/10.1145/1363686.1363858. Acesso em: 09 nov. 2025.
APA
Melo, A. C. V. de, Nunes, P. R. de A. F., & Xavier, K. da S. (2008). Towards verification and testing of Java programs. In Proceedings. New York: ACM. doi:10.1145/1363686.1363858
NLM
Melo ACV de, Nunes PR de AF, Xavier K da S. Towards verification and testing of Java programs [Internet]. Proceedings. 2008 ;[citado 2025 nov. 09 ] Available from: https://doi.org/10.1145/1363686.1363858
Vancouver
Melo ACV de, Nunes PR de AF, Xavier K da S. Towards verification and testing of Java programs [Internet]. Proceedings. 2008 ;[citado 2025 nov. 09 ] Available from: https://doi.org/10.1145/1363686.1363858
Trabalho de evento
Using formal verification to reduce test space of fault-tolerant programs (2008)
Xavier, Kleber da Silva; Hanazumi , Simone; Melo, Ana Cristina Vieira de
Source: Proceedings. Conference titles: International Conference on Software Engineering and Formal Methods - SEFM. Unidade: IME
Subjects: PROGRAMAÇÃO ORIENTADA A OBJETOS, JAVA, TESTE E AVALIAÇÃO DE SOFTWARE, LÓGICA FORMAL, ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
XAVIER, Kleber da Silva e HANAZUMI , Simone e MELO, Ana Cristina Vieira de. Using formal verification to reduce test space of fault-tolerant programs. 2008, Anais.. Piscataway: IEEE, 2008. Disponível em: https://doi.org/10.1109/SEFM.2008.31. Acesso em: 09 nov. 2025.
APA
Xavier, K. da S., Hanazumi , S., & Melo, A. C. V. de. (2008). Using formal verification to reduce test space of fault-tolerant programs. In Proceedings. Piscataway: IEEE. doi:10.1109/SEFM.2008.31
NLM
Xavier K da S, Hanazumi S, Melo ACV de. Using formal verification to reduce test space of fault-tolerant programs [Internet]. Proceedings. 2008 ;[citado 2025 nov. 09 ] Available from: https://doi.org/10.1109/SEFM.2008.31
Vancouver
Xavier K da S, Hanazumi S, Melo ACV de. Using formal verification to reduce test space of fault-tolerant programs [Internet]. Proceedings. 2008 ;[citado 2025 nov. 09 ] Available from: https://doi.org/10.1109/SEFM.2008.31
Artigo de periodico
Control and data flow structural testing criteria for aspect-oriented programs (2007)
Lemos, Otávio Augusto Lazzarini; Vincenzi, Auri Marcelo Rizzo; Maldonado, José Carlos ; Masiero, Paulo Cesar
Source: The Journal of Systems and Software. Unidade: ICMC
Subjects: ENGENHARIA DE SOFTWARE, TESTE E AVALIAÇÃO DE SOFTWARE, PROGRAMAÇÃO ORIENTADA A OBJETOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
LEMOS, Otávio Augusto Lazzarini et al. Control and data flow structural testing criteria for aspect-oriented programs. The Journal of Systems and Software, v. 80, p. 862-882, 2007Tradução . . Disponível em: https://doi.org/10.1016/j.jss.2006.08.022. Acesso em: 09 nov. 2025.
APA
Lemos, O. A. L., Vincenzi, A. M. R., Maldonado, J. C., & Masiero, P. C. (2007). Control and data flow structural testing criteria for aspect-oriented programs. The Journal of Systems and Software, 80, 862-882. doi:10.1016/j.jss.2006.08.022
NLM
Lemos OAL, Vincenzi AMR, Maldonado JC, Masiero PC. Control and data flow structural testing criteria for aspect-oriented programs [Internet]. The Journal of Systems and Software. 2007 ; 80 862-882.[citado 2025 nov. 09 ] Available from: https://doi.org/10.1016/j.jss.2006.08.022
Vancouver
Lemos OAL, Vincenzi AMR, Maldonado JC, Masiero PC. Control and data flow structural testing criteria for aspect-oriented programs [Internet]. The Journal of Systems and Software. 2007 ; 80 862-882.[citado 2025 nov. 09 ] Available from: https://doi.org/10.1016/j.jss.2006.08.022
Dissertação (Mestrado)
Teste estrutural de integração par-a-par de programas orientados a objetos e a aspectos: critérios e automatização (2007)
Franchin, Ivan Gustavo; Masiero, Paulo Cesar (Orientador)
Unidade: ICMC
Subjects: PROGRAMAÇÃO ORIENTADA A OBJETOS, TESTE E AVALIAÇÃO DE SOFTWARE, INTEGRAÇÃO (TESTES), ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FRANCHIN, Ivan Gustavo. Teste estrutural de integração par-a-par de programas orientados a objetos e a aspectos: critérios e automatização. 2007. Dissertação (Mestrado) – Universidade de São Paulo, São Carlos, 2007. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-30052007-005908/. Acesso em: 09 nov. 2025.
APA
Franchin, I. G. (2007). Teste estrutural de integração par-a-par de programas orientados a objetos e a aspectos: critérios e automatização (Dissertação (Mestrado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-30052007-005908/
NLM
Franchin IG. Teste estrutural de integração par-a-par de programas orientados a objetos e a aspectos: critérios e automatização [Internet]. 2007 ;[citado 2025 nov. 09 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-30052007-005908/
Vancouver
Franchin IG. Teste estrutural de integração par-a-par de programas orientados a objetos e a aspectos: critérios e automatização [Internet]. 2007 ;[citado 2025 nov. 09 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-30052007-005908/
Dissertação (Mestrado)
Ensino integrado de fundamentos de programação e teste de software (2006)
Corte, Camila Kozlowski Della; Maldonado, José Carlos (Orientador)
Unidade: ICMC
Subjects: TESTE E AVALIAÇÃO DE SOFTWARE, PROGRAMAÇÃO ORIENTADA A OBJETOS, ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
CORTE, Camila Kozlowski Della. Ensino integrado de fundamentos de programação e teste de software. 2006. Dissertação (Mestrado) – Universidade de São Paulo, São Carlos, 2006. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-03072006-094907/. Acesso em: 09 nov. 2025.
APA
Corte, C. K. D. (2006). Ensino integrado de fundamentos de programação e teste de software (Dissertação (Mestrado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-03072006-094907/
NLM
Corte CKD. Ensino integrado de fundamentos de programação e teste de software [Internet]. 2006 ;[citado 2025 nov. 09 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-03072006-094907/
Vancouver
Corte CKD. Ensino integrado de fundamentos de programação e teste de software [Internet]. 2006 ;[citado 2025 nov. 09 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-03072006-094907/

USP Schools

ReP

Filtros

Authors

USP affiliated authors

Subjects