Filtros : "Science of Computer Programming" Removido: "Indexado no ACM Computing Reviews" Limpar

Filtros



Refine with date range


  • Source: Science of Computer Programming. Unidade: ICMC

    Subjects: ARQUITETURA DE SOFTWARE, TOMADA DE DECISÃO, PESQUISA QUALITATIVA

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

      CARVALHO, Lucas de Oliveira e CONTE, Tayana Uchôa. Software architecture decision-making process: the practitioners' view from the brazilian industry. Science of Computer Programming, v. 244, p. 1-14, 2025Tradução . . Disponível em: https://doi.org/10.1016/j.scico.2025.103302. Acesso em: 17 fev. 2026.
    • APA

      Carvalho, L. de O., & Conte, T. U. (2025). Software architecture decision-making process: the practitioners' view from the brazilian industry. Science of Computer Programming, 244, 1-14. doi:10.1016/j.scico.2025.103302
    • NLM

      Carvalho L de O, Conte TU. Software architecture decision-making process: the practitioners' view from the brazilian industry [Internet]. Science of Computer Programming. 2025 ; 244 1-14.[citado 2026 fev. 17 ] Available from: https://doi.org/10.1016/j.scico.2025.103302
    • Vancouver

      Carvalho L de O, Conte TU. Software architecture decision-making process: the practitioners' view from the brazilian industry [Internet]. Science of Computer Programming. 2025 ; 244 1-14.[citado 2026 fev. 17 ] Available from: https://doi.org/10.1016/j.scico.2025.103302
  • Source: Science of Computer Programming. Unidade: ICMC

    Subjects: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO

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

      SIMÃO, Adenilso da Silva e MORGAN, Carroll. Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2011).. [Prefácio]. Science of Computer Programming. Amsterdam: Elsevier. Disponível em: https://doi.org/10.1016/j.scico.2014.02.004. Acesso em: 17 fev. 2026. , 2014
    • APA

      Simão, A. da S., & Morgan, C. (2014). Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2011).. [Prefácio]. Science of Computer Programming. Amsterdam: Elsevier. doi:10.1016/j.scico.2014.02.004
    • NLM

      Simão A da S, Morgan C. Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2011).. [Prefácio] [Internet]. Science of Computer Programming. 2014 ; 92 85.[citado 2026 fev. 17 ] Available from: https://doi.org/10.1016/j.scico.2014.02.004
    • Vancouver

      Simão A da S, Morgan C. Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2011).. [Prefácio] [Internet]. Science of Computer Programming. 2014 ; 92 85.[citado 2026 fev. 17 ] Available from: https://doi.org/10.1016/j.scico.2014.02.004
  • Source: Science of Computer Programming. Unidade: IME

    Assunto: INTELIGÊNCIA ARTIFICIAL

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

      PEREIRA, David Paulo e MELO, Ana Cristina Vieira de. Formalization of an architectural model for exception handling coordination based on CA action concepts. Science of Computer Programming, v. 75, n. 5, p. 333-349, 2010Tradução . . Disponível em: https://doi.org/10.1016/j.scico.2009.12.006. Acesso em: 17 fev. 2026.
    • APA

      Pereira, D. P., & Melo, A. C. V. de. (2010). Formalization of an architectural model for exception handling coordination based on CA action concepts. Science of Computer Programming, 75( 5), 333-349. doi:10.1016/j.scico.2009.12.006
    • NLM

      Pereira DP, Melo ACV de. Formalization of an architectural model for exception handling coordination based on CA action concepts [Internet]. Science of Computer Programming. 2010 ; 75( 5): 333-349.[citado 2026 fev. 17 ] Available from: https://doi.org/10.1016/j.scico.2009.12.006
    • Vancouver

      Pereira DP, Melo ACV de. Formalization of an architectural model for exception handling coordination based on CA action concepts [Internet]. Science of Computer Programming. 2010 ; 75( 5): 333-349.[citado 2026 fev. 17 ] Available from: https://doi.org/10.1016/j.scico.2009.12.006
  • Source: Science of Computer Programming. Unidade: ICMC

    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

      LEMOS, Otávio Augusto Lazzarini e FRANCHIN, Ivan Gustavo e MASIERO, Paulo Cesar. Integration testing of object-oriented and aspect-oriented programs: a structural pairwise approach for java. Science of Computer Programming, v. 74, n. 10, p. 861-878, 2009Tradução . . Disponível em: http://www.sciencedirect.com/science/journal/01676423. Acesso em: 17 fev. 2026.
    • APA

      Lemos, O. A. L., Franchin, I. G., & Masiero, P. C. (2009). Integration testing of object-oriented and aspect-oriented programs: a structural pairwise approach for java. Science of Computer Programming, 74( 10), 861-878. Recuperado de http://www.sciencedirect.com/science/journal/01676423
    • NLM

      Lemos OAL, Franchin IG, Masiero PC. Integration testing of object-oriented and aspect-oriented programs: a structural pairwise approach for java [Internet]. Science of Computer Programming. 2009 ;74( 10): 861-878.[citado 2026 fev. 17 ] Available from: http://www.sciencedirect.com/science/journal/01676423
    • Vancouver

      Lemos OAL, Franchin IG, Masiero PC. Integration testing of object-oriented and aspect-oriented programs: a structural pairwise approach for java [Internet]. Science of Computer Programming. 2009 ;74( 10): 861-878.[citado 2026 fev. 17 ] Available from: http://www.sciencedirect.com/science/journal/01676423
  • Source: Science of Computer Programming. Unidade: ICMC

    Assunto: ENGENHARIA DE SOFTWARE

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

      VINCENZI, Auri Marcelo Rizzo et al. Coverage testing of java programs and components. Science of Computer Programming, v. 56, 2005Tradução . . Disponível em: https://doi.org/10.1016/j.scico.2004.11.013. Acesso em: 17 fev. 2026.
    • APA

      Vincenzi, A. M. R., Maldonado, J. C., Wong, W. E., & Delamaro, M. E. (2005). Coverage testing of java programs and components. Science of Computer Programming, 56. doi:10.1016/j.scico.2004.11.013
    • NLM

      Vincenzi AMR, Maldonado JC, Wong WE, Delamaro ME. Coverage testing of java programs and components [Internet]. Science of Computer Programming. 2005 ; 56[citado 2026 fev. 17 ] Available from: https://doi.org/10.1016/j.scico.2004.11.013
    • Vancouver

      Vincenzi AMR, Maldonado JC, Wong WE, Delamaro ME. Coverage testing of java programs and components [Internet]. Science of Computer Programming. 2005 ; 56[citado 2026 fev. 17 ] Available from: https://doi.org/10.1016/j.scico.2004.11.013

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