Filtros : "IME" "ENGENHARIA DE SOFTWARE" Removidos: "Fundamenta Mathematicae" "TESTES DE HIPÓTESES" "ESTATÍSTICA" Limpar

Filtros



Limitar por data


  • Fonte: Anais. Nome do evento: Congresso Brasileiro de Informática na Educação - CBIE 2012. Unidades: IME, EP, ICMC

    Assuntos: WEB SEMÂNTICA, ONTOLOGIA, FERRAMENTAS (SISTEMAS COMPUTACIONAIS), ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO

    PrivadoAcesso à fonteComo citar
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      RIBEIRO, Romenig da Silva et al. iVProg e iTarefa: aprimorando o ensino de algoritmos e programação para iniciantes. 2012, Anais.. Porto Alegre, RS: SBC, 2012. Disponível em: http://www.br-ie.org/pub/index.php/wcbie/article/view/1879/1644. Acesso em: 28 mar. 2024.
    • APA

      Ribeiro, R. da S., Brandão, L. de O., Rodrigues, P. A., Brandão, A. A. F., & Isotani, S. (2012). iVProg e iTarefa: aprimorando o ensino de algoritmos e programação para iniciantes. In Anais. Porto Alegre, RS: SBC. Recuperado de http://www.br-ie.org/pub/index.php/wcbie/article/view/1879/1644
    • NLM

      Ribeiro R da S, Brandão L de O, Rodrigues PA, Brandão AAF, Isotani S. iVProg e iTarefa: aprimorando o ensino de algoritmos e programação para iniciantes [Internet]. Anais. 2012 ;[citado 2024 mar. 28 ] Available from: http://www.br-ie.org/pub/index.php/wcbie/article/view/1879/1644
    • Vancouver

      Ribeiro R da S, Brandão L de O, Rodrigues PA, Brandão AAF, Isotani S. iVProg e iTarefa: aprimorando o ensino de algoritmos e programação para iniciantes [Internet]. Anais. 2012 ;[citado 2024 mar. 28 ] Available from: http://www.br-ie.org/pub/index.php/wcbie/article/view/1879/1644
  • Fonte: Proceedings. Nome do evento: International Conference on Extreme Programming and Agile Processes in Software Engineering - XP. Unidade: IME

    Assunto: ENGENHARIA DE SOFTWARE

    Acesso à fonteDOIComo citar
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      SILVA, Alexandre Freire da e KON, Fábio e TORTELI, Cicero. XP South of the Equator: an experience implementing XP in Brazil. 2005, Anais.. Berlin: Springer, 2005. Disponível em: https://doi.org/10.1007/11499053_2. Acesso em: 28 mar. 2024.
    • APA

      Silva, A. F. da, Kon, F., & Torteli, C. (2005). XP South of the Equator: an experience implementing XP in Brazil. In Proceedings. Berlin: Springer. doi:10.1007/11499053_2
    • NLM

      Silva AF da, Kon F, Torteli C. XP South of the Equator: an experience implementing XP in Brazil [Internet]. Proceedings. 2005 ;[citado 2024 mar. 28 ] Available from: https://doi.org/10.1007/11499053_2
    • Vancouver

      Silva AF da, Kon F, Torteli C. XP South of the Equator: an experience implementing XP in Brazil [Internet]. Proceedings. 2005 ;[citado 2024 mar. 28 ] Available from: https://doi.org/10.1007/11499053_2
  • Fonte: Proceedings. Nome do evento: Simpósio Brasileiro de Engenharia de Software = Brazilian Symposium on Software Engineering - SBES. Unidade: IME

    Assuntos: ENGENHARIA DE SOFTWARE, DESENVOLVIMENTO DE SOFTWARE

    Acesso à fonteDOIComo citar
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      ANICHE, Mauricio Finavaro e OLIVA, Gustavo Ansaldi e GEROSA, Marco Aurélio. Why statically estimate code coverage is so hard?: a report of lessons learned. 2015, Anais.. Los Alamitos: IEEE, 2015. Disponível em: https://doi.org/10.1109/SBES.2015.28. Acesso em: 28 mar. 2024.
    • APA

      Aniche, M. F., Oliva, G. A., & Gerosa, M. A. (2015). Why statically estimate code coverage is so hard?: a report of lessons learned. In Proceedings. Los Alamitos: IEEE. doi:10.1109/SBES.2015.28
    • NLM

      Aniche MF, Oliva GA, Gerosa MA. Why statically estimate code coverage is so hard?: a report of lessons learned [Internet]. Proceedings. 2015 ;[citado 2024 mar. 28 ] Available from: https://doi.org/10.1109/SBES.2015.28
    • Vancouver

      Aniche MF, Oliva GA, Gerosa MA. Why statically estimate code coverage is so hard?: a report of lessons learned [Internet]. Proceedings. 2015 ;[citado 2024 mar. 28 ] Available from: https://doi.org/10.1109/SBES.2015.28
  • Nome do evento: European Conference on Software Maintenance and Reengineering (CSMR), 17. Unidade: IME

    Assunto: ENGENHARIA DE SOFTWARE

    Acesso à fonteComo citar
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      ANICHE, Mauricio Finavaro e OLIVA, Gustavo Ansaldi e GEROSA, Marco Aurélio. What do the asserts in a unit test tell us about code quality?: a study on open source and industrial projects. 2013, Anais.. Los Alamitos: IEEE Xplore, 2013. Disponível em: http://ieeexplore.ieee.org/xpls/icp.jsp?arnumber=6498460. Acesso em: 28 mar. 2024.
    • APA

      Aniche, M. F., Oliva, G. A., & Gerosa, M. A. (2013). What do the asserts in a unit test tell us about code quality?: a study on open source and industrial projects. In . Los Alamitos: IEEE Xplore. Recuperado de http://ieeexplore.ieee.org/xpls/icp.jsp?arnumber=6498460
    • NLM

      Aniche MF, Oliva GA, Gerosa MA. What do the asserts in a unit test tell us about code quality?: a study on open source and industrial projects [Internet]. 2013 ;[citado 2024 mar. 28 ] Available from: http://ieeexplore.ieee.org/xpls/icp.jsp?arnumber=6498460
    • Vancouver

      Aniche MF, Oliva GA, Gerosa MA. What do the asserts in a unit test tell us about code quality?: a study on open source and industrial projects [Internet]. 2013 ;[citado 2024 mar. 28 ] Available from: http://ieeexplore.ieee.org/xpls/icp.jsp?arnumber=6498460
  • Fonte: Proceedings. Nome do evento: International Workshop on Principles of Software Evolution - IWPSE. Unidade: IME

    Assunto: ENGENHARIA DE SOFTWARE

    Acesso à fonteDOIComo citar
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      OLIVA, Gustavo Ansaldi et al. What can commit metadata tell us about design degradation? 2013, Anais.. New York: ACM, 2013. Disponível em: https://doi.org/10.1145/2501543.2501547. Acesso em: 28 mar. 2024.
    • APA

      Oliva, G. A., Steinmacher, I., Wiese, I., & Gerosa, M. A. (2013). What can commit metadata tell us about design degradation? In Proceedings. New York: ACM. doi:10.1145/2501543.2501547
    • NLM

      Oliva GA, Steinmacher I, Wiese I, Gerosa MA. What can commit metadata tell us about design degradation? [Internet]. Proceedings. 2013 ;[citado 2024 mar. 28 ] Available from: https://doi.org/10.1145/2501543.2501547
    • Vancouver

      Oliva GA, Steinmacher I, Wiese I, Gerosa MA. What can commit metadata tell us about design degradation? [Internet]. Proceedings. 2013 ;[citado 2024 mar. 28 ] Available from: https://doi.org/10.1145/2501543.2501547
  • Unidade: IME

    Assunto: ENGENHARIA DE SOFTWARE

    Acesso à fonteComo citar
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      SANCHEZ, Adilson de Jesus. Uso de redes bayesianas no gerenciamento de manutenção de software. 2003. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2003. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-20220712-120654/. Acesso em: 28 mar. 2024.
    • APA

      Sanchez, A. de J. (2003). Uso de redes bayesianas no gerenciamento de manutenção de software (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20220712-120654/
    • NLM

      Sanchez A de J. Uso de redes bayesianas no gerenciamento de manutenção de software [Internet]. 2003 ;[citado 2024 mar. 28 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20220712-120654/
    • Vancouver

      Sanchez A de J. Uso de redes bayesianas no gerenciamento de manutenção de software [Internet]. 2003 ;[citado 2024 mar. 28 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20220712-120654/
  • Nome do evento: EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA), 38. Unidade: IME

    Assunto: ENGENHARIA DE SOFTWARE

    Acesso à fonteDOIComo citar
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      MATSUI, A.A.M e MICHALSKY, Straus e GEROSA, Marco Aurélio. Using virtual machine security to reinforce components constraints. 2012, Anais.. Los Alamitos: IEEE Xplore, 2012. Disponível em: https://doi.org/10.1109/SEAA.2012.72. Acesso em: 28 mar. 2024.
    • APA

      Matsui, A. A. M., Michalsky, S., & Gerosa, M. A. (2012). Using virtual machine security to reinforce components constraints. In . Los Alamitos: IEEE Xplore. doi:10.1109/SEAA.2012.72
    • NLM

      Matsui AAM, Michalsky S, Gerosa MA. Using virtual machine security to reinforce components constraints [Internet]. 2012 ;[citado 2024 mar. 28 ] Available from: https://doi.org/10.1109/SEAA.2012.72
    • Vancouver

      Matsui AAM, Michalsky S, Gerosa MA. Using virtual machine security to reinforce components constraints [Internet]. 2012 ;[citado 2024 mar. 28 ] Available from: https://doi.org/10.1109/SEAA.2012.72
  • Fonte: Proceedings. Nome do evento: Brazilian Symposium on Software Quality - SBQS. Unidade: IME

    Assuntos: ENGENHARIA DE SOFTWARE, TÉCNICAS DE PROGRAMAÇÃO

    PrivadoAcesso à fonteDOIComo citar
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      DURELLI, Rafael Serapilha e CORDEIRO, Renato e GOLDMAN, Alfredo. Using real code to teach good programming practices. 2022, Anais.. New York: ACM, 2022. Disponível em: https://doi.org/10.1145/3571473.3571504. Acesso em: 28 mar. 2024.
    • APA

      Durelli, R. S., Cordeiro, R., & Goldman, A. (2022). Using real code to teach good programming practices. In Proceedings. New York: ACM. doi:10.1145/3571473.3571504
    • NLM

      Durelli RS, Cordeiro R, Goldman A. Using real code to teach good programming practices [Internet]. Proceedings. 2022 ;[citado 2024 mar. 28 ] Available from: https://doi.org/10.1145/3571473.3571504
    • Vancouver

      Durelli RS, Cordeiro R, Goldman A. Using real code to teach good programming practices [Internet]. Proceedings. 2022 ;[citado 2024 mar. 28 ] Available from: https://doi.org/10.1145/3571473.3571504
  • Unidade: IME

    Assuntos: APRENDIZADO COMPUTACIONAL, PROCESSAMENTO DE LINGUAGEM NATURAL, ENGENHARIA DE SOFTWARE

    Acesso à fonteAcesso à fonteDOIComo citar
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      BARZILAY, Alan. Using natural language processing techniques for automated code refactoring. 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-18012024-163530/. Acesso em: 28 mar. 2024.
    • APA

      Barzilay, A. (2023). Using natural language processing techniques for automated code refactoring (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/45/45134/tde-18012024-163530/
    • NLM

      Barzilay A. Using natural language processing techniques for automated code refactoring [Internet]. 2023 ;[citado 2024 mar. 28 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-18012024-163530/
    • Vancouver

      Barzilay A. Using natural language processing techniques for automated code refactoring [Internet]. 2023 ;[citado 2024 mar. 28 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-18012024-163530/
  • 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

    Acesso à fonteDOIComo citar
    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: 28 mar. 2024.
    • 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 2024 mar. 28 ] 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 2024 mar. 28 ] Available from: https://doi.org/10.1109/SEFM.2008.31
  • Fonte: Journal of Systems and Software. Unidade: IME

    Assuntos: DESENVOLVIMENTO DE SOFTWARE, QUALIDADE DE SOFTWARE, ENGENHARIA DE SOFTWARE

    PrivadoAcesso à fonteDOIComo citar
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      WIESE, Igor Scaliante et al. Using contextual information to predict co-changes. Journal of Systems and Software, v. 128, p. 220-235, 2017Tradução . . Disponível em: https://doi.org/10.1016/j.jss.2016.07.016. Acesso em: 28 mar. 2024.
    • APA

      Wiese, I. S., Ré, R., Steinmacher, I., Kuroda, R. T., Oliva, G. A., Treude, C., & Gerosa, M. A. (2017). Using contextual information to predict co-changes. Journal of Systems and Software, 128, 220-235. doi:10.1016/j.jss.2016.07.016
    • NLM

      Wiese IS, Ré R, Steinmacher I, Kuroda RT, Oliva GA, Treude C, Gerosa MA. Using contextual information to predict co-changes [Internet]. Journal of Systems and Software. 2017 ; 128 220-235.[citado 2024 mar. 28 ] Available from: https://doi.org/10.1016/j.jss.2016.07.016
    • Vancouver

      Wiese IS, Ré R, Steinmacher I, Kuroda RT, Oliva GA, Treude C, Gerosa MA. Using contextual information to predict co-changes [Internet]. Journal of Systems and Software. 2017 ; 128 220-235.[citado 2024 mar. 28 ] Available from: https://doi.org/10.1016/j.jss.2016.07.016
  • Fonte: Proceedings. Nome do evento: Symposium on Applied Computing - SAC. Unidade: IME

    Assuntos: MÉTODOS ÁGEIS, ENGENHARIA DE SOFTWARE

    Acesso à fonteDOIComo citar
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      BROINIZI, Marcos Eduardo Bolelli e FERREIRA, João Eduardo e GOLDMAN, Alfredo. Using annotations in the naked objects framework to explore data requirements. 2008, Anais.. New York: ACM, 2008. Disponível em: https://doi.org/10.1145/1363686.1363838. Acesso em: 28 mar. 2024.
    • APA

      Broinizi, M. E. B., Ferreira, J. E., & Goldman, A. (2008). Using annotations in the naked objects framework to explore data requirements. In Proceedings. New York: ACM. doi:10.1145/1363686.1363838
    • NLM

      Broinizi MEB, Ferreira JE, Goldman A. Using annotations in the naked objects framework to explore data requirements [Internet]. Proceedings. 2008 ;[citado 2024 mar. 28 ] Available from: https://doi.org/10.1145/1363686.1363838
    • Vancouver

      Broinizi MEB, Ferreira JE, Goldman A. Using annotations in the naked objects framework to explore data requirements [Internet]. Proceedings. 2008 ;[citado 2024 mar. 28 ] Available from: https://doi.org/10.1145/1363686.1363838
  • Fonte: Open Source Systems: Enterprise Software and Solutions. Nome do evento: OSS: IFIP International Conference on Open Source Systems. Unidade: IME

    Assuntos: QUALIDADE DE SOFTWARE, SOFTWARE LIVRE, TOMADA DE DECISÃO, ENGENHARIA DE SOFTWARE

    PrivadoAcesso à fonteDOIComo citar
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      CAETANO, Alessandro et al. Using PageRank to reveal relevant issues to support decision-making on open source projects. 2018, Anais.. Cham: Springer, 2018. Disponível em: https://doi.org/10.1007/978-3-319-92375-8_9. Acesso em: 28 mar. 2024.
    • APA

      Caetano, A., Leite, L., Meirelles, P., Neri, H., Kon, F., & Travassos, G. H. (2018). Using PageRank to reveal relevant issues to support decision-making on open source projects. In Open Source Systems: Enterprise Software and Solutions. Cham: Springer. doi:10.1007/978-3-319-92375-8_9
    • NLM

      Caetano A, Leite L, Meirelles P, Neri H, Kon F, Travassos GH. Using PageRank to reveal relevant issues to support decision-making on open source projects [Internet]. Open Source Systems: Enterprise Software and Solutions. 2018 ;[citado 2024 mar. 28 ] Available from: https://doi.org/10.1007/978-3-319-92375-8_9
    • Vancouver

      Caetano A, Leite L, Meirelles P, Neri H, Kon F, Travassos GH. Using PageRank to reveal relevant issues to support decision-making on open source projects [Internet]. Open Source Systems: Enterprise Software and Solutions. 2018 ;[citado 2024 mar. 28 ] Available from: https://doi.org/10.1007/978-3-319-92375-8_9
  • Fonte: Proceedings. Nome do evento: International Conference on Collaborative Computing: Networking, Applications and Worksharing - CollaborateCom. Unidade: IME

    Assunto: ENGENHARIA DE SOFTWARE

    PrivadoAcesso à fonteDOIComo citar
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      TAKECIAN, Pedro Losco et al. Using LOTOS for rigorous specifications of workflow patterns. 2010, Anais.. New york: ACM, 2010. Disponível em: https://doi.org/10.4108/icst.collaboratecom.2010.57. Acesso em: 28 mar. 2024.
    • APA

      Takecian, P. L., Ferreira, J. E., Malkowski, S., & Pu, C. (2010). Using LOTOS for rigorous specifications of workflow patterns. In Proceedings. New york: ACM. doi:10.4108/icst.collaboratecom.2010.57
    • NLM

      Takecian PL, Ferreira JE, Malkowski S, Pu C. Using LOTOS for rigorous specifications of workflow patterns [Internet]. Proceedings. 2010 ;[citado 2024 mar. 28 ] Available from: https://doi.org/10.4108/icst.collaboratecom.2010.57
    • Vancouver

      Takecian PL, Ferreira JE, Malkowski S, Pu C. Using LOTOS for rigorous specifications of workflow patterns [Internet]. Proceedings. 2010 ;[citado 2024 mar. 28 ] Available from: https://doi.org/10.4108/icst.collaboratecom.2010.57
  • Fonte: Proceedings. Nome do evento: Hawaii International Conference on System Sciences - HICSS. Unidade: IME

    Assuntos: SOFTWARE LIVRE, PROCESSOS ORGANIZACIONAIS DE DESENVOLVIMENTO DE SOFTWARE, ENGENHARIA DE SOFTWARE

    Acesso à fonteDOIComo citar
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      STEINMACHER, Igor e CONTE, Tayana Uchôa e GEROSA, Marco Aurélio. Understanding and supporting the choice of an appropriate task to start with in open source software communities. 2015, Anais.. Los Alamitos: IEEE, 2015. Disponível em: https://doi.org/10.1109/HICSS.2015.624. Acesso em: 28 mar. 2024.
    • APA

      Steinmacher, I., Conte, T. U., & Gerosa, M. A. (2015). Understanding and supporting the choice of an appropriate task to start with in open source software communities. In Proceedings. Los Alamitos: IEEE. doi:10.1109/HICSS.2015.624
    • NLM

      Steinmacher I, Conte TU, Gerosa MA. Understanding and supporting the choice of an appropriate task to start with in open source software communities [Internet]. Proceedings. 2015 ;[citado 2024 mar. 28 ] Available from: https://doi.org/10.1109/HICSS.2015.624
    • Vancouver

      Steinmacher I, Conte TU, Gerosa MA. Understanding and supporting the choice of an appropriate task to start with in open source software communities [Internet]. Proceedings. 2015 ;[citado 2024 mar. 28 ] Available from: https://doi.org/10.1109/HICSS.2015.624
  • Unidade: IME

    Assunto: ENGENHARIA DE SOFTWARE

    Acesso à fonteComo citar
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      AMORIM, Marcelo de Moura. Uma técnica de verificação para `pi´-calculus baseada em bi-simulação up-to e algoritmos de particionamento. 2003. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2003. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-20220712-120534/. Acesso em: 28 mar. 2024.
    • APA

      Amorim, M. de M. (2003). Uma técnica de verificação para `pi´-calculus baseada em bi-simulação up-to e algoritmos de particionamento (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20220712-120534/
    • NLM

      Amorim M de M. Uma técnica de verificação para `pi´-calculus baseada em bi-simulação up-to e algoritmos de particionamento [Internet]. 2003 ;[citado 2024 mar. 28 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20220712-120534/
    • Vancouver

      Amorim M de M. Uma técnica de verificação para `pi´-calculus baseada em bi-simulação up-to e algoritmos de particionamento [Internet]. 2003 ;[citado 2024 mar. 28 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20220712-120534/
  • Unidade: IME

    Assunto: ENGENHARIA DE SOFTWARE

    Acesso à fonteComo citar
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      LOPES, Paulo Sérgio Naddeo Dias. Uma taxonomia da pesquisa na área de engenharia de software. 2002. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2002. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-125603/. Acesso em: 28 mar. 2024.
    • APA

      Lopes, P. S. N. D. (2002). Uma taxonomia da pesquisa na área de engenharia de software (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-125603/
    • NLM

      Lopes PSND. Uma taxonomia da pesquisa na área de engenharia de software [Internet]. 2002 ;[citado 2024 mar. 28 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-125603/
    • Vancouver

      Lopes PSND. Uma taxonomia da pesquisa na área de engenharia de software [Internet]. 2002 ;[citado 2024 mar. 28 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-125603/
  • Unidade: IME

    Assuntos: ENGENHARIA DE SOFTWARE, TESTE E AVALIAÇÃO DE SOFTWARE

    Acesso à fonteComo citar
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      GLADCHEFF, Ana Paula. Um instrumento de avaliação da qualidade para software educacional de matemática. 2001. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2001. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-123758/. Acesso em: 28 mar. 2024.
    • APA

      Gladcheff, A. P. (2001). Um instrumento de avaliação da qualidade para software educacional de matemática (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-123758/
    • NLM

      Gladcheff AP. Um instrumento de avaliação da qualidade para software educacional de matemática [Internet]. 2001 ;[citado 2024 mar. 28 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-123758/
    • Vancouver

      Gladcheff AP. Um instrumento de avaliação da qualidade para software educacional de matemática [Internet]. 2001 ;[citado 2024 mar. 28 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-123758/
  • Unidade: IME

    Assunto: ENGENHARIA DE SOFTWARE

    Acesso à fonteComo citar
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      PRUDENTE, Leandro César. Um estudo sobre teste versus verificação formal de programas Java. 2004. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2004. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-20220712-121325/. Acesso em: 28 mar. 2024.
    • APA

      Prudente, L. C. (2004). Um estudo sobre teste versus verificação formal de programas Java (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20220712-121325/
    • NLM

      Prudente LC. Um estudo sobre teste versus verificação formal de programas Java [Internet]. 2004 ;[citado 2024 mar. 28 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20220712-121325/
    • Vancouver

      Prudente LC. Um estudo sobre teste versus verificação formal de programas Java [Internet]. 2004 ;[citado 2024 mar. 28 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20220712-121325/
  • Unidade: IME

    Assunto: ENGENHARIA DE SOFTWARE

    Acesso à fonteComo citar
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      TABUTI, Lucy Mari. Um estudo de um protocolo de comunicação para dispositivos móveis usando Distributed Join-Calculus. 2002. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2002. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-131131/. Acesso em: 28 mar. 2024.
    • APA

      Tabuti, L. M. (2002). Um estudo de um protocolo de comunicação para dispositivos móveis usando Distributed Join-Calculus (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-131131/
    • NLM

      Tabuti LM. Um estudo de um protocolo de comunicação para dispositivos móveis usando Distributed Join-Calculus [Internet]. 2002 ;[citado 2024 mar. 28 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-131131/
    • Vancouver

      Tabuti LM. Um estudo de um protocolo de comunicação para dispositivos móveis usando Distributed Join-Calculus [Internet]. 2002 ;[citado 2024 mar. 28 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-131131/

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