Filtros : "ENGENHARIA DE PROGRAMAS" Limpar

Filtros



Refine with date range


  • Unidade: IME

    Subjects: ENGENHARIA DE PROGRAMAS, MÉTODOS ÁGEIS

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

      TONIN, Graziela Simone. Technical debt management in the context of agile methods in software development. 2018. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2018. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-30072018-142720/. Acesso em: 23 maio 2024.
    • APA

      Tonin, G. S. (2018). Technical debt management in the context of agile methods in software development (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-30072018-142720/
    • NLM

      Tonin GS. Technical debt management in the context of agile methods in software development [Internet]. 2018 ;[citado 2024 maio 23 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-30072018-142720/
    • Vancouver

      Tonin GS. Technical debt management in the context of agile methods in software development [Internet]. 2018 ;[citado 2024 maio 23 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-30072018-142720/
  • Unidade: IME

    Subjects: COMPUTAÇÃO APLICADA, DEFICIÊNCIAS, ENGENHARIA DE PROGRAMAS, REALIDADE VIRTUAL

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

      KURAUCHI, Andrew Toshiaki Nakayama. EyeSwipe: text entry using gaze paths. 2018. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2018. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-03072018-151733/. Acesso em: 23 maio 2024.
    • APA

      Kurauchi, A. T. N. (2018). EyeSwipe: text entry using gaze paths (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-03072018-151733/
    • NLM

      Kurauchi ATN. EyeSwipe: text entry using gaze paths [Internet]. 2018 ;[citado 2024 maio 23 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-03072018-151733/
    • Vancouver

      Kurauchi ATN. EyeSwipe: text entry using gaze paths [Internet]. 2018 ;[citado 2024 maio 23 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-03072018-151733/
  • Unidade: IME

    Subjects: ENGENHARIA DE PROGRAMAS, ENGENHARIA DE PROGRAMAS, DOCUMENTAÇÃO

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

      CARVALHO, Suelen Goularte. Anomalias na camada de apresentação de aplicativos Android. 2018. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2018. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-19032018-140810/. Acesso em: 23 maio 2024.
    • APA

      Carvalho, S. G. (2018). Anomalias na camada de apresentação de aplicativos Android (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-19032018-140810/
    • NLM

      Carvalho SG. Anomalias na camada de apresentação de aplicativos Android [Internet]. 2018 ;[citado 2024 maio 23 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-19032018-140810/
    • Vancouver

      Carvalho SG. Anomalias na camada de apresentação de aplicativos Android [Internet]. 2018 ;[citado 2024 maio 23 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-19032018-140810/
  • Source: Proceedings. Conference titles: ACM SIGPLAN International Workshop on Meta-Programming Techniques and Reflection - META. Unidade: IME

    Subjects: ENGENHARIA DE PROGRAMAS, METADADOS, CODIFICAÇÃO DE PROGRAMA

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

      TEIXEIRA, Rodrigo et al. Does it make sense to have application-specific code conventions as a complementary approach to code annotations? 2018, Anais.. New York: ACM, 2018. Disponível em: https://doi.org/10.1145/3281074.3281078. Acesso em: 23 maio 2024.
    • APA

      Teixeira, R., Guerra, E., Lima, P., Meirelles, P., & Kon, F. (2018). Does it make sense to have application-specific code conventions as a complementary approach to code annotations? In Proceedings. New York: ACM. doi:10.1145/3281074.3281078
    • NLM

      Teixeira R, Guerra E, Lima P, Meirelles P, Kon F. Does it make sense to have application-specific code conventions as a complementary approach to code annotations? [Internet]. Proceedings. 2018 ;[citado 2024 maio 23 ] Available from: https://doi.org/10.1145/3281074.3281078
    • Vancouver

      Teixeira R, Guerra E, Lima P, Meirelles P, Kon F. Does it make sense to have application-specific code conventions as a complementary approach to code annotations? [Internet]. Proceedings. 2018 ;[citado 2024 maio 23 ] Available from: https://doi.org/10.1145/3281074.3281078
  • Unidade: IME

    Subjects: ARQUITETURA E ORGANIZAÇÃO DE COMPUTADORES, ENGENHARIA DE PROGRAMAS, ESPECIFICAÇÃO DE REQUISITOS DE SISTEMAS E PROGRAMAS

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

      CARO, Waldir Edison Farfán. Análise preditiva de desempenho de workflows usando teoria do campo médio. 2017. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2017. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-17062017-020319/. Acesso em: 23 maio 2024.
    • APA

      Caro, W. E. F. (2017). Análise preditiva de desempenho de workflows usando teoria do campo médio (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-17062017-020319/
    • NLM

      Caro WEF. Análise preditiva de desempenho de workflows usando teoria do campo médio [Internet]. 2017 ;[citado 2024 maio 23 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-17062017-020319/
    • Vancouver

      Caro WEF. Análise preditiva de desempenho de workflows usando teoria do campo médio [Internet]. 2017 ;[citado 2024 maio 23 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-17062017-020319/
  • Unidade: IME

    Subjects: ENGENHARIA DE PROGRAMAS, REALIDADE VIRTUAL, INTERFACE HOMEM-COMPUTADOR, MAQUIAGEM

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

      BORGES, Aline de Fátima Soares. SelfMakeup: um sistema de realidade aumentada para autoaplicação de maquiagem virtual. 2017. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2017. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-05032018-115653/. Acesso em: 23 maio 2024.
    • APA

      Borges, A. de F. S. (2017). SelfMakeup: um sistema de realidade aumentada para autoaplicação de maquiagem virtual (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-05032018-115653/
    • NLM

      Borges A de FS. SelfMakeup: um sistema de realidade aumentada para autoaplicação de maquiagem virtual [Internet]. 2017 ;[citado 2024 maio 23 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-05032018-115653/
    • Vancouver

      Borges A de FS. SelfMakeup: um sistema de realidade aumentada para autoaplicação de maquiagem virtual [Internet]. 2017 ;[citado 2024 maio 23 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-05032018-115653/
  • Unidade: IME

    Subjects: ENGENHARIA DE PROGRAMAS, COMPUTAÇÃO APLICADA, INTERFACE HOMEM-COMPUTADOR

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

      BANDEIRA, Ivana Soares. Interfaces humano-computador aplicadas ao desenho de poligonais tridimensionais e mà solução numérica do problema de Plateau. 2016. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2016. Disponível em: https://teses.usp.br/teses/disponiveis/45/45132/tde-20230727-113045/. Acesso em: 23 maio 2024.
    • APA

      Bandeira, I. S. (2016). Interfaces humano-computador aplicadas ao desenho de poligonais tridimensionais e mà solução numérica do problema de Plateau (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45132/tde-20230727-113045/
    • NLM

      Bandeira IS. Interfaces humano-computador aplicadas ao desenho de poligonais tridimensionais e mà solução numérica do problema de Plateau [Internet]. 2016 ;[citado 2024 maio 23 ] Available from: https://teses.usp.br/teses/disponiveis/45/45132/tde-20230727-113045/
    • Vancouver

      Bandeira IS. Interfaces humano-computador aplicadas ao desenho de poligonais tridimensionais e mà solução numérica do problema de Plateau [Internet]. 2016 ;[citado 2024 maio 23 ] Available from: https://teses.usp.br/teses/disponiveis/45/45132/tde-20230727-113045/
  • Source: Proceedings. Conference titles: International Conference on Engineering, Technology and Innovation/IEEE International Technology Management Conference - ICE/ITMC. Unidade: IME

    Subjects: DESENVOLVIMENTO DE SOFTWARE, ENGENHARIA DE PROGRAMAS

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

      MELEGATI, Jorge e GOLDMAN, Alfredo. Requirements engineering in software startups: a grounded theory approach. 2016, Anais.. Piscataway: IEEE, 2016. Disponível em: https://doi.org/10.1109/ICE/ITMC39735.2016.9026036. Acesso em: 23 maio 2024.
    • APA

      Melegati, J., & Goldman, A. (2016). Requirements engineering in software startups: a grounded theory approach. In Proceedings. Piscataway: IEEE. doi:10.1109/ICE/ITMC39735.2016.9026036
    • NLM

      Melegati J, Goldman A. Requirements engineering in software startups: a grounded theory approach [Internet]. Proceedings. 2016 ;[citado 2024 maio 23 ] Available from: https://doi.org/10.1109/ICE/ITMC39735.2016.9026036
    • Vancouver

      Melegati J, Goldman A. Requirements engineering in software startups: a grounded theory approach [Internet]. Proceedings. 2016 ;[citado 2024 maio 23 ] Available from: https://doi.org/10.1109/ICE/ITMC39735.2016.9026036
  • Unidade: IME

    Assunto: ENGENHARIA DE PROGRAMAS

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

      SILVA, Luciano Kelvin. Utilização de mineração de especificação na identificação de fluxos inválidos em software. 2016. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2016. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113032/. Acesso em: 23 maio 2024.
    • APA

      Silva, L. K. (2016). Utilização de mineração de especificação na identificação de fluxos inválidos em software (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113032/
    • NLM

      Silva LK. Utilização de mineração de especificação na identificação de fluxos inválidos em software [Internet]. 2016 ;[citado 2024 maio 23 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113032/
    • Vancouver

      Silva LK. Utilização de mineração de especificação na identificação de fluxos inválidos em software [Internet]. 2016 ;[citado 2024 maio 23 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113032/
  • Source: Applied Intelligence. Unidades: IME, EACH

    Subjects: DESENVOLVIMENTO DE SOFTWARE, ENGENHARIA DE PROGRAMAS

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

      BARROS, Leliane Nunes de e PINHEIRO, Wellington Ricardo e DELGADO, Karina Valdivia. Learning to program using hierarchical model-based debugging. Applied Intelligence, v. 43, n. 3, p. 544-563, 2015Tradução . . Disponível em: https://doi.org/10.1007/s10489-015-0659-9. Acesso em: 23 maio 2024.
    • APA

      Barros, L. N. de, Pinheiro, W. R., & Delgado, K. V. (2015). Learning to program using hierarchical model-based debugging. Applied Intelligence, 43( 3), 544-563. doi:10.1007/s10489-015-0659-9
    • NLM

      Barros LN de, Pinheiro WR, Delgado KV. Learning to program using hierarchical model-based debugging [Internet]. Applied Intelligence. 2015 ; 43( 3): 544-563.[citado 2024 maio 23 ] Available from: https://doi.org/10.1007/s10489-015-0659-9
    • Vancouver

      Barros LN de, Pinheiro WR, Delgado KV. Learning to program using hierarchical model-based debugging [Internet]. Applied Intelligence. 2015 ; 43( 3): 544-563.[citado 2024 maio 23 ] Available from: https://doi.org/10.1007/s10489-015-0659-9
  • Source: Business Process Management Workshops: BPM 2014 International Workshops, Eindhoven, The Netherlands, September 7-8, 2014, Revised Papers. Conference titles: Business Process Management - BPM. Unidade: IME

    Subjects: METODOLOGIA E TÉCNICAS DE PROGRAMAÇÃO, ENGENHARIA DE PROGRAMAS, GESTÃO POR PROCESSOS

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

      JESUS, Jandisson Soares de e MELO, Ana Cristina Vieira de. Business rules: from SBVR to information systems. 2015, Anais.. Cham: Springer, 2015. Disponível em: https://doi.org/10.1007/978-3-319-15895-2_42. Acesso em: 23 maio 2024.
    • APA

      Jesus, J. S. de, & Melo, A. C. V. de. (2015). Business rules: from SBVR to information systems. In Business Process Management Workshops: BPM 2014 International Workshops, Eindhoven, The Netherlands, September 7-8, 2014, Revised Papers. Cham: Springer. doi:10.1007/978-3-319-15895-2_42
    • NLM

      Jesus JS de, Melo ACV de. Business rules: from SBVR to information systems [Internet]. Business Process Management Workshops: BPM 2014 International Workshops, Eindhoven, The Netherlands, September 7-8, 2014, Revised Papers. 2015 ;[citado 2024 maio 23 ] Available from: https://doi.org/10.1007/978-3-319-15895-2_42
    • Vancouver

      Jesus JS de, Melo ACV de. Business rules: from SBVR to information systems [Internet]. Business Process Management Workshops: BPM 2014 International Workshops, Eindhoven, The Netherlands, September 7-8, 2014, Revised Papers. 2015 ;[citado 2024 maio 23 ] Available from: https://doi.org/10.1007/978-3-319-15895-2_42
  • Unidade: IME

    Subjects: ENGENHARIA DE PROGRAMAS, JAVA

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

      HANAZUMI, Simone. Geração de propriedades sobre programas Java a partir de objetivos de teste. 2015. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2015. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-23122015-094748. Acesso em: 23 maio 2024.
    • APA

      Hanazumi, S. (2015). Geração de propriedades sobre programas Java a partir de objetivos de teste (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-23122015-094748
    • NLM

      Hanazumi S. Geração de propriedades sobre programas Java a partir de objetivos de teste [Internet]. 2015 ;[citado 2024 maio 23 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-23122015-094748
    • Vancouver

      Hanazumi S. Geração de propriedades sobre programas Java a partir de objetivos de teste [Internet]. 2015 ;[citado 2024 maio 23 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-23122015-094748
  • Unidade: IME

    Subjects: INTELIGÊNCIA ARTIFICIAL, ENGENHARIA DE PROGRAMAS, RECONHECIMENTO DE PADRÕES

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

      GRANGEIRO, Davi Souto. ExpressMath Online: um sistema web para o tratamento de dados de expressões matemáticas manuscritas. 2015. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2015. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113000/. Acesso em: 23 maio 2024.
    • APA

      Grangeiro, D. S. (2015). ExpressMath Online: um sistema web para o tratamento de dados de expressões matemáticas manuscritas (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113000/
    • NLM

      Grangeiro DS. ExpressMath Online: um sistema web para o tratamento de dados de expressões matemáticas manuscritas [Internet]. 2015 ;[citado 2024 maio 23 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113000/
    • Vancouver

      Grangeiro DS. ExpressMath Online: um sistema web para o tratamento de dados de expressões matemáticas manuscritas [Internet]. 2015 ;[citado 2024 maio 23 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113000/
  • Unidade: IME

    Subjects: ENGENHARIA DE PROGRAMAS, COMPUTAÇÃO GRÁFICA, INTERFACE HOMEM-COMPUTADOR

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

      SOUSA, Alexandre Martins Ferreira de. Superfície mágica: criando superfícies interativas por meio de câmeras RGBD e projetores. 2015. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2015. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-23122015-104315. Acesso em: 23 maio 2024.
    • APA

      Sousa, A. M. F. de. (2015). Superfície mágica: criando superfícies interativas por meio de câmeras RGBD e projetores (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-23122015-104315
    • NLM

      Sousa AMF de. Superfície mágica: criando superfícies interativas por meio de câmeras RGBD e projetores [Internet]. 2015 ;[citado 2024 maio 23 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-23122015-104315
    • Vancouver

      Sousa AMF de. Superfície mágica: criando superfícies interativas por meio de câmeras RGBD e projetores [Internet]. 2015 ;[citado 2024 maio 23 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-23122015-104315
  • Source: Journal of Systems and Software. Unidade: IME

    Subjects: MÉTODOS ÁGEIS, ENGENHARIA DE PROGRAMAS, SISTEMAS DISTRIBUÍDOS

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

      BESSON, Felipe Meneses et al. Bringing test-driven development to web service choreographies. Journal of Systems and Software, v. 99, p. 135-154, 2015Tradução . . Disponível em: https://doi.org/10.1016/j.jss.2014.09.034. Acesso em: 23 maio 2024.
    • APA

      Besson, F. M., Moura, P. B., Kon, F., & Milojicic, D. S. (2015). Bringing test-driven development to web service choreographies. Journal of Systems and Software, 99, 135-154. doi:10.1016/j.jss.2014.09.034
    • NLM

      Besson FM, Moura PB, Kon F, Milojicic DS. Bringing test-driven development to web service choreographies [Internet]. Journal of Systems and Software. 2015 ; 99 135-154.[citado 2024 maio 23 ] Available from: https://doi.org/10.1016/j.jss.2014.09.034
    • Vancouver

      Besson FM, Moura PB, Kon F, Milojicic DS. Bringing test-driven development to web service choreographies [Internet]. Journal of Systems and Software. 2015 ; 99 135-154.[citado 2024 maio 23 ] Available from: https://doi.org/10.1016/j.jss.2014.09.034
  • Source: Anais. Conference titles: Simpósio Brasileiro de Sistemas de Informação - SBSI. Unidade: IME

    Subjects: BANCO DE DADOS, ENGENHARIA DE PROGRAMAS

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

      LIBERATO, Rafael et al. Gerenciador de dados compartilhados entre processos de negócio: data-control process para WED-tool. 2014, Anais.. Londrina: UEL, 2014. Disponível em: http://www.lbd.dcc.ufmg.br/bdbcomp/servlet/Trabalho?id=22275. Acesso em: 23 maio 2024.
    • APA

      Liberato, R., Schwerz, A. L., Takai, O. K., & Ferreira, J. E. (2014). Gerenciador de dados compartilhados entre processos de negócio: data-control process para WED-tool. In Anais (Vol. 2). Londrina: UEL. Recuperado de http://www.lbd.dcc.ufmg.br/bdbcomp/servlet/Trabalho?id=22275
    • NLM

      Liberato R, Schwerz AL, Takai OK, Ferreira JE. Gerenciador de dados compartilhados entre processos de negócio: data-control process para WED-tool [Internet]. Anais. 2014 ; 2[citado 2024 maio 23 ] Available from: http://www.lbd.dcc.ufmg.br/bdbcomp/servlet/Trabalho?id=22275
    • Vancouver

      Liberato R, Schwerz AL, Takai OK, Ferreira JE. Gerenciador de dados compartilhados entre processos de negócio: data-control process para WED-tool [Internet]. Anais. 2014 ; 2[citado 2024 maio 23 ] Available from: http://www.lbd.dcc.ufmg.br/bdbcomp/servlet/Trabalho?id=22275
  • Unidade: IME

    Assunto: ENGENHARIA DE PROGRAMAS

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

      MARTINS, Alexandre Locci. Teste e verificação formal do comportamento excepcional de programas Java. 2014. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2014. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-11082014-150106. Acesso em: 23 maio 2024.
    • APA

      Martins, A. L. (2014). Teste e verificação formal do comportamento excepcional de programas Java (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-11082014-150106
    • NLM

      Martins AL. Teste e verificação formal do comportamento excepcional de programas Java [Internet]. 2014 ;[citado 2024 maio 23 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-11082014-150106
    • Vancouver

      Martins AL. Teste e verificação formal do comportamento excepcional de programas Java [Internet]. 2014 ;[citado 2024 maio 23 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-11082014-150106
  • Source: Proceedings. Conference titles: IEEE World Congress on Services - SERVICES. Unidade: IME

    Subjects: ARQUITETURA ORIENTADA A SERVIÇOS, SISTEMAS DISTRIBUÍDOS, MÉTODOS DE DESENVOLVIMENTO DE SOFTWARE, ENGENHARIA DE PROGRAMAS, ENGENHARIA DE SOFTWARE

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

      FURTADO, Thiago et al. Towards an enactment engine for dynamically reconfigurable and scalable choreographies. 2014, Anais.. Los Alamitos: IEEE, 2014. Disponível em: https://doi.org/10.1109/SERVICES.2014.64. Acesso em: 23 maio 2024.
    • APA

      Furtado, T., Francesquini, E., Lago, N., & Kon, F. (2014). Towards an enactment engine for dynamically reconfigurable and scalable choreographies. In Proceedings. Los Alamitos: IEEE. doi:10.1109/SERVICES.2014.64
    • NLM

      Furtado T, Francesquini E, Lago N, Kon F. Towards an enactment engine for dynamically reconfigurable and scalable choreographies [Internet]. Proceedings. 2014 ;[citado 2024 maio 23 ] Available from: https://doi.org/10.1109/SERVICES.2014.64
    • Vancouver

      Furtado T, Francesquini E, Lago N, Kon F. Towards an enactment engine for dynamically reconfigurable and scalable choreographies [Internet]. Proceedings. 2014 ;[citado 2024 maio 23 ] Available from: https://doi.org/10.1109/SERVICES.2014.64
  • Source: IEEE 38th Annual International Computers, Software and Applications Conference Workshops: proceedings. Conference titles: IEEE International Computer Software and Application Conference - COMPSAC. Unidade: IME

    Subjects: ENGENHARIA DE PROGRAMAS, JAVA, QUALIDADE DE SOFTWARE, TÉCNICAS DE PROGRAMAÇÃO

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

      MARTINS, Alexandre Locci e HANAZUMI, Simone e MELO, Ana Cristina Vieira de. Testing Java exceptions: an instrumentation technique. 2014, Anais.. Los Alamitos: IEEE, 2014. Disponível em: https://doi.org/10.1109/COMPSACW.2014.105. Acesso em: 23 maio 2024.
    • APA

      Martins, A. L., Hanazumi, S., & Melo, A. C. V. de. (2014). Testing Java exceptions: an instrumentation technique. In IEEE 38th Annual International Computers, Software and Applications Conference Workshops: proceedings. Los Alamitos: IEEE. doi:10.1109/COMPSACW.2014.105
    • NLM

      Martins AL, Hanazumi S, Melo ACV de. Testing Java exceptions: an instrumentation technique [Internet]. IEEE 38th Annual International Computers, Software and Applications Conference Workshops: proceedings. 2014 ;[citado 2024 maio 23 ] Available from: https://doi.org/10.1109/COMPSACW.2014.105
    • Vancouver

      Martins AL, Hanazumi S, Melo ACV de. Testing Java exceptions: an instrumentation technique [Internet]. IEEE 38th Annual International Computers, Software and Applications Conference Workshops: proceedings. 2014 ;[citado 2024 maio 23 ] Available from: https://doi.org/10.1109/COMPSACW.2014.105
  • Unidade: IME

    Subjects: ENGENHARIA DE PROGRAMAS, BANCO DE DADOS

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

      GARCIA, Marcela Ortega. Implementação do arcabouço WED-flow para controle de processos transacionais. 2013. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2013. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-17072013-111452. Acesso em: 23 maio 2024.
    • APA

      Garcia, M. O. (2013). Implementação do arcabouço WED-flow para controle de processos transacionais (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-17072013-111452
    • NLM

      Garcia MO. Implementação do arcabouço WED-flow para controle de processos transacionais [Internet]. 2013 ;[citado 2024 maio 23 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-17072013-111452
    • Vancouver

      Garcia MO. Implementação do arcabouço WED-flow para controle de processos transacionais [Internet]. 2013 ;[citado 2024 maio 23 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-17072013-111452

Digital Library of Intellectual Production of Universidade de São Paulo     2012 - 2024