ReP USP - Resultado da busca

Dissertação (Mestrado)
A formalization of a startup finance transaction model using Alloy (2023)
Stevaux, Rodrigo Ehrlich; Melo, Ana Cristina Vieira de (Orientador)
Unidade: IME
Subjects: MÉTODOS DE DESENVOLVIMENTO DE SOFTWARE, VERIFICAÇÃO E VALIDAÇÃO DE SOFTWARE, CAPITAL DE RISCO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
STEVAUX, Rodrigo Ehrlich. A formalization of a startup finance transaction model using Alloy. 2023. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2023. Disponível em: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-05042024-151358/. Acesso em: 27 nov. 2025.
APA
Stevaux, R. E. (2023). A formalization of a startup finance transaction model using Alloy (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/45/45134/tde-05042024-151358/
NLM
Stevaux RE. A formalization of a startup finance transaction model using Alloy [Internet]. 2023 ;[citado 2025 nov. 27 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-05042024-151358/
Vancouver
Stevaux RE. A formalization of a startup finance transaction model using Alloy [Internet]. 2023 ;[citado 2025 nov. 27 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-05042024-151358/
Trabalho de evento
Continuous evaluation of consistency in software architecture models (2023)
Biswas, Priom ; Morgenstern, Andreas ; Antonino, Pablo Oliveira ; Capilla, Rafael ; Nakagawa, Elisa Yumi
Source: Proceedings. Conference titles: European Conference - ECSA. Unidade: ICMC
Subjects: ARQUITETURA DE SOFTWARE, VERIFICAÇÃO E VALIDAÇÃO DE SOFTWARE, INDÚSTRIA 4.0
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BISWAS, Priom et al. Continuous evaluation of consistency in software architecture models. 2023, Anais.. New York: ACM, 2023. Disponível em: https://doi.org/10.1007/978-3-031-42592-9_10. Acesso em: 27 nov. 2025.
APA
Biswas, P., Morgenstern, A., Antonino, P. O., Capilla, R., & Nakagawa, E. Y. (2023). Continuous evaluation of consistency in software architecture models. In Proceedings. New York: ACM. doi:10.1007/978-3-031-42592-9_10
NLM
Biswas P, Morgenstern A, Antonino PO, Capilla R, Nakagawa EY. Continuous evaluation of consistency in software architecture models [Internet]. Proceedings. 2023 ;[citado 2025 nov. 27 ] Available from: https://doi.org/10.1007/978-3-031-42592-9_10
Vancouver
Biswas P, Morgenstern A, Antonino PO, Capilla R, Nakagawa EY. Continuous evaluation of consistency in software architecture models [Internet]. Proceedings. 2023 ;[citado 2025 nov. 27 ] Available from: https://doi.org/10.1007/978-3-031-42592-9_10
Dissertação (Mestrado)
Teste de pares de arestas: automatização e experimentação (2023)
Silva, Matheus Soares; Chaim, Marcos Lordello (Orientador)
Unidade: EACH
Subjects: TESTE E AVALIAÇÃO DE SOFTWARE, VERIFICAÇÃO E VALIDAÇÃO DE SOFTWARE, DESENVOLVIMENTO DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SILVA, Matheus Soares. Teste de pares de arestas: automatização e experimentação. 2023. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2023. Disponível em: https://www.teses.usp.br/teses/disponiveis/100/100131/tde-07022024-233852/. Acesso em: 27 nov. 2025.
APA
Silva, M. S. (2023). Teste de pares de arestas: automatização e experimentação (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/100/100131/tde-07022024-233852/
NLM
Silva MS. Teste de pares de arestas: automatização e experimentação [Internet]. 2023 ;[citado 2025 nov. 27 ] Available from: https://www.teses.usp.br/teses/disponiveis/100/100131/tde-07022024-233852/
Vancouver
Silva MS. Teste de pares de arestas: automatização e experimentação [Internet]. 2023 ;[citado 2025 nov. 27 ] Available from: https://www.teses.usp.br/teses/disponiveis/100/100131/tde-07022024-233852/
Artigo de periodico
Evaluation of systems-of-systems sotware architectures: state of the art and future perspectives (2022)
Santos, Daniel Soares; Oliveira, Brauner Roberto do Nascimento ; Kazman, Rick ; Nakagawa, Elisa Yumi
Unidade: ICMC
Subjects: ARQUITETURA DE SOFTWARE, QUALIDADE DE SOFTWARE, VERIFICAÇÃO E VALIDAÇÃO DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SANTOS, Daniel Soares et al. Evaluation of systems-of-systems sotware architectures: state of the art and future perspectives. v. 55, n. 4, p. 1-35, 2022Tradução . . Disponível em: https://doi.org/10.1145/3519020. Acesso em: 27 nov. 2025.
APA
Santos, D. S., Oliveira, B. R. do N., Kazman, R., & Nakagawa, E. Y. (2022). Evaluation of systems-of-systems sotware architectures: state of the art and future perspectives, 55( 4), 1-35. doi:10.1145/3519020
NLM
Santos DS, Oliveira BR do N, Kazman R, Nakagawa EY. Evaluation of systems-of-systems sotware architectures: state of the art and future perspectives [Internet]. 2022 ; 55( 4): 1-35.[citado 2025 nov. 27 ] Available from: https://doi.org/10.1145/3519020
Vancouver
Santos DS, Oliveira BR do N, Kazman R, Nakagawa EY. Evaluation of systems-of-systems sotware architectures: state of the art and future perspectives [Internet]. 2022 ; 55( 4): 1-35.[citado 2025 nov. 27 ] Available from: https://doi.org/10.1145/3519020
Trabalho de evento-resumo
Desenvolvimento de uma aplicação para o cálculo de similaridade e parentesco entre conceitos de uma ontologia na área de química medicinal (2022)
Melo, Jéssica da Paixão; Santos, Leonardo Cunha dos; Pérez-Alcázar, José de Jesús
Source: 29º SIICUSP-EACH 2021: Simpósio Internacional de Iniciação Científica e Tecnológica da USP: livro de resumos. Conference titles: Simpósio Internacional de Iniciação Científica e Tecnológica da USP. Unidade: EACH
Subjects: QUÍMICA MÉDICA, QUÍMICA FARMACÊUTICA, ONTOLOGIAS, VERIFICAÇÃO E VALIDAÇÃO DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MELO, Jéssica da Paixão e SANTOS, Leonardo Cunha dos e PÉREZ-ALCÁZAR, José de Jesús. Desenvolvimento de uma aplicação para o cálculo de similaridade e parentesco entre conceitos de uma ontologia na área de química medicinal. 2022, Anais.. São Paulo: Escola de Artes, Ciências e Humanidades, 2022. p. 73-75. Disponível em: http://www5.each.usp.br/wp-content/uploads/2022/02/ANAIS-29%C2%BA-SIICUSP-EACH_USP.pdf. Acesso em: 27 nov. 2025.
APA
Melo, J. da P., Santos, L. C. dos, & Pérez-Alcázar, J. de J. (2022). Desenvolvimento de uma aplicação para o cálculo de similaridade e parentesco entre conceitos de uma ontologia na área de química medicinal. In 29º SIICUSP-EACH 2021: Simpósio Internacional de Iniciação Científica e Tecnológica da USP: livro de resumos (p. 73-75). São Paulo: Escola de Artes, Ciências e Humanidades. Recuperado de http://www5.each.usp.br/wp-content/uploads/2022/02/ANAIS-29%C2%BA-SIICUSP-EACH_USP.pdf
NLM
Melo J da P, Santos LC dos, Pérez-Alcázar J de J. Desenvolvimento de uma aplicação para o cálculo de similaridade e parentesco entre conceitos de uma ontologia na área de química medicinal [Internet]. 29º SIICUSP-EACH 2021: Simpósio Internacional de Iniciação Científica e Tecnológica da USP: livro de resumos. 2022 ; 73-75.[citado 2025 nov. 27 ] Available from: http://www5.each.usp.br/wp-content/uploads/2022/02/ANAIS-29%C2%BA-SIICUSP-EACH_USP.pdf
Vancouver
Melo J da P, Santos LC dos, Pérez-Alcázar J de J. Desenvolvimento de uma aplicação para o cálculo de similaridade e parentesco entre conceitos de uma ontologia na área de química medicinal [Internet]. 29º SIICUSP-EACH 2021: Simpósio Internacional de Iniciação Científica e Tecnológica da USP: livro de resumos. 2022 ; 73-75.[citado 2025 nov. 27 ] Available from: http://www5.each.usp.br/wp-content/uploads/2022/02/ANAIS-29%C2%BA-SIICUSP-EACH_USP.pdf
Trabalho de evento
Can we use the flipped classroom model to teach black-box testing to computer students? (2019)
Paschoal, Leo Natan ; Nakagawa, Elisa Yumi ; Oliveira, Brauner Roberto do Nascimento ; Souza, Simone do Rocio Senger de
Source: Proceedings. Conference titles: Brazilian Symposium on Software Quality - SBQS. Unidade: ICMC
Subjects: COMPUTADOR NO ENSINO, APRENDIZAGEM, VERIFICAÇÃO E VALIDAÇÃO DE SOFTWARE, SALA DE AULA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PASCHOAL, Leo Natan et al. Can we use the flipped classroom model to teach black-box testing to computer students? 2019, Anais.. New York: ACM, 2019. Disponível em: https://doi.org/10.1145/3364641.3364659. Acesso em: 27 nov. 2025.
APA
Paschoal, L. N., Nakagawa, E. Y., Oliveira, B. R. do N., & Souza, S. do R. S. de. (2019). Can we use the flipped classroom model to teach black-box testing to computer students? In Proceedings. New York: ACM. doi:10.1145/3364641.3364659
NLM
Paschoal LN, Nakagawa EY, Oliveira BR do N, Souza S do RS de. Can we use the flipped classroom model to teach black-box testing to computer students? [Internet]. Proceedings. 2019 ;[citado 2025 nov. 27 ] Available from: https://doi.org/10.1145/3364641.3364659
Vancouver
Paschoal LN, Nakagawa EY, Oliveira BR do N, Souza S do RS de. Can we use the flipped classroom model to teach black-box testing to computer students? [Internet]. Proceedings. 2019 ;[citado 2025 nov. 27 ] Available from: https://doi.org/10.1145/3364641.3364659
Trabalho de evento
Software testing education: dreams and challenges when bringing academia and industry closer together (2019)
Andrade, Stevão Alves de ; Neves, Vânia de Oliveira ; Delamaro, Márcio Eduardo
Source: Proceedings. Conference titles: Congresso Brasileiro de Software - CBSoft. Unidade: ICMC
Subjects: TESTE E AVALIAÇÃO DE SOFTWARE, VERIFICAÇÃO E VALIDAÇÃO DE SOFTWARE, ENSINO, APRENDIZAGEM
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ANDRADE, Stevão Alves de e NEVES, Vânia de Oliveira e DELAMARO, Márcio Eduardo. Software testing education: dreams and challenges when bringing academia and industry closer together. 2019, Anais.. New York: ACM, 2019. Disponível em: https://doi.org/10.1145/3350768.3353903. Acesso em: 27 nov. 2025.
APA
Andrade, S. A. de, Neves, V. de O., & Delamaro, M. E. (2019). Software testing education: dreams and challenges when bringing academia and industry closer together. In Proceedings. New York: ACM. doi:10.1145/3350768.3353903
NLM
Andrade SA de, Neves V de O, Delamaro ME. Software testing education: dreams and challenges when bringing academia and industry closer together [Internet]. Proceedings. 2019 ;[citado 2025 nov. 27 ] Available from: https://doi.org/10.1145/3350768.3353903
Vancouver
Andrade SA de, Neves V de O, Delamaro ME. Software testing education: dreams and challenges when bringing academia and industry closer together [Internet]. Proceedings. 2019 ;[citado 2025 nov. 27 ] Available from: https://doi.org/10.1145/3350768.3353903
Tese (Doutorado)
Avaliação da acurácia, reprodutibilidade e rapidez do Glaucoma Staging Application (GSA) na classificação das alterações campimétricas no glaucoma (2019)
Germano, Renato Antunes Schiave; Susanna Junior, Remo (Orientador)
Unidade: FM
Subjects: GLAUCOMA, TESTES DE CAMPO VISUAL, REPRODUTIBILIDADE DE RESULTADOS, VERIFICAÇÃO E VALIDAÇÃO DE SOFTWARE, AVANÇO DA DOENÇA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
GERMANO, Renato Antunes Schiave. Avaliação da acurácia, reprodutibilidade e rapidez do Glaucoma Staging Application (GSA) na classificação das alterações campimétricas no glaucoma. 2019. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2019. Disponível em: http://www.teses.usp.br/teses/disponiveis/5/5149/tde-11032020-120747/. Acesso em: 27 nov. 2025.
APA
Germano, R. A. S. (2019). Avaliação da acurácia, reprodutibilidade e rapidez do Glaucoma Staging Application (GSA) na classificação das alterações campimétricas no glaucoma (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/5/5149/tde-11032020-120747/
NLM
Germano RAS. Avaliação da acurácia, reprodutibilidade e rapidez do Glaucoma Staging Application (GSA) na classificação das alterações campimétricas no glaucoma [Internet]. 2019 ;[citado 2025 nov. 27 ] Available from: http://www.teses.usp.br/teses/disponiveis/5/5149/tde-11032020-120747/
Vancouver
Germano RAS. Avaliação da acurácia, reprodutibilidade e rapidez do Glaucoma Staging Application (GSA) na classificação das alterações campimétricas no glaucoma [Internet]. 2019 ;[citado 2025 nov. 27 ] Available from: http://www.teses.usp.br/teses/disponiveis/5/5149/tde-11032020-120747/
Dissertação (Mestrado)
Método de modelagem e verificação formal aplicado a sistemas de tráfego aéreo (2018)
Costa, Rafael Leme; Maruyama, Newton (Orientador)
Unidade: EP
Subjects: TRÁFEGO AÉREO, VERIFICAÇÃO E VALIDAÇÃO DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
COSTA, Rafael Leme. Método de modelagem e verificação formal aplicado a sistemas de tráfego aéreo. 2018. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2018. Disponível em: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-05112018-091509/. Acesso em: 27 nov. 2025.
APA
Costa, R. L. (2018). Método de modelagem e verificação formal aplicado a sistemas de tráfego aéreo (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3152/tde-05112018-091509/
NLM
Costa RL. Método de modelagem e verificação formal aplicado a sistemas de tráfego aéreo [Internet]. 2018 ;[citado 2025 nov. 27 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-05112018-091509/
Vancouver
Costa RL. Método de modelagem e verificação formal aplicado a sistemas de tráfego aéreo [Internet]. 2018 ;[citado 2025 nov. 27 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-05112018-091509/
Trabalho de evento
Where are the minimal mutants? (2018)
Delamaro, Márcio Eduardo ; Chaim, Marcos Lordello ; Maldonado, José Carlos
Source: Proceedings. Conference titles: Simpósio Brasileiro de Engenharia de Software. Unidades: ICMC, EACH
Subjects: ENGENHARIA DE SOFTWARE, VERIFICAÇÃO E VALIDAÇÃO DE SOFTWARE, TESTE E AVALIAÇÃO DE SOFTWARE, QUALIDADE DE SOFTWARE, ANÁLISE DE MUTANTES
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
DELAMARO, Márcio Eduardo e CHAIM, Marcos Lordello e MALDONADO, José Carlos. Where are the minimal mutants? 2018, Anais.. New York, NY: ACM, 2018. Disponível em: https://doi.org/10.1145/3266237.3266241. Acesso em: 27 nov. 2025.
APA
Delamaro, M. E., Chaim, M. L., & Maldonado, J. C. (2018). Where are the minimal mutants? In Proceedings. New York, NY: ACM. doi:10.1145/3266237.3266241
NLM
Delamaro ME, Chaim ML, Maldonado JC. Where are the minimal mutants? [Internet]. Proceedings. 2018 ;[citado 2025 nov. 27 ] Available from: https://doi.org/10.1145/3266237.3266241
Vancouver
Delamaro ME, Chaim ML, Maldonado JC. Where are the minimal mutants? [Internet]. Proceedings. 2018 ;[citado 2025 nov. 27 ] Available from: https://doi.org/10.1145/3266237.3266241
Artigo de periodico
Serious games in virtual environments for health teaching and learning (2017)
Santos, Cristiano Alves dos; Souza Júnior, Valtuir Duarte; Lanza, Flávio Ferreira; Lacerda, Allan Jonny; Jorge, Beatriz Maria; Mendes, Isabel Amélia Costa
Source: RENE: Revista da Rede de Enfermagem do Nordeste. Unidade: EERP
Subjects: JOGOS DE COMPUTADOR, SIMULAÇÃO (APRENDIZAGEM), EDUCAÇÃO EM SAÚDE, VERIFICAÇÃO E VALIDAÇÃO DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SANTOS, Cristiano Alves dos et al. Serious games in virtual environments for health teaching and learning. RENE: Revista da Rede de Enfermagem do Nordeste, v. 18, n. 5, p. 702-709, 2017Tradução . . Disponível em: https://doi.org/10.15253/2175-6783.2017000500019. Acesso em: 27 nov. 2025.
APA
Santos, C. A. dos, Souza Júnior, V. D., Lanza, F. F., Lacerda, A. J., Jorge, B. M., & Mendes, I. A. C. (2017). Serious games in virtual environments for health teaching and learning. RENE: Revista da Rede de Enfermagem do Nordeste, 18( 5), 702-709. doi:10.15253/2175-6783.2017000500019
NLM
Santos CA dos, Souza Júnior VD, Lanza FF, Lacerda AJ, Jorge BM, Mendes IAC. Serious games in virtual environments for health teaching and learning [Internet]. RENE: Revista da Rede de Enfermagem do Nordeste. 2017 ; 18( 5): 702-709.[citado 2025 nov. 27 ] Available from: https://doi.org/10.15253/2175-6783.2017000500019
Vancouver
Santos CA dos, Souza Júnior VD, Lanza FF, Lacerda AJ, Jorge BM, Mendes IAC. Serious games in virtual environments for health teaching and learning [Internet]. RENE: Revista da Rede de Enfermagem do Nordeste. 2017 ; 18( 5): 702-709.[citado 2025 nov. 27 ] Available from: https://doi.org/10.15253/2175-6783.2017000500019
Trabalho de evento
A classification of test purposes based on testable properties (2015)
Hanazumi, Simone; Melo, Ana Cristina Vieira de
Source: Computational Science and Its Applications - ICCSA 2015: 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part I. Conference titles: International Conference on Computational Science and Its Applications - ICCSA. Unidade: IME
Subjects: VERIFICAÇÃO E VALIDAÇÃO DE SOFTWARE, TESTE E AVALIAÇÃO DE SOFTWARE, DESENVOLVIMENTO DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
HANAZUMI, Simone e MELO, Ana Cristina Vieira de. A classification of test purposes based on testable properties. 2015, Anais.. Cham: Springer, 2015. Disponível em: https://doi.org/10.1007/978-3-319-21404-7_31. Acesso em: 27 nov. 2025.
APA
Hanazumi, S., & Melo, A. C. V. de. (2015). A classification of test purposes based on testable properties. In Computational Science and Its Applications - ICCSA 2015: 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part I. Cham: Springer. doi:10.1007/978-3-319-21404-7_31
NLM
Hanazumi S, Melo ACV de. A classification of test purposes based on testable properties [Internet]. Computational Science and Its Applications - ICCSA 2015: 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part I. 2015 ;[citado 2025 nov. 27 ] Available from: https://doi.org/10.1007/978-3-319-21404-7_31
Vancouver
Hanazumi S, Melo ACV de. A classification of test purposes based on testable properties [Internet]. Computational Science and Its Applications - ICCSA 2015: 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part I. 2015 ;[citado 2025 nov. 27 ] Available from: https://doi.org/10.1007/978-3-319-21404-7_31
Trabalho de evento
On the testability of properties patterns (2015)
Hanazumi, Simone; Melo, Ana Cristina Vieira de
Source: Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings. Conference titles: International Conference on Software Engineering and Formal Methods - SEFM. Unidade: IME
Subjects: VERIFICAÇÃO E VALIDAÇÃO DE SOFTWARE, TESTE E AVALIAÇÃO DE SOFTWARE, DESENVOLVIMENTO DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
HANAZUMI, Simone e MELO, Ana Cristina Vieira de. On the testability of properties patterns. 2015, Anais.. Cham: Springer, 2015. Disponível em: https://doi.org/10.1007/978-3-319-22969-0_11. Acesso em: 27 nov. 2025.
APA
Hanazumi, S., & Melo, A. C. V. de. (2015). On the testability of properties patterns. In Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings. Cham: Springer. doi:10.1007/978-3-319-22969-0_11
NLM
Hanazumi S, Melo ACV de. On the testability of properties patterns [Internet]. Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings. 2015 ;[citado 2025 nov. 27 ] Available from: https://doi.org/10.1007/978-3-319-22969-0_11
Vancouver
Hanazumi S, Melo ACV de. On the testability of properties patterns [Internet]. Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings. 2015 ;[citado 2025 nov. 27 ] Available from: https://doi.org/10.1007/978-3-319-22969-0_11
Dissertação (Mestrado)
Scalable data-flow testing (2014)
Araujo, Roberto Paulo Andrioli de; Chaim, Marcos Lordello (Orientador)
Unidade: EACH
Subjects: TESTE E AVALIAÇÃO DE SOFTWARE, VERIFICAÇÃO E VALIDAÇÃO DE SOFTWARE, ENGENHARIA DE SOFTWARE, ALGORITMOS E ESTRUTURAS DE DADOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ARAUJO, Roberto Paulo Andrioli de. Scalable data-flow testing. 2014. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2014. Disponível em: http://www.teses.usp.br/teses/disponiveis/100/100131/tde-14112014-155259/. Acesso em: 27 nov. 2025.
APA
Araujo, R. P. A. de. (2014). Scalable data-flow testing (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/100/100131/tde-14112014-155259/
NLM
Araujo RPA de. Scalable data-flow testing [Internet]. 2014 ;[citado 2025 nov. 27 ] Available from: http://www.teses.usp.br/teses/disponiveis/100/100131/tde-14112014-155259/
Vancouver
Araujo RPA de. Scalable data-flow testing [Internet]. 2014 ;[citado 2025 nov. 27 ] Available from: http://www.teses.usp.br/teses/disponiveis/100/100131/tde-14112014-155259/
Dissertação (Mestrado)
Coverage based debugging visualization (2014)
Mutti, Danilo; Chaim, Marcos Lordello (Orientador)
Unidade: EACH
Subjects: TESTE E AVALIAÇÃO DE SOFTWARE, VERIFICAÇÃO E VALIDAÇÃO DE SOFTWARE, DESENVOLVIMENTO DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MUTTI, Danilo. Coverage based debugging visualization. 2014. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2014. Disponível em: http://www.teses.usp.br/teses/disponiveis/100/100131/tde-15122014-230109. Acesso em: 27 nov. 2025.
APA
Mutti, D. (2014). Coverage based debugging visualization (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/100/100131/tde-15122014-230109
NLM
Mutti D. Coverage based debugging visualization [Internet]. 2014 ;[citado 2025 nov. 27 ] Available from: http://www.teses.usp.br/teses/disponiveis/100/100131/tde-15122014-230109
Vancouver
Mutti D. Coverage based debugging visualization [Internet]. 2014 ;[citado 2025 nov. 27 ] Available from: http://www.teses.usp.br/teses/disponiveis/100/100131/tde-15122014-230109
Dissertação (Mestrado)
Detecção interprocedimental de clones semânticos (2013)
Albuquerque, Felipe de Alencar; Chaim, Marcos Lordello (Orientador)
Unidade: EACH
Subjects: VERIFICAÇÃO E VALIDAÇÃO DE SOFTWARE, GERAÇÃO DE CÓDIGO, INSPEÇÃO DE SOFTWARE, REVISÃO DE SOFTWARE, ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ALBUQUERQUE, Felipe de Alencar. Detecção interprocedimental de clones semânticos. 2013. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2013. Disponível em: http://www.teses.usp.br/teses/disponiveis/100/100131/tde-28012014-085446/. Acesso em: 27 nov. 2025.
APA
Albuquerque, F. de A. (2013). Detecção interprocedimental de clones semânticos (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/100/100131/tde-28012014-085446/
NLM
Albuquerque F de A. Detecção interprocedimental de clones semânticos [Internet]. 2013 ;[citado 2025 nov. 27 ] Available from: http://www.teses.usp.br/teses/disponiveis/100/100131/tde-28012014-085446/
Vancouver
Albuquerque F de A. Detecção interprocedimental de clones semânticos [Internet]. 2013 ;[citado 2025 nov. 27 ] Available from: http://www.teses.usp.br/teses/disponiveis/100/100131/tde-28012014-085446/
Dissertação (Mestrado)
Depuração de programas baseada em cobertura de integração (2012)
Souza, Higor Amario de; Chaim, Marcos Lordello (Orientador)
Unidade: EACH
Subjects: TESTE E AVALIAÇÃO DE SOFTWARE, VERIFICAÇÃO E VALIDAÇÃO DE SOFTWARE, ANÁLISE DE ERROS, ESPECIFICAÇÃO DE SISTEMAS E PROGRAMAS, GERAÇÃO DE CÓDIGO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SOUZA, Higor Amario de. Depuração de programas baseada em cobertura de integração. 2012. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2012. Disponível em: http://www.teses.usp.br/teses/disponiveis/100/100131/tde-08032013-162246/. Acesso em: 27 nov. 2025.
APA
Souza, H. A. de. (2012). Depuração de programas baseada em cobertura de integração (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/100/100131/tde-08032013-162246/
NLM
Souza HA de. Depuração de programas baseada em cobertura de integração [Internet]. 2012 ;[citado 2025 nov. 27 ] Available from: http://www.teses.usp.br/teses/disponiveis/100/100131/tde-08032013-162246/
Vancouver
Souza HA de. Depuração de programas baseada em cobertura de integração [Internet]. 2012 ;[citado 2025 nov. 27 ] Available from: http://www.teses.usp.br/teses/disponiveis/100/100131/tde-08032013-162246/
Parte de monografia/livro
Depuração (2007)
Chaim, Marcos Lordello ; Maldonado, José Carlos ; Jino, Mário
Source: Introdução ao teste de software. Unidades: EACH, ICMC
Subjects: VERIFICAÇÃO E VALIDAÇÃO DE SOFTWARE, TESTE E AVALIAÇÃO DE SOFTWARE, DESENVOLVIMENTO DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
CHAIM, Marcos Lordello e MALDONADO, José Carlos e JINO, Mário. Depuração. Introdução ao teste de software. Tradução . Rio de Janeiro: Elsevier, 2007. . . Acesso em: 27 nov. 2025.
APA
Chaim, M. L., Maldonado, J. C., & Jino, M. (2007). Depuração. In Introdução ao teste de software. Rio de Janeiro: Elsevier.
NLM
Chaim ML, Maldonado JC, Jino M. Depuração. In: Introdução ao teste de software. Rio de Janeiro: Elsevier; 2007. [citado 2025 nov. 27 ]
Vancouver
Chaim ML, Maldonado JC, Jino M. Depuração. In: Introdução ao teste de software. Rio de Janeiro: Elsevier; 2007. [citado 2025 nov. 27 ]
Parte de monografia/livro
Estudos teóricos e experimentais (2007)
Souza, Simone do Rocio Senger de ; Fabbri, Sandra Camargo Pinto Ferraz; Barbosa, Ellen Francine ; Chaim, Marcos Lordello ; Vincenzi, Auri Marcelo Rizzo; Delamaro, Márcio Eduardo ; Jino, Mário; Maldonado, José Carlos
Source: Introdução ao teste de software. Unidades: ICMC, EACH
Subjects: VERIFICAÇÃO E VALIDAÇÃO DE SOFTWARE, TESTE E AVALIAÇÃO DE SOFTWARE, DESENVOLVIMENTO DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SOUZA, Simone do Rocio Senger de et al. Estudos teóricos e experimentais. Introdução ao teste de software. Tradução . Rio de Janeiro: Elsevier, 2007. . . Acesso em: 27 nov. 2025.
APA
Souza, S. do R. S. de, Fabbri, S. C. P. F., Barbosa, E. F., Chaim, M. L., Vincenzi, A. M. R., Delamaro, M. E., et al. (2007). Estudos teóricos e experimentais. In Introdução ao teste de software. Rio de Janeiro: Elsevier.
NLM
Souza S do RS de, Fabbri SCPF, Barbosa EF, Chaim ML, Vincenzi AMR, Delamaro ME, Jino M, Maldonado JC. Estudos teóricos e experimentais. In: Introdução ao teste de software. Rio de Janeiro: Elsevier; 2007. [citado 2025 nov. 27 ]
Vancouver
Souza S do RS de, Fabbri SCPF, Barbosa EF, Chaim ML, Vincenzi AMR, Delamaro ME, Jino M, Maldonado JC. Estudos teóricos e experimentais. In: Introdução ao teste de software. Rio de Janeiro: Elsevier; 2007. [citado 2025 nov. 27 ]
Tese (Doutorado)
Um método de refinamento para desenvolvimento de software embarcado: uma abordagem baseada em UML-RT e especificações formais (2007)
Polido, Marcelo Figueiredo; Maruyama, Newton (Orientador)
Unidade: EP
Subjects: ESPECIFICAÇÃO DE SISTEMAS E PROGRAMAS, SISTEMAS DE TEMPO-REAL, SISTEMAS EMBUTIDOS, VERIFICAÇÃO E VALIDAÇÃO DE SOFTWARE, UML
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
POLIDO, Marcelo Figueiredo. Um método de refinamento para desenvolvimento de software embarcado: uma abordagem baseada em UML-RT e especificações formais. 2007. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2007. Disponível em: http://www.teses.usp.br/teses/disponiveis/3/3132/tde-03082007-181907/. Acesso em: 27 nov. 2025.
APA
Polido, M. F. (2007). Um método de refinamento para desenvolvimento de software embarcado: uma abordagem baseada em UML-RT e especificações formais (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3132/tde-03082007-181907/
NLM
Polido MF. Um método de refinamento para desenvolvimento de software embarcado: uma abordagem baseada em UML-RT e especificações formais [Internet]. 2007 ;[citado 2025 nov. 27 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3132/tde-03082007-181907/
Vancouver
Polido MF. Um método de refinamento para desenvolvimento de software embarcado: uma abordagem baseada em UML-RT e especificações formais [Internet]. 2007 ;[citado 2025 nov. 27 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3132/tde-03082007-181907/

USP Schools

ReP

Filtros

Document Types

USP Schools

Authors

USP affiliated authors

Date published

Subjects

Source title

Publisher

Conference titles

Funding Agencies

Indexado em

Non normalized affiliation

Área de concentração

Departamento/Programa de Pós Graduação