Menu

Filtros : "IME" "Melo, Ana Cristina Vieira de" Limpar

Filtros

Refine with date range

1 - 20 (77 records)

  • Trabalho de evento

    Why ontologies are not enough for knowledge sharing (1999)

    Silva, Flávio Soares Corrêa da ; Vasconcelos, Wamberto Weber; Agustí, Jaume; Robertson, David; Melo, Ana Cristina Vieira de

    Source: Proceedings. Conference titles: International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems - IEA/AIE. Unidade: IME

    Subjects: INTELIGÊNCIA ARTIFICIAL, FUZZY (INTELIGÊNCIA ARTIFICIAL)

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

    • ABNT

      SILVA, Flávio Soares Corrêa da et al. Why ontologies are not enough for knowledge sharing. 1999, Anais.. Berlin: Springer, 1999. Disponível em: https://doi.org/10.1007/978-3-540-48765-4_56. Acesso em: 24 abr. 2024.

    • APA

      Silva, F. S. C. da, Vasconcelos, W. W., Agustí, J., Robertson, D., & Melo, A. C. V. de. (1999). Why ontologies are not enough for knowledge sharing. In Proceedings. Berlin: Springer. doi:10.1007/978-3-540-48765-4_56

    • NLM

      Silva FSC da, Vasconcelos WW, Agustí J, Robertson D, Melo ACV de. Why ontologies are not enough for knowledge sharing [Internet]. Proceedings. 1999 ;[citado 2024 abr. 24 ] Available from: https://doi.org/10.1007/978-3-540-48765-4_56

    • Vancouver

      Silva FSC da, Vasconcelos WW, Agustí J, Robertson D, Melo ACV de. Why ontologies are not enough for knowledge sharing [Internet]. Proceedings. 1999 ;[citado 2024 abr. 24 ] Available from: https://doi.org/10.1007/978-3-540-48765-4_56

  • Relatorio tecnico

    Why ontologies are not enough for knowledge sharing (1998)

    Silva, Flávio Soares Corrêa da ; Vasconcelos, Wamberto Weber Miranda Peixoto de; Agustí, Jaume; Robertson, David; Melo, Ana Cristina Vieira de

    Unidade: IME

    Assunto: CIÊNCIA DA COMPUTAÇÃO

    Versão PublicadaHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      SILVA, Flávio Soares Corrêa da et al. Why ontologies are not enough for knowledge sharing. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/1a0e097a-64ff-4129-bca3-525a32187b6d/1033333.pdf. Acesso em: 24 abr. 2024. , 1998

    • APA

      Silva, F. S. C. da, Vasconcelos, W. W. M. P. de, Agustí, J., Robertson, D., & Melo, A. C. V. de. (1998). Why ontologies are not enough for knowledge sharing. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/1a0e097a-64ff-4129-bca3-525a32187b6d/1033333.pdf

    • NLM

      Silva FSC da, Vasconcelos WWMP de, Agustí J, Robertson D, Melo ACV de. Why ontologies are not enough for knowledge sharing [Internet]. 1998 ;[citado 2024 abr. 24 ] Available from: https://repositorio.usp.br/directbitstream/1a0e097a-64ff-4129-bca3-525a32187b6d/1033333.pdf

    • Vancouver

      Silva FSC da, Vasconcelos WWMP de, Agustí J, Robertson D, Melo ACV de. Why ontologies are not enough for knowledge sharing [Internet]. 1998 ;[citado 2024 abr. 24 ] Available from: https://repositorio.usp.br/directbitstream/1a0e097a-64ff-4129-bca3-525a32187b6d/1033333.pdf

  • Tese (Doutorado)

    Verification of behaviourist multi-agent systems by means of formally guided simulations (2011)

    Silva, Paulo Salem da; Melo, Ana Cristina Vieira de (Orientador); Gaudel, Marie-Claude (Orientador)

    Unidade: IME

    Subjects: TÉCNICAS DE PROGRAMAÇÃO, INTELIGÊNCIA ARTIFICIAL

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

    • ABNT

      SILVA, Paulo Salem da. Verification of behaviourist multi-agent systems by means of formally guided simulations. 2011. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2011. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-10042012-100539/. Acesso em: 24 abr. 2024.

    • APA

      Silva, P. S. da. (2011). Verification of behaviourist multi-agent systems by means of formally guided simulations (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-10042012-100539/

    • NLM

      Silva PS da. Verification of behaviourist multi-agent systems by means of formally guided simulations [Internet]. 2011 ;[citado 2024 abr. 24 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-10042012-100539/

    • Vancouver

      Silva PS da. Verification of behaviourist multi-agent systems by means of formally guided simulations [Internet]. 2011 ;[citado 2024 abr. 24 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-10042012-100539/

  • Dissertação (Mestrado)

    Validação de padrões de web services transacionais (2011)

    Nunes, Paulo Roberto de Araújo França; Melo, Ana Cristina Vieira de (Orientador)

    Unidade: IME

    Assunto: TÉCNICAS DE PROGRAMAÇÃO

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

    • ABNT

      NUNES, Paulo Roberto de Araújo França. Validação de padrões de web services transacionais. 2011. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2011. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-21072011-134559/. Acesso em: 24 abr. 2024.

    • APA

      Nunes, P. R. de A. F. (2011). Validação de padrões de web services transacionais (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-21072011-134559/

    • NLM

      Nunes PR de AF. Validação de padrões de web services transacionais [Internet]. 2011 ;[citado 2024 abr. 24 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-21072011-134559/

    • Vancouver

      Nunes PR de AF. Validação de padrões de web services transacionais [Internet]. 2011 ;[citado 2024 abr. 24 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-21072011-134559/

  • Dissertação (Mestrado)

    Utilização de mineração de especificação na identificação de fluxos inválidos em software (2016)

    Silva, Luciano Kelvin; Melo, Ana Cristina Vieira de (Orientador)

    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: 24 abr. 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 abr. 24 ] 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 abr. 24 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113032/

  • Dissertação (Mestrado)

    Uso de redes bayesianas no gerenciamento de manutenção de software (2003)

    Sanchez, Adilson de Jesus; Melo, Ana Cristina Vieira de (Orientador)

    Unidade: IME

    Assunto: ENGENHARIA DE SOFTWARE

    Acesso à fonteHow to cite
    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: 24 abr. 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 abr. 24 ] 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 abr. 24 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20220712-120654/

  • 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

    Source: Proceedings. Conference titles: International Conference on Software Engineering and Formal Methods - SEFM. Unidade: IME

    Subjects: PROGRAMAÇÃO ORIENTADA A OBJETOS, JAVA, TESTE E AVALIAÇÃO DE SOFTWARE, LÓGICA FORMAL, ENGENHARIA DE SOFTWARE

    Acesso à fonteDOIHow to cite
    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: 24 abr. 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 abr. 24 ] 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 abr. 24 ] Available from: https://doi.org/10.1109/SEFM.2008.31

  • Dissertação (Mestrado)

    Uma técnica de verificação para `pi´-calculus baseada em bi-simulação up-to e algoritmos de particionamento (2003)

    Amorim, Marcelo de Moura; Melo, Ana Cristina Vieira de (Orientador)

    Unidade: IME

    Assunto: ENGENHARIA DE SOFTWARE

    Acesso à fonteHow to cite
    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: 24 abr. 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 abr. 24 ] 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 abr. 24 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20220712-120534/

  • Dissertação (Mestrado)

    Um método para a implementação de regras de negócio à partir da semântica SBVR (2013)

    Jesus, Jandisson Soares de; Melo, Ana Cristina Vieira de (Orientador)

    Unidade: IME

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

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

    • ABNT

      JESUS, Jandisson Soares de. Um método para a implementação de regras de negócio à partir da semântica SBVR. 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-22012014-144303. Acesso em: 24 abr. 2024.

    • APA

      Jesus, J. S. de. (2013). Um método para a implementação de regras de negócio à partir da semântica SBVR (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-22012014-144303

    • NLM

      Jesus JS de. Um método para a implementação de regras de negócio à partir da semântica SBVR [Internet]. 2013 ;[citado 2024 abr. 24 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-22012014-144303

    • Vancouver

      Jesus JS de. Um método para a implementação de regras de negócio à partir da semântica SBVR [Internet]. 2013 ;[citado 2024 abr. 24 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-22012014-144303

  • Tese (Doutorado)

    Um modelo para a estimação da dívida técnica baseado em produtividade (2019)

    Jesus, Jandisson Soares de; Melo, Ana Cristina Vieira de (Orientador)

    Unidade: IME

    Assunto: CIENCIA DA COMPUTACAO

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

    • ABNT

      JESUS, Jandisson Soares de. Um modelo para a estimação da dívida técnica baseado em produtividade. 2019. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2019. Disponível em: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-23012020-154212/. Acesso em: 24 abr. 2024.

    • APA

      Jesus, J. S. de. (2019). Um modelo para a estimação da dívida técnica baseado em produtividade (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/45/45134/tde-23012020-154212/

    • NLM

      Jesus JS de. Um modelo para a estimação da dívida técnica baseado em produtividade [Internet]. 2019 ;[citado 2024 abr. 24 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-23012020-154212/

    • Vancouver

      Jesus JS de. Um modelo para a estimação da dívida técnica baseado em produtividade [Internet]. 2019 ;[citado 2024 abr. 24 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-23012020-154212/

  • Dissertação (Mestrado)

    Um framework para coordenação do tratamento de exceções em sistemas tolerantes a falhas (2007)

    Pereira, David Paulo; Melo, Ana Cristina Vieira de (Orientador)

    Unidade: IME

    Subjects: TÉCNICAS DE PROGRAMAÇÃO, CORREÇÃO DE PROGRAMAS

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

    • ABNT

      PEREIRA, David Paulo. Um framework para coordenação do tratamento de exceções em sistemas tolerantes a falhas. 2007. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2007. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-08052007-130443/. Acesso em: 24 abr. 2024.

    • APA

      Pereira, D. P. (2007). Um framework para coordenação do tratamento de exceções em sistemas tolerantes a falhas (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-08052007-130443/

    • NLM

      Pereira DP. Um framework para coordenação do tratamento de exceções em sistemas tolerantes a falhas [Internet]. 2007 ;[citado 2024 abr. 24 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-08052007-130443/

    • Vancouver

      Pereira DP. Um framework para coordenação do tratamento de exceções em sistemas tolerantes a falhas [Internet]. 2007 ;[citado 2024 abr. 24 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-08052007-130443/

  • Dissertação (Mestrado)

    Um estudo sobre teste versus verificação formal de programas Java (2004)

    Prudente, Leandro César; Melo, Ana Cristina Vieira de (Orientador)

    Unidade: IME

    Assunto: ENGENHARIA DE SOFTWARE

    Acesso à fonteHow to cite
    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: 24 abr. 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 abr. 24 ] 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 abr. 24 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20220712-121325/

  • Dissertação (Mestrado)

    Um estudo de um protocolo de comunicação para dispositivos móveis usando Distributed Join-Calculus (2002)

    Tabuti, Lucy Mari; Melo, Ana Cristina Vieira de (Orientador)

    Unidade: IME

    Assunto: ENGENHARIA DE SOFTWARE

    Acesso à fonteHow to cite
    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: 24 abr. 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 abr. 24 ] 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 abr. 24 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-131131/

  • Dissertação (Mestrado)

    Tree bark framework: competences and mindset rearrangements for Digital and Technology Literacy in times of exponential rate of changes (2017)

    Achutti, Camila Fernandez; Melo, Ana Cristina Vieira de (Orientador)

    Unidade: IME

    Subjects: METODOLOGIA E TÉCNICAS DE PROGRAMAÇÃO, APRENDIZAGEM TECNOLÓGICA, COMPETÊNCIA INFORMACIONAL

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

    • ABNT

      ACHUTTI, Camila Fernandez. Tree bark framework: competences and mindset rearrangements for Digital and Technology Literacy in times of exponential rate of changes. 2017. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2017. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113158/. Acesso em: 24 abr. 2024.

    • APA

      Achutti, C. F. (2017). Tree bark framework: competences and mindset rearrangements for Digital and Technology Literacy in times of exponential rate of changes (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113158/

    • NLM

      Achutti CF. Tree bark framework: competences and mindset rearrangements for Digital and Technology Literacy in times of exponential rate of changes [Internet]. 2017 ;[citado 2024 abr. 24 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113158/

    • Vancouver

      Achutti CF. Tree bark framework: competences and mindset rearrangements for Digital and Technology Literacy in times of exponential rate of changes [Internet]. 2017 ;[citado 2024 abr. 24 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113158/

  • 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

    Acesso à fonteDOIHow to cite
    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: 24 abr. 2024.

    • 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 2024 abr. 24 ] 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 2024 abr. 24 ] Available from: https://doi.org/10.1145/1363686.1363858

  • Trabalho de evento

    Towards MC/DC coverage of properties specification patterns (2016)

    Melo, Ana Cristina Vieira de; Pasareanu, Corina S; Hanazumi , Simone

    Source: Proceedings. Conference titles: International Colloquium on Theoretical Aspects of Computing - ICTAC. Unidade: IME

    Subjects: DESENVOLVIMENTO DE SOFTWARE, TEORIA DA COMPUTAÇÃO

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

    • ABNT

      MELO, Ana Cristina Vieira de e PASAREANU, Corina S e HANAZUMI , Simone. Towards MC/DC coverage of properties specification patterns. 2016, Anais.. Cham: Springer, 2016. Disponível em: https://doi.org/10.1007/978-3-319-46750-4_10. Acesso em: 24 abr. 2024.

    • APA

      Melo, A. C. V. de, Pasareanu, C. S., & Hanazumi , S. (2016). Towards MC/DC coverage of properties specification patterns. In Proceedings. Cham: Springer. doi:10.1007/978-3-319-46750-4_10

    • NLM

      Melo ACV de, Pasareanu CS, Hanazumi S. Towards MC/DC coverage of properties specification patterns [Internet]. Proceedings. 2016 ;[citado 2024 abr. 24 ] Available from: https://doi.org/10.1007/978-3-319-46750-4_10

    • Vancouver

      Melo ACV de, Pasareanu CS, Hanazumi S. Towards MC/DC coverage of properties specification patterns [Internet]. Proceedings. 2016 ;[citado 2024 abr. 24 ] Available from: https://doi.org/10.1007/978-3-319-46750-4_10

  • Trabalho de evento

    Testing the adherence of enterprise web applications to transactional patterns (2012)

    Nunes, Paulo Roberto de Araújo França; Melo, Ana Cristina Vieira de

    Source: Proceedings. Conference titles: International Conference on the Quality of Information and Communications Technology - QUATIC. Unidade: IME

    Assunto: PROCESSAMENTO DE DADOS

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

    • ABNT

      NUNES, Paulo Roberto de Araújo França e MELO, Ana Cristina Vieira de. Testing the adherence of enterprise web applications to transactional patterns. 2012, Anais.. Piscataway: IEEE, 2012. Disponível em: https://doi.org/10.1109/QUATIC.2012.58. Acesso em: 24 abr. 2024.

    • APA

      Nunes, P. R. de A. F., & Melo, A. C. V. de. (2012). Testing the adherence of enterprise web applications to transactional patterns. In Proceedings. Piscataway: IEEE. doi:10.1109/QUATIC.2012.58

    • NLM

      Nunes PR de AF, Melo ACV de. Testing the adherence of enterprise web applications to transactional patterns [Internet]. Proceedings. 2012 ;[citado 2024 abr. 24 ] Available from: https://doi.org/10.1109/QUATIC.2012.58

    • Vancouver

      Nunes PR de AF, Melo ACV de. Testing the adherence of enterprise web applications to transactional patterns [Internet]. Proceedings. 2012 ;[citado 2024 abr. 24 ] Available from: https://doi.org/10.1109/QUATIC.2012.58

  • Trabalho de evento

    Testing Java exceptions: an instrumentation technique (2014)

    Martins, Alexandre Locci; Hanazumi, Simone; Melo, Ana Cristina Vieira de

    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: 24 abr. 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 abr. 24 ] 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 abr. 24 ] Available from: https://doi.org/10.1109/COMPSACW.2014.105

  • Dissertação (Mestrado)

    Teste e verificação formal do comportamento excepcional de programas Java (2014)

    Martins, Alexandre Locci; Melo, Ana Cristina Vieira de (Orientador)

    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: 24 abr. 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 abr. 24 ] 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 abr. 24 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-11082014-150106

  • Trabalho de evento

    Technical debt and the software project characteristics: a repository-based exploratory analysis (2017)

    Jesus, Jandisson Soares de; Melo, Ana Cristina Vieira de

    Source: Proceedings. Conference titles: IEEE Conference on Business Informatics (CBI). Unidade: IME

    Assunto: DESENVOLVIMENTO DE SOFTWARE

    PrivadoAcesso à 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. Technical debt and the software project characteristics: a repository-based exploratory analysis. 2017, Anais.. Piscataway: IEEE, 2017. Disponível em: https://doi.org/10.1109/CBI.2017.62. Acesso em: 24 abr. 2024.

    • APA

      Jesus, J. S. de, & Melo, A. C. V. de. (2017). Technical debt and the software project characteristics: a repository-based exploratory analysis. In Proceedings. Piscataway: IEEE. doi:10.1109/CBI.2017.62

    • NLM

      Jesus JS de, Melo ACV de. Technical debt and the software project characteristics: a repository-based exploratory analysis [Internet]. Proceedings. 2017 ;[citado 2024 abr. 24 ] Available from: https://doi.org/10.1109/CBI.2017.62

    • Vancouver

      Jesus JS de, Melo ACV de. Technical debt and the software project characteristics: a repository-based exploratory analysis [Internet]. Proceedings. 2017 ;[citado 2024 abr. 24 ] Available from: https://doi.org/10.1109/CBI.2017.62

1 - 20 (77 records)

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