ReP USP - Resultado da busca

Filtros : "PROGRAMAÇÃO ORIENTADA A OBJETOS" "Xavier, Kleber da Silva" Limpar

Filtros

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: 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
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: 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

Biblioteca Digital de Produção Intelectual da Universidade de São Paulo 2012 - 2025

Unidades USP

ReP

Filtros