ReP USP - Resultado da busca

Dissertação (Mestrado)
Teste de integração contextual de programas orientados a objetos e a aspectos: critérios e automação (2010)
Neves, Vânia de Oliveira; Masiero, Paulo Cesar (Orientador)
Unidade: ICMC
Assuntos: PROGRAMAÇÃO ORIENTADA A OBJETOS, ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO, JAVA, PROGRAMAÇÃO ESTRUTURADA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
NEVES, Vânia de Oliveira. Teste de integração contextual de programas orientados a objetos e a aspectos: critérios e automação. 2010. Dissertação (Mestrado) – Universidade de São Paulo, São Carlos, 2010. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-08042010-163127/. Acesso em: 23 nov. 2025.
APA
Neves, V. de O. (2010). Teste de integração contextual de programas orientados a objetos e a aspectos: critérios e automação (Dissertação (Mestrado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-08042010-163127/
NLM
Neves V de O. Teste de integração contextual de programas orientados a objetos e a aspectos: critérios e automação [Internet]. 2010 ;[citado 2025 nov. 23 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-08042010-163127/
Vancouver
Neves V de O. Teste de integração contextual de programas orientados a objetos e a aspectos: critérios e automação [Internet]. 2010 ;[citado 2025 nov. 23 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-08042010-163127/
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
Fonte: Proceedings. Nome do evento: Symposium on Applied Computing - SAC. Unidade: IME
Assuntos: 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: 23 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. 23 ] 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. 23 ] 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
Fonte: Proceedings. Nome do evento: International Conference on Software Engineering and Formal Methods - SEFM. Unidade: IME
Assuntos: 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: 23 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. 23 ] 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. 23 ] Available from: https://doi.org/10.1109/SEFM.2008.31
Trabalho de evento
Pairwise structural testing of object and aspect-oriented Java programs (2007)
Franchin, Ivan Gustavo; Lemos, Otávio Augusto Lazzarini; Masiero, Paulo Cesar
Fonte: Anais. Nome do evento: Simpósio Brasileiro de Engenharia de Software - SBES. Unidade: ICMC
Assuntos: JAVA, PROGRAMAÇÃO ORIENTADA A OBJETOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FRANCHIN, Ivan Gustavo e LEMOS, Otávio Augusto Lazzarini e MASIERO, Paulo Cesar. Pairwise structural testing of object and aspect-oriented Java programs. 2007, Anais.. Porto Alegre: SBC, 2007. Disponível em: https://repositorio.usp.br/directbitstream/05f6b1e2-2186-42b4-8a24-1699dcc64c9b/3078578.pdf. Acesso em: 23 nov. 2025.
APA
Franchin, I. G., Lemos, O. A. L., & Masiero, P. C. (2007). Pairwise structural testing of object and aspect-oriented Java programs. In Anais. Porto Alegre: SBC. Recuperado de https://repositorio.usp.br/directbitstream/05f6b1e2-2186-42b4-8a24-1699dcc64c9b/3078578.pdf
NLM
Franchin IG, Lemos OAL, Masiero PC. Pairwise structural testing of object and aspect-oriented Java programs [Internet]. Anais. 2007 ;[citado 2025 nov. 23 ] Available from: https://repositorio.usp.br/directbitstream/05f6b1e2-2186-42b4-8a24-1699dcc64c9b/3078578.pdf
Vancouver
Franchin IG, Lemos OAL, Masiero PC. Pairwise structural testing of object and aspect-oriented Java programs [Internet]. Anais. 2007 ;[citado 2025 nov. 23 ] Available from: https://repositorio.usp.br/directbitstream/05f6b1e2-2186-42b4-8a24-1699dcc64c9b/3078578.pdf
Monografia/livro
Introdução à ciência da computação com Java e orientação a objetos (2006)
Kon, Fábio ; Goldman, Alfredo ; Silva, Paulo J. Silva e
Unidade: IME
Assuntos: LINGUAGEM DE PROGRAMAÇÃO, JAVA, PROGRAMAÇÃO ORIENTADA A OBJETOS, TÉCNICAS DE PROGRAMAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
KON, Fábio e GOLDMAN, Alfredo e SILVA, Paulo J. Silva e. Introdução à ciência da computação com Java e orientação a objetos. . São Paulo: IME-USP. . Acesso em: 23 nov. 2025. , 2006
APA
Kon, F., Goldman, A., & Silva, P. J. S. e. (2006). Introdução à ciência da computação com Java e orientação a objetos. São Paulo: IME-USP.
NLM
Kon F, Goldman A, Silva PJS e. Introdução à ciência da computação com Java e orientação a objetos. 2006 ;[citado 2025 nov. 23 ]
Vancouver
Kon F, Goldman A, Silva PJS e. Introdução à ciência da computação com Java e orientação a objetos. 2006 ;[citado 2025 nov. 23 ]
Trabalho de evento
On the composition of Java frameworks control-flows (2003)
Melo, Ana Cristina Vieira de; Moutinho, Bruno Martins
Fonte: Proceedings. Nome do evento: Symposium on Applied Computing - SAC. Unidade: IME
Assuntos: JAVA, PROGRAMAÇÃO ORIENTADA A OBJETOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MELO, Ana Cristina Vieira de e MOUTINHO, Bruno Martins. On the composition of Java frameworks control-flows. 2003, Anais.. New York: ACM, 2003. Disponível em: https://doi.org/10.1145/952532.952747. Acesso em: 23 nov. 2025.
APA
Melo, A. C. V. de, & Moutinho, B. M. (2003). On the composition of Java frameworks control-flows. In Proceedings. New York: ACM. doi:10.1145/952532.952747
NLM
Melo ACV de, Moutinho BM. On the composition of Java frameworks control-flows [Internet]. Proceedings. 2003 ;[citado 2025 nov. 23 ] Available from: https://doi.org/10.1145/952532.952747
Vancouver
Melo ACV de, Moutinho BM. On the composition of Java frameworks control-flows [Internet]. Proceedings. 2003 ;[citado 2025 nov. 23 ] Available from: https://doi.org/10.1145/952532.952747
Dissertação (Mestrado)
A.L.I.V.E. - Vida Artificial em Ambientes Virtuais: uma plataforma experimental em realidade virtual para estudos dos seres vivos e da dinâmica da vida (2003)
Neves, Rogério Perino de Oliveira; Netto, Marcio Lobo (Orientador)
Unidade: EP
Assuntos: REALIDADE VIRTUAL, PROGRAMAÇÃO ORIENTADA A OBJETOS, JAVA, SISTEMAS DISTRIBUÍDOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
NEVES, Rogério Perino de Oliveira. A.L.I.V.E. - Vida Artificial em Ambientes Virtuais: uma plataforma experimental em realidade virtual para estudos dos seres vivos e da dinâmica da vida. 2003. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2003. Disponível em: https://www.teses.usp.br/teses/disponiveis/3/3142/tde-21102024-120852/pt-br.php. Acesso em: 23 nov. 2025.
APA
Neves, R. P. de O. (2003). A.L.I.V.E. - Vida Artificial em Ambientes Virtuais: uma plataforma experimental em realidade virtual para estudos dos seres vivos e da dinâmica da vida (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/3/3142/tde-21102024-120852/pt-br.php
NLM
Neves RP de O. A.L.I.V.E. - Vida Artificial em Ambientes Virtuais: uma plataforma experimental em realidade virtual para estudos dos seres vivos e da dinâmica da vida [Internet]. 2003 ;[citado 2025 nov. 23 ] Available from: https://www.teses.usp.br/teses/disponiveis/3/3142/tde-21102024-120852/pt-br.php
Vancouver
Neves RP de O. A.L.I.V.E. - Vida Artificial em Ambientes Virtuais: uma plataforma experimental em realidade virtual para estudos dos seres vivos e da dinâmica da vida [Internet]. 2003 ;[citado 2025 nov. 23 ] Available from: https://www.teses.usp.br/teses/disponiveis/3/3142/tde-21102024-120852/pt-br.php

Unidades USP

ReP

Filtros

Autores

Autores USP

Assuntos