ReP USP - Resultado da busca

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: 13 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. 13 ] 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. 13 ] Available from: https://doi.org/10.1145/1363686.1363858
Trabalho de evento
A formal architectural model for exception handling coordination (2008)
Pereira, David Paulo; Melo, Ana Cristina Vieira de
Source: Proceedings. Conference titles: Symposium on Applied Computing - SAC. Unidade: IME
Assunto: ARQUITETURA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PEREIRA, David Paulo e MELO, Ana Cristina Vieira de. A formal architectural model for exception handling coordination. 2008, Anais.. New York: ACM, 2008. Disponível em: https://doi.org/10.1145/1363686.1363716. Acesso em: 13 nov. 2025.
APA
Pereira, D. P., & Melo, A. C. V. de. (2008). A formal architectural model for exception handling coordination. In Proceedings. New York: ACM. doi:10.1145/1363686.1363716
NLM
Pereira DP, Melo ACV de. A formal architectural model for exception handling coordination [Internet]. Proceedings. 2008 ;[citado 2025 nov. 13 ] Available from: https://doi.org/10.1145/1363686.1363716
Vancouver
Pereira DP, Melo ACV de. A formal architectural model for exception handling coordination [Internet]. Proceedings. 2008 ;[citado 2025 nov. 13 ] Available from: https://doi.org/10.1145/1363686.1363716
Trabalho de evento
On the composition of Java frameworks control-flows (2003)
Melo, Ana Cristina Vieira de; Moutinho, Bruno Martins
Source: Proceedings. Conference titles: Symposium on Applied Computing - SAC. Unidade: IME
Subjects: 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: 13 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. 13 ] 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. 13 ] Available from: https://doi.org/10.1145/952532.952747

USP Schools

ReP

Filtros