Menu

Filtros : "Ciências de Computação e Matemática Computacional" "ENGENHARIA DE SOFTWARE" "2013" Removidos: "IQ007" "bn" "Multiplos idiomas" Limpar

Filtros

Refine with date range

  • 1

1 - 10 (10 records)

  • Tese (Doutorado)

    On test oracles for Simulink-like models (2013)

    Nardi, Paulo Augusto; Baresi, Luciano (Orientador); Delamaro, Márcio Eduardo (Orientador)

    Unidade: ICMC

    Subjects: ENGENHARIA DE SOFTWARE, SISTEMAS EMBUTIDOS, TESTE E AVALIAÇÃO DE SOFTWARE, SIMULINK, SISTEMAS EMBUTIDOS

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

    • ABNT

      NARDI, Paulo Augusto. On test oracles for Simulink-like models. 2013. Tese (Doutorado) – Universidade de São Paulo, São Carlos, 2013. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-26032014-104734/. Acesso em: 06 ago. 2024.

    • APA

      Nardi, P. A. (2013). On test oracles for Simulink-like models (Tese (Doutorado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-26032014-104734/

    • NLM

      Nardi PA. On test oracles for Simulink-like models [Internet]. 2013 ;[citado 2024 ago. 06 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-26032014-104734/

    • Vancouver

      Nardi PA. On test oracles for Simulink-like models [Internet]. 2013 ;[citado 2024 ago. 06 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-26032014-104734/

  • Tese (Doutorado)

    Model based testing of service oriented applications (2013)

    Endo, André Takeshi; Simão, Adenilso da Silva (Orientador)

    Unidade: ICMC

    Subjects: ENGENHARIA DE SOFTWARE, TESTE E AVALIAÇÃO DE SOFTWARE (DESENVOLVIMENTO;MODELOS), GRAFOS ALEATÓRIOS (SEQUÊNCIA), WORLD WIDE WEB (SERVIÇOS), LINGUAGEM DE PROGRAMAÇÃO, ARQUITETURA E ORGANIZAÇÃO DE COMPUTADORES

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

    • ABNT

      ENDO, André Takeshi. Model based testing of service oriented applications. 2013. Tese (Doutorado) – Universidade de São Paulo, São Carlos, 2013. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-20062013-140259/. Acesso em: 06 ago. 2024.

    • APA

      Endo, A. T. (2013). Model based testing of service oriented applications (Tese (Doutorado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-20062013-140259/

    • NLM

      Endo AT. Model based testing of service oriented applications [Internet]. 2013 ;[citado 2024 ago. 06 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-20062013-140259/

    • Vancouver

      Endo AT. Model based testing of service oriented applications [Internet]. 2013 ;[citado 2024 ago. 06 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-20062013-140259/

  • Dissertação (Mestrado)

    AGIRA - Um processo ágil de desenvolvimento de software baseado em arquiteturas de referência (2013)

    Zani, Vinícius Augusto Tagliatti; Nakagawa, Elisa Yumi (Orientador)

    Unidade: ICMC

    Subjects: ARQUITETURA DE SOFTWARE, ENGENHARIA DE SOFTWARE, MÉTODOS ÁGEIS

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

    • ABNT

      ZANI, Vinícius Augusto Tagliatti. AGIRA - Um processo ágil de desenvolvimento de software baseado em arquiteturas de referência. 2013. Dissertação (Mestrado) – Universidade de São Paulo, São Carlos, 2013. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-15052013-175642/. Acesso em: 06 ago. 2024.

    • APA

      Zani, V. A. T. (2013). AGIRA - Um processo ágil de desenvolvimento de software baseado em arquiteturas de referência (Dissertação (Mestrado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-15052013-175642/

    • NLM

      Zani VAT. AGIRA - Um processo ágil de desenvolvimento de software baseado em arquiteturas de referência [Internet]. 2013 ;[citado 2024 ago. 06 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-15052013-175642/

    • Vancouver

      Zani VAT. AGIRA - Um processo ágil de desenvolvimento de software baseado em arquiteturas de referência [Internet]. 2013 ;[citado 2024 ago. 06 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-15052013-175642/

  • Tese (Doutorado)

    Uma abordagem de apoio a boas práticas para desenvolvimento de aplicações Web acessíveis (2013)

    Bittar, Thiago Jabur; Fortes, Renata Pontin de Mattos (Orientador)

    Unidade: ICMC

    Subjects: INTERAÇÃO HOMEM-MÁQUINA, WORLD WIDE WEB, SOFTWARE LIVRE (PROJETO;PROCESSOS), ENGENHARIA DE SOFTWARE

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

    • ABNT

      BITTAR, Thiago Jabur. Uma abordagem de apoio a boas práticas para desenvolvimento de aplicações Web acessíveis. 2013. Tese (Doutorado) – Universidade de São Paulo, São Carlos, 2013. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-19042013-150117/. Acesso em: 06 ago. 2024.

    • APA

      Bittar, T. J. (2013). Uma abordagem de apoio a boas práticas para desenvolvimento de aplicações Web acessíveis (Tese (Doutorado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-19042013-150117/

    • NLM

      Bittar TJ. Uma abordagem de apoio a boas práticas para desenvolvimento de aplicações Web acessíveis [Internet]. 2013 ;[citado 2024 ago. 06 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-19042013-150117/

    • Vancouver

      Bittar TJ. Uma abordagem de apoio a boas práticas para desenvolvimento de aplicações Web acessíveis [Internet]. 2013 ;[citado 2024 ago. 06 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-19042013-150117/

  • Dissertação (Mestrado)

    Subsídios para a representação de arquiteturas de referência de sistemas embarcados (2013)

    Guessi, Milena; Nakagawa, Elisa Yumi (Orientador)

    Unidade: ICMC

    Subjects: SISTEMAS EMBUTIDOS, ARQUITETURA DE SOFTWARE, ENGENHARIA DE SOFTWARE

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

    • ABNT

      GUESSI, Milena. Subsídios para a representação de arquiteturas de referência de sistemas embarcados. 2013. Dissertação (Mestrado) – Universidade de São Paulo, São Carlos, 2013. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-09052013-110418/. Acesso em: 06 ago. 2024.

    • APA

      Guessi, M. (2013). Subsídios para a representação de arquiteturas de referência de sistemas embarcados (Dissertação (Mestrado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-09052013-110418/

    • NLM

      Guessi M. Subsídios para a representação de arquiteturas de referência de sistemas embarcados [Internet]. 2013 ;[citado 2024 ago. 06 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-09052013-110418/

    • Vancouver

      Guessi M. Subsídios para a representação de arquiteturas de referência de sistemas embarcados [Internet]. 2013 ;[citado 2024 ago. 06 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-09052013-110418/

  • Dissertação (Mestrado)

    Estratégia para geração de sequencias de verificação para máquinas de estados finitos (2013)

    Porto, Faimison Rodrigues; Simão, Adenilso da Silva (Orientador)

    Unidade: ICMC

    Subjects: ENGENHARIA DE SOFTWARE, SOFTWARES (TESTES), MÉTODO DOS ELEMENTOS FINITOS

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

    • ABNT

      PORTO, Faimison Rodrigues. Estratégia para geração de sequencias de verificação para máquinas de estados finitos. 2013. Dissertação (Mestrado) – Universidade de São Paulo, São Carlos, 2013. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-10072013-164922/. Acesso em: 06 ago. 2024.

    • APA

      Porto, F. R. (2013). Estratégia para geração de sequencias de verificação para máquinas de estados finitos (Dissertação (Mestrado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-10072013-164922/

    • NLM

      Porto FR. Estratégia para geração de sequencias de verificação para máquinas de estados finitos [Internet]. 2013 ;[citado 2024 ago. 06 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-10072013-164922/

    • Vancouver

      Porto FR. Estratégia para geração de sequencias de verificação para máquinas de estados finitos [Internet]. 2013 ;[citado 2024 ago. 06 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-10072013-164922/

  • Dissertação (Mestrado)

    Teste de mutação aplicado a programas concorrentes em MPI (2013)

    Silva, Rodolfo Adamshuk; Souza, Simone do Rocio Senger de (Orientador)

    Unidade: ICMC

    Subjects: SOFTWARES (TESTES;QUALIDADE), PROGRAMAÇÃO CONCORRENTE, ENGENHARIA DE SOFTWARE

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

    • ABNT

      SILVA, Rodolfo Adamshuk. Teste de mutação aplicado a programas concorrentes em MPI. 2013. Dissertação (Mestrado) – Universidade de São Paulo, São Carlos, 2013. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-10062013-103319/. Acesso em: 06 ago. 2024.

    • APA

      Silva, R. A. (2013). Teste de mutação aplicado a programas concorrentes em MPI (Dissertação (Mestrado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-10062013-103319/

    • NLM

      Silva RA. Teste de mutação aplicado a programas concorrentes em MPI [Internet]. 2013 ;[citado 2024 ago. 06 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-10062013-103319/

    • Vancouver

      Silva RA. Teste de mutação aplicado a programas concorrentes em MPI [Internet]. 2013 ;[citado 2024 ago. 06 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-10062013-103319/

  • Tese (Doutorado)

    Toward harnessing a Java high-level language virtual machine for supporting software testing (2013)

    Durelli, Vinicius Humberto Serapilha; Delamaro, Márcio Eduardo (Orientador) ; Offutt, Jefferson (Orientador)

    Unidade: ICMC

    Subjects: SOFTWARES (TESTES), JAVA, ENGENHARIA DE SOFTWARE

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

    • ABNT

      DURELLI, Vinicius Humberto Serapilha. Toward harnessing a Java high-level language virtual machine for supporting software testing. 2013. Tese (Doutorado) – Universidade de São Paulo, São Carlos, 2013. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-06012014-150025/. Acesso em: 06 ago. 2024.

    • APA

      Durelli, V. H. S. (2013). Toward harnessing a Java high-level language virtual machine for supporting software testing (Tese (Doutorado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-06012014-150025/

    • NLM

      Durelli VHS. Toward harnessing a Java high-level language virtual machine for supporting software testing [Internet]. 2013 ;[citado 2024 ago. 06 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-06012014-150025/

    • Vancouver

      Durelli VHS. Toward harnessing a Java high-level language virtual machine for supporting software testing [Internet]. 2013 ;[citado 2024 ago. 06 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-06012014-150025/

  • Dissertação (Mestrado)

    Um processo para customização de sistemas de software utilizando componentes orientados a aspectos (2013)

    Bianchi, Thiago; Nakagawa, Elisa Yumi (Orientador)

    Unidade: ICMC

    Subjects: PROJETO DE SOFTWARE ORIENTADO A ASPECTO, SOFTWARES (MANUTENÇÃO;COMPONENTES;SISTEMAS), ENGENHARIA DE SOFTWARE, PADRÕES DE SOFTWARE

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

    • ABNT

      BIANCHI, Thiago. Um processo para customização de sistemas de software utilizando componentes orientados a aspectos. 2013. Dissertação (Mestrado) – Universidade de São Paulo, São Carlos, 2013. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-23072013-164457/. Acesso em: 06 ago. 2024.

    • APA

      Bianchi, T. (2013). Um processo para customização de sistemas de software utilizando componentes orientados a aspectos (Dissertação (Mestrado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-23072013-164457/

    • NLM

      Bianchi T. Um processo para customização de sistemas de software utilizando componentes orientados a aspectos [Internet]. 2013 ;[citado 2024 ago. 06 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-23072013-164457/

    • Vancouver

      Bianchi T. Um processo para customização de sistemas de software utilizando componentes orientados a aspectos [Internet]. 2013 ;[citado 2024 ago. 06 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-23072013-164457/

  • Dissertação (Mestrado)

    Teste estrutural de tratamento de exceções em programas OA: representação, critérios e avaliação (2013)

    Carvalho, Luciano Augusto Fernandes; Masiero, Paulo Cesar (Orientador)

    Unidade: ICMC

    Subjects: PROGRAMAÇÃO ORIENTADA A OBJETOS, SOFTWARES (TESTES), PROJETO DE SOFTWARE ORIENTADO A ASPECTO, ENGENHARIA DE SOFTWARE

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

    • ABNT

      CARVALHO, Luciano Augusto Fernandes. Teste estrutural de tratamento de exceções em programas OA: representação, critérios e avaliação. 2013. Dissertação (Mestrado) – Universidade de São Paulo, São Carlos, 2013. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-23082013-153713/. Acesso em: 06 ago. 2024.

    • APA

      Carvalho, L. A. F. (2013). Teste estrutural de tratamento de exceções em programas OA: representação, critérios e avaliação (Dissertação (Mestrado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-23082013-153713/

    • NLM

      Carvalho LAF. Teste estrutural de tratamento de exceções em programas OA: representação, critérios e avaliação [Internet]. 2013 ;[citado 2024 ago. 06 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-23082013-153713/

    • Vancouver

      Carvalho LAF. Teste estrutural de tratamento de exceções em programas OA: representação, critérios e avaliação [Internet]. 2013 ;[citado 2024 ago. 06 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-23082013-153713/
  • 1

1 - 10 (10 records)

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