Menu

Filtros : "SOUSA, THIAGO CARVALHO DE" Limpar

Filtros

Refine with date range

  • 1

1 - 2 (2 records)

  • Tese (Doutorado)

    Um processo de desenvolvimento orientado a objetos com suporte à verificação formal de inconsistências (2013)

    Sousa, Thiago Carvalho de; Silva, Paulo Sérgio Muniz (Orientador)

    Unidade: EP

    Subjects: DESENVOLVIMENTO DE SOFTWARE, UML

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

    • ABNT

      SOUSA, Thiago Carvalho de. Um processo de desenvolvimento orientado a objetos com suporte à verificação formal de inconsistências. 2013. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2013. Disponível em: https://teses.usp.br/teses/disponiveis/3/3141/tde-21102014-113929/. Acesso em: 03 maio 2026.

    • APA

      Sousa, T. C. de. (2013). Um processo de desenvolvimento orientado a objetos com suporte à verificação formal de inconsistências (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/3/3141/tde-21102014-113929/

    • NLM

      Sousa TC de. Um processo de desenvolvimento orientado a objetos com suporte à verificação formal de inconsistências [Internet]. 2013 ;[citado 2026 maio 03 ] Available from: https://teses.usp.br/teses/disponiveis/3/3141/tde-21102014-113929/

    • Vancouver

      Sousa TC de. Um processo de desenvolvimento orientado a objetos com suporte à verificação formal de inconsistências [Internet]. 2013 ;[citado 2026 maio 03 ] Available from: https://teses.usp.br/teses/disponiveis/3/3141/tde-21102014-113929/

  • Dissertação (Mestrado)

    Revisão de modelos formais de sistemas de estados finitos (2007)

    Sousa, Thiago Carvalho de; Wassermann, Renata (Orientador)

    Unidade: IME

    Subjects: ENGENHARIA DE PROGRAMAS, ESPECIFICAÇÃO DE SISTEMAS E PROGRAMAS

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

    • ABNT

      SOUSA, Thiago Carvalho de. Revisão de modelos formais de sistemas de estados finitos. 2007. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2007. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-06032014-080953/. Acesso em: 03 maio 2026.

    • APA

      Sousa, T. C. de. (2007). Revisão de modelos formais de sistemas de estados finitos (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-06032014-080953/

    • NLM

      Sousa TC de. Revisão de modelos formais de sistemas de estados finitos [Internet]. 2007 ;[citado 2026 maio 03 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-06032014-080953/

    • Vancouver

      Sousa TC de. Revisão de modelos formais de sistemas de estados finitos [Internet]. 2007 ;[citado 2026 maio 03 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-06032014-080953/
  • 1

1 - 2 (2 records)

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