Menu

Filtros : "program verification" Limpar

Filtros

Refine with date range

  • 1

1 - 2 (2 records)

  • Artigo de periodico

    A formal approach to implement java exceptions in cooperative systems (2017)

    Hanazumi, Simone; Melo, Ana Cristina Vieira de

    Source: Journal of Systems and Software. Unidade: IME

    Subjects: DESENVOLVIMENTO DE SOFTWARE, JAVA

    PrivadoAcesso à fonteDOIHow to cite
    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 formal approach to implement java exceptions in cooperative systems. Journal of Systems and Software, v. 131, p. 475-490, 2017Tradução . . Disponível em: https://doi.org/10.1016/j.jss.2016.07.033. Acesso em: 19 jan. 2026.

    • APA

      Hanazumi, S., & Melo, A. C. V. de. (2017). A formal approach to implement java exceptions in cooperative systems. Journal of Systems and Software, 131, 475-490. doi:10.1016/j.jss.2016.07.033

    • NLM

      Hanazumi S, Melo ACV de. A formal approach to implement java exceptions in cooperative systems [Internet]. Journal of Systems and Software. 2017 ; 131 475-490.[citado 2026 jan. 19 ] Available from: https://doi.org/10.1016/j.jss.2016.07.033

    • Vancouver

      Hanazumi S, Melo ACV de. A formal approach to implement java exceptions in cooperative systems [Internet]. Journal of Systems and Software. 2017 ; 131 475-490.[citado 2026 jan. 19 ] Available from: https://doi.org/10.1016/j.jss.2016.07.033

  • 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: 19 jan. 2026.

    • 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 2026 jan. 19 ] 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 2026 jan. 19 ] Available from: https://doi.org/10.1145/1363686.1363858
  • 1

1 - 2 (2 records)

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