Menu

Filtros : "Process algebra" Removido: "2009" Limpar

Filtros

Refine with date range

  • 1

1 - 4 (4 records)

  • Artigo de periodico

    Fault-based refinement-testing for CSP (2019)

    Cavalcanti, Ana; Simão, Adenilso da Silva

    Source: Software Quality Journal. Unidade: ICMC

    Subjects: SEMÂNTICA DE PROGRAMAÇÃO, MODELOS, FALHA, ÁLGEBRA COMPUTACIONAL

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

    • ABNT

      CAVALCANTI, Ana e SIMÃO, Adenilso da Silva. Fault-based refinement-testing for CSP. Software Quality Journal, v. 27, n. 2, p. 529-562, 2019Tradução . . Disponível em: https://doi.org/10.1007/s11219-018-9431-9. Acesso em: 05 maio 2026.

    • APA

      Cavalcanti, A., & Simão, A. da S. (2019). Fault-based refinement-testing for CSP. Software Quality Journal, 27( 2), 529-562. doi:10.1007/s11219-018-9431-9

    • NLM

      Cavalcanti A, Simão A da S. Fault-based refinement-testing for CSP [Internet]. Software Quality Journal. 2019 ; 27( 2): 529-562.[citado 2026 maio 05 ] Available from: https://doi.org/10.1007/s11219-018-9431-9

    • Vancouver

      Cavalcanti A, Simão A da S. Fault-based refinement-testing for CSP [Internet]. Software Quality Journal. 2019 ; 27( 2): 529-562.[citado 2026 maio 05 ] Available from: https://doi.org/10.1007/s11219-018-9431-9

  • Tese (Doutorado)

    Formal mutation testing in Circus process algebra (2018)

    Alberto, Alex D. B; Gauldel, Marie-Caude Antoinette Renée (coorient); Simão, Adenilso da Silva (Orientador)

    Unidade: ICMC

    Subjects: SOFTWARES, ENGENHARIA DE SOFTWARE

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

    • ABNT

      ALBERTO, Alex D. B. Formal mutation testing in Circus process algebra. 2018. Tese (Doutorado) – Universidade de São Paulo, São Carlos, 2018. Disponível em: https://teses.usp.br/teses/disponiveis/55/55134/tde-04012019-112931/. Acesso em: 05 maio 2026.

    • APA

      Alberto, A. D. B. (2018). Formal mutation testing in Circus process algebra (Tese (Doutorado). Universidade de São Paulo, São Carlos. Recuperado de https://teses.usp.br/teses/disponiveis/55/55134/tde-04012019-112931/

    • NLM

      Alberto ADB. Formal mutation testing in Circus process algebra [Internet]. 2018 ;[citado 2026 maio 05 ] Available from: https://teses.usp.br/teses/disponiveis/55/55134/tde-04012019-112931/

    • Vancouver

      Alberto ADB. Formal mutation testing in Circus process algebra [Internet]. 2018 ;[citado 2026 maio 05 ] Available from: https://teses.usp.br/teses/disponiveis/55/55134/tde-04012019-112931/

  • Trabalho de evento

    Business processes management using process algebra and relational database model (2008)

    Braghetto, Kelly Rosa ; Ferreira, João Eduardo ; Pu, Calton

    Source: Proceedings. Conference titles: International Conference on e-Business - ICE-B. Unidade: IME

    Subjects: ÁLGEBRA, SISTEMAS DE INFORMAÇÃO, BANCO DE DADOS RELACIONAIS, SISTEMAS DE INFORMAÇÃO GERENCIAL

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

    • ABNT

      BRAGHETTO, Kelly Rosa e FERREIRA, João Eduardo e PU, Calton. Business processes management using process algebra and relational database model. 2008, Anais.. Setúbal: SciTePress, 2008. Disponível em: https://doi.org/10.5220/0001908903230333. Acesso em: 05 maio 2026.

    • APA

      Braghetto, K. R., Ferreira, J. E., & Pu, C. (2008). Business processes management using process algebra and relational database model. In Proceedings. Setúbal: SciTePress. doi:10.5220/0001908903230333

    • NLM

      Braghetto KR, Ferreira JE, Pu C. Business processes management using process algebra and relational database model [Internet]. Proceedings. 2008 ;[citado 2026 maio 05 ] Available from: https://doi.org/10.5220/0001908903230333

    • Vancouver

      Braghetto KR, Ferreira JE, Pu C. Business processes management using process algebra and relational database model [Internet]. Proceedings. 2008 ;[citado 2026 maio 05 ] Available from: https://doi.org/10.5220/0001908903230333

  • Trabalho de evento

    HIV drug resistance analysis tool based on process algebra (2008)

    Araújo, Luciano Vieira de ; Sabino, Ester Cerdeira ; Ferreira, João Eduardo

    Source: Proceedings. Conference titles: Symposium on Applied Computing - SAC. Unidades: FM, IME, Interunidades em Bioinformática

    Subjects: ÁLGEBRA, HIV, COMPUTAÇÃO APLICADA

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

    • ABNT

      ARAÚJO, Luciano Vieira de e SABINO, Ester Cerdeira e FERREIRA, João Eduardo. HIV drug resistance analysis tool based on process algebra. 2008, Anais.. New York: ACM, 2008. Disponível em: https://doi.org/10.1145/1363686.1364001. Acesso em: 05 maio 2026.

    • APA

      Araújo, L. V. de, Sabino, E. C., & Ferreira, J. E. (2008). HIV drug resistance analysis tool based on process algebra. In Proceedings. New York: ACM. doi:10.1145/1363686.1364001

    • NLM

      Araújo LV de, Sabino EC, Ferreira JE. HIV drug resistance analysis tool based on process algebra [Internet]. Proceedings. 2008 ;[citado 2026 maio 05 ] Available from: https://doi.org/10.1145/1363686.1364001

    • Vancouver

      Araújo LV de, Sabino EC, Ferreira JE. HIV drug resistance analysis tool based on process algebra [Internet]. Proceedings. 2008 ;[citado 2026 maio 05 ] Available from: https://doi.org/10.1145/1363686.1364001
  • 1

1 - 4 (4 records)

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