Menu

Filtros : "Formal specification" Removido: "2017" Limpar

Filtros

Refine with date range

  • 1

1 - 2 (2 records)

  • Dissertação (Mestrado)

    A formalization of a startup finance transaction model using Alloy (2023)

    Stevaux, Rodrigo Ehrlich; Melo, Ana Cristina Vieira de (Orientador)

    Unidade: IME

    Subjects: MÉTODOS DE DESENVOLVIMENTO DE SOFTWARE, VERIFICAÇÃO E VALIDAÇÃO DE SOFTWARE, CAPITAL DE RISCO

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

    • ABNT

      STEVAUX, Rodrigo Ehrlich. A formalization of a startup finance transaction model using Alloy. 2023. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2023. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-05042024-151358/. Acesso em: 02 maio 2026.

    • APA

      Stevaux, R. E. (2023). A formalization of a startup finance transaction model using Alloy (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-05042024-151358/

    • NLM

      Stevaux RE. A formalization of a startup finance transaction model using Alloy [Internet]. 2023 ;[citado 2026 maio 02 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-05042024-151358/

    • Vancouver

      Stevaux RE. A formalization of a startup finance transaction model using Alloy [Internet]. 2023 ;[citado 2026 maio 02 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-05042024-151358/

  • 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: 02 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 02 ] 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 02 ] Available from: https://teses.usp.br/teses/disponiveis/55/55134/tde-04012019-112931/
  • 1

1 - 2 (2 records)

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