Filtros : "Ciência da Computação" "ENGENHARIA DE SOFTWARE" Removidos: "QUIMICA" "1961" Limpar

Filtros



Limitar por data


  • Unidade: IME

    Assuntos: APRENDIZADO COMPUTACIONAL, PROCESSAMENTO DE LINGUAGEM NATURAL, ENGENHARIA DE SOFTWARE

    Acesso à fonteAcesso à fonteDOIComo citar
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      BARZILAY, Alan. Using natural language processing techniques for automated code refactoring. 2023. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2023. Disponível em: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-18012024-163530/. Acesso em: 23 ago. 2024.
    • APA

      Barzilay, A. (2023). Using natural language processing techniques for automated code refactoring (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/45/45134/tde-18012024-163530/
    • NLM

      Barzilay A. Using natural language processing techniques for automated code refactoring [Internet]. 2023 ;[citado 2024 ago. 23 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-18012024-163530/
    • Vancouver

      Barzilay A. Using natural language processing techniques for automated code refactoring [Internet]. 2023 ;[citado 2024 ago. 23 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-18012024-163530/
  • Unidade: IME

    Assuntos: AMBIENTE COLABORATIVO, DESENVOLVIMENTO DE SOFTWARE, ENGENHARIA DE SOFTWARE, QUALIDADE DE SOFTWARE

    Acesso à fonteAcesso à fonteDOIComo citar
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      KATTAN, Herez Moise. Mob Programming for writing code with high complexity and remote work. 2023. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2023. Disponível em: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-27032023-161552/. Acesso em: 23 ago. 2024.
    • APA

      Kattan, H. M. (2023). Mob Programming for writing code with high complexity and remote work (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/45/45134/tde-27032023-161552/
    • NLM

      Kattan HM. Mob Programming for writing code with high complexity and remote work [Internet]. 2023 ;[citado 2024 ago. 23 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-27032023-161552/
    • Vancouver

      Kattan HM. Mob Programming for writing code with high complexity and remote work [Internet]. 2023 ;[citado 2024 ago. 23 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-27032023-161552/
  • Unidade: IME

    Assuntos: ENGENHARIA DE SOFTWARE, SOFTWARES

    Acesso à fonteAcesso à fonteDOIComo citar
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      LEITE, Leonardo Alexandre Ferreira. A grounded theory of organizational structures for development and infrastructure professionals in software-producing organizations. 2022. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2022. Disponível em: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-28062022-132626/. Acesso em: 23 ago. 2024.
    • APA

      Leite, L. A. F. (2022). A grounded theory of organizational structures for development and infrastructure professionals in software-producing organizations (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/45/45134/tde-28062022-132626/
    • NLM

      Leite LAF. A grounded theory of organizational structures for development and infrastructure professionals in software-producing organizations [Internet]. 2022 ;[citado 2024 ago. 23 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-28062022-132626/
    • Vancouver

      Leite LAF. A grounded theory of organizational structures for development and infrastructure professionals in software-producing organizations [Internet]. 2022 ;[citado 2024 ago. 23 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-28062022-132626/
  • Unidade: IME

    Assuntos: LINUX, ENGENHARIA DE SOFTWARE

    Acesso à fonteAcesso à fonteDOIComo citar
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      SCHMITT, Marcelo. Linux kernel device driver testing. 2022. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2022. Disponível em: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-30112022-152524/. Acesso em: 23 ago. 2024.
    • APA

      Schmitt, M. (2022). Linux kernel device driver testing (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/45/45134/tde-30112022-152524/
    • NLM

      Schmitt M. Linux kernel device driver testing [Internet]. 2022 ;[citado 2024 ago. 23 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-30112022-152524/
    • Vancouver

      Schmitt M. Linux kernel device driver testing [Internet]. 2022 ;[citado 2024 ago. 23 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-30112022-152524/
  • Unidade: IME

    Assuntos: ENGENHARIA DE SOFTWARE, SOFTWARES

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

      WESSEL, Mairieli Santos. Perception of software bots on pull requests on social coding environments. 2021. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2021. Disponível em: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-14092021-174259/. Acesso em: 23 ago. 2024.
    • APA

      Wessel, M. S. (2021). Perception of software bots on pull requests on social coding environments (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/45/45134/tde-14092021-174259/
    • NLM

      Wessel MS. Perception of software bots on pull requests on social coding environments [Internet]. 2021 ;[citado 2024 ago. 23 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-14092021-174259/
    • Vancouver

      Wessel MS. Perception of software bots on pull requests on social coding environments [Internet]. 2021 ;[citado 2024 ago. 23 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-14092021-174259/
  • Unidade: IME

    Assuntos: ENGENHARIA DE SOFTWARE, SISTEMAS MULTIAGENTES

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

      LIMA, Igor Conrado Alves de. GAVEL: a sanction-based regulation mechanism for normative multiagent systems. 2019. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2019. Disponível em: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-06072020-170444/. Acesso em: 23 ago. 2024.
    • APA

      Lima, I. C. A. de. (2019). GAVEL: a sanction-based regulation mechanism for normative multiagent systems (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/45/45134/tde-06072020-170444/
    • NLM

      Lima ICA de. GAVEL: a sanction-based regulation mechanism for normative multiagent systems [Internet]. 2019 ;[citado 2024 ago. 23 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-06072020-170444/
    • Vancouver

      Lima ICA de. GAVEL: a sanction-based regulation mechanism for normative multiagent systems [Internet]. 2019 ;[citado 2024 ago. 23 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-06072020-170444/
  • Unidade: IME

    Assuntos: CIENCIA DA COMPUTACAO, ENGENHARIA DE SOFTWARE, QUALIDADE DE SOFTWARE

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

      RIBEIRO, Athos Coimbra. Ranking source code static analysis warnings for continuous monitoring of free/libre/open source software repositories. 2018. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2018. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-20082018-170140/. Acesso em: 23 ago. 2024.
    • APA

      Ribeiro, A. C. (2018). Ranking source code static analysis warnings for continuous monitoring of free/libre/open source software repositories (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-20082018-170140/
    • NLM

      Ribeiro AC. Ranking source code static analysis warnings for continuous monitoring of free/libre/open source software repositories [Internet]. 2018 ;[citado 2024 ago. 23 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-20082018-170140/
    • Vancouver

      Ribeiro AC. Ranking source code static analysis warnings for continuous monitoring of free/libre/open source software repositories [Internet]. 2018 ;[citado 2024 ago. 23 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-20082018-170140/
  • Unidade: IME

    Assuntos: ENGENHARIA DE SOFTWARE, PROCESSO DE SOFTWARE

    Acesso à fonteAcesso à fonteDOIComo citar
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      OLIVA, Gustavo Ansaldi. On the link between structural dependencies and software changes. 2017. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2017. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113255/. Acesso em: 23 ago. 2024.
    • APA

      Oliva, G. A. (2017). On the link between structural dependencies and software changes (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113255/
    • NLM

      Oliva GA. On the link between structural dependencies and software changes [Internet]. 2017 ;[citado 2024 ago. 23 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113255/
    • Vancouver

      Oliva GA. On the link between structural dependencies and software changes [Internet]. 2017 ;[citado 2024 ago. 23 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113255/
  • Unidade: IME

    Assuntos: TÉCNICAS DE PROGRAMAÇÃO, ARQUITETURA DE SOFTWARE, ENGENHARIA DE SOFTWARE, MANUTENÇÃO DE SOFTWARE

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

      ANICHE, Mauricio Finavaro. Context-based code quality assessment. 2016. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2016. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-13092016-123733/. Acesso em: 23 ago. 2024.
    • APA

      Aniche, M. F. (2016). Context-based code quality assessment (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-13092016-123733/
    • NLM

      Aniche MF. Context-based code quality assessment [Internet]. 2016 ;[citado 2024 ago. 23 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-13092016-123733/
    • Vancouver

      Aniche MF. Context-based code quality assessment [Internet]. 2016 ;[citado 2024 ago. 23 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-13092016-123733/
  • Unidade: IME

    Assuntos: ENGENHARIA DE SOFTWARE, MINERAÇÃO DE DADOS, SOFTWARE LIVRE

    Acesso à fonteAcesso à fonteDOIComo citar
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      SILVA, José Teodoro da. Desambiguação de autoria em listas de discussão de projetos de software livre. 2015. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2015. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113322/. Acesso em: 23 ago. 2024.
    • APA

      Silva, J. T. da. (2015). Desambiguação de autoria em listas de discussão de projetos de software livre (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113322/
    • NLM

      Silva JT da. Desambiguação de autoria em listas de discussão de projetos de software livre [Internet]. 2015 ;[citado 2024 ago. 23 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113322/
    • Vancouver

      Silva JT da. Desambiguação de autoria em listas de discussão de projetos de software livre [Internet]. 2015 ;[citado 2024 ago. 23 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113322/
  • Unidade: IME

    Assuntos: SOFTWARE LIVRE, ENGENHARIA DE SOFTWARE

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

      MEIRELLES, Paulo Roberto Miranda. Monitoramento de métricas de código-fonte em projetos de software livre. 2013. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2013. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-27082013-090242. Acesso em: 23 ago. 2024.
    • APA

      Meirelles, P. R. M. (2013). Monitoramento de métricas de código-fonte em projetos de software livre (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-27082013-090242
    • NLM

      Meirelles PRM. Monitoramento de métricas de código-fonte em projetos de software livre [Internet]. 2013 ;[citado 2024 ago. 23 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-27082013-090242
    • Vancouver

      Meirelles PRM. Monitoramento de métricas de código-fonte em projetos de software livre [Internet]. 2013 ;[citado 2024 ago. 23 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-27082013-090242
  • Unidade: IME

    Assuntos: SOFTWARES, JAVA, ENGENHARIA DE SOFTWARE

    Acesso à fonteAcesso à fonteDOIComo citar
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      TSAI, Luciana Setsuko Gakiya. Classificação e busca de componentes com tratamento de exceções. 2008. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2008. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113721/. Acesso em: 23 ago. 2024.
    • APA

      Tsai, L. S. G. (2008). Classificação e busca de componentes com tratamento de exceções (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113721/
    • NLM

      Tsai LSG. Classificação e busca de componentes com tratamento de exceções [Internet]. 2008 ;[citado 2024 ago. 23 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113721/
    • Vancouver

      Tsai LSG. Classificação e busca de componentes com tratamento de exceções [Internet]. 2008 ;[citado 2024 ago. 23 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113721/
  • Unidade: IME

    Assunto: ENGENHARIA DE SOFTWARE

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

      SILVA, Alexandre Freire da. Reflexões sobre o ensino de metodologias ágeis na academia, na indústria e no governo. 2007. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2007. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-17122007-175223/. Acesso em: 23 ago. 2024.
    • APA

      Silva, A. F. da. (2007). Reflexões sobre o ensino de metodologias ágeis na academia, na indústria e no governo (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-17122007-175223/
    • NLM

      Silva AF da. Reflexões sobre o ensino de metodologias ágeis na academia, na indústria e no governo [Internet]. 2007 ;[citado 2024 ago. 23 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-17122007-175223/
    • Vancouver

      Silva AF da. Reflexões sobre o ensino de metodologias ágeis na academia, na indústria e no governo [Internet]. 2007 ;[citado 2024 ago. 23 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-17122007-175223/
  • Unidade: ICMC

    Assuntos: WEB SITES (APLICAÇÕES;DESENVOLVIMENTO), SOFTWARES (GERENCIAMENTO;PROCESSOS;QUALIDADE), ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO

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

      SOUZA, Osnete Ribeiro de. Processos de apoio ao desenvolvimento de aplicações WEB. 2005. Dissertação (Mestrado) – Universidade de São Paulo, São Carlos, 2005. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-23072005-101245/. Acesso em: 23 ago. 2024.
    • APA

      Souza, O. R. de. (2005). Processos de apoio ao desenvolvimento de aplicações WEB (Dissertação (Mestrado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-23072005-101245/
    • NLM

      Souza OR de. Processos de apoio ao desenvolvimento de aplicações WEB [Internet]. 2005 ;[citado 2024 ago. 23 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-23072005-101245/
    • Vancouver

      Souza OR de. Processos de apoio ao desenvolvimento de aplicações WEB [Internet]. 2005 ;[citado 2024 ago. 23 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-23072005-101245/
  • Unidade: IME

    Assunto: ENGENHARIA DE SOFTWARE

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

      BARCELOS, Thiago Schumacher. Interfaces prestativas baseadas em visão computacional e informação de contexto. 2005. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2005. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-142051/. Acesso em: 23 ago. 2024.
    • APA

      Barcelos, T. S. (2005). Interfaces prestativas baseadas em visão computacional e informação de contexto (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-142051/
    • NLM

      Barcelos TS. Interfaces prestativas baseadas em visão computacional e informação de contexto [Internet]. 2005 ;[citado 2024 ago. 23 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-142051/
    • Vancouver

      Barcelos TS. Interfaces prestativas baseadas em visão computacional e informação de contexto [Internet]. 2005 ;[citado 2024 ago. 23 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-142051/
  • Unidade: IME

    Assunto: ENGENHARIA DE SOFTWARE

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

      HEMERLY, Gilberto da Silva. O impacto de elementos de realidade virtual em usuários de interfaces gráficas tridimensionais. 2004. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2004. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-142657/. Acesso em: 23 ago. 2024.
    • APA

      Hemerly, G. da S. (2004). O impacto de elementos de realidade virtual em usuários de interfaces gráficas tridimensionais (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-142657/
    • NLM

      Hemerly G da S. O impacto de elementos de realidade virtual em usuários de interfaces gráficas tridimensionais [Internet]. 2004 ;[citado 2024 ago. 23 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-142657/
    • Vancouver

      Hemerly G da S. O impacto de elementos de realidade virtual em usuários de interfaces gráficas tridimensionais [Internet]. 2004 ;[citado 2024 ago. 23 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-142657/
  • Unidade: IME

    Assunto: ENGENHARIA DE SOFTWARE

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

      SANCHEZ, Adilson de Jesus. Uso de redes bayesianas no gerenciamento de manutenção de software. 2003. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2003. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-20220712-120654/. Acesso em: 23 ago. 2024.
    • APA

      Sanchez, A. de J. (2003). Uso de redes bayesianas no gerenciamento de manutenção de software (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20220712-120654/
    • NLM

      Sanchez A de J. Uso de redes bayesianas no gerenciamento de manutenção de software [Internet]. 2003 ;[citado 2024 ago. 23 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20220712-120654/
    • Vancouver

      Sanchez A de J. Uso de redes bayesianas no gerenciamento de manutenção de software [Internet]. 2003 ;[citado 2024 ago. 23 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20220712-120654/
  • Unidade: IME

    Assunto: ENGENHARIA DE SOFTWARE

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

      AMORIM, Marcelo de Moura. Uma técnica de verificação para `pi´-calculus baseada em bi-simulação up-to e algoritmos de particionamento. 2003. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2003. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-20220712-120534/. Acesso em: 23 ago. 2024.
    • APA

      Amorim, M. de M. (2003). Uma técnica de verificação para `pi´-calculus baseada em bi-simulação up-to e algoritmos de particionamento (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20220712-120534/
    • NLM

      Amorim M de M. Uma técnica de verificação para `pi´-calculus baseada em bi-simulação up-to e algoritmos de particionamento [Internet]. 2003 ;[citado 2024 ago. 23 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20220712-120534/
    • Vancouver

      Amorim M de M. Uma técnica de verificação para `pi´-calculus baseada em bi-simulação up-to e algoritmos de particionamento [Internet]. 2003 ;[citado 2024 ago. 23 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20220712-120534/
  • Unidade: IME

    Assuntos: ENGENHARIA DE SOFTWARE, TESTE E AVALIAÇÃO DE SOFTWARE

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

      GLADCHEFF, Ana Paula. Um instrumento de avaliação da qualidade para software educacional de matemática. 2001. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2001. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-123758/. Acesso em: 23 ago. 2024.
    • APA

      Gladcheff, A. P. (2001). Um instrumento de avaliação da qualidade para software educacional de matemática (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-123758/
    • NLM

      Gladcheff AP. Um instrumento de avaliação da qualidade para software educacional de matemática [Internet]. 2001 ;[citado 2024 ago. 23 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-123758/
    • Vancouver

      Gladcheff AP. Um instrumento de avaliação da qualidade para software educacional de matemática [Internet]. 2001 ;[citado 2024 ago. 23 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-123758/
  • Unidade: IME

    Assuntos: ENGENHARIA DE SOFTWARE, PROGRAMAÇÃO ORIENTADA A OBJETOS

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

      KULESZA, Uira. Técnicas de orientação a objetos para projeto de sistemas adaptáveis. 2000. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2000. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-115742/. Acesso em: 23 ago. 2024.
    • APA

      Kulesza, U. (2000). Técnicas de orientação a objetos para projeto de sistemas adaptáveis (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-115742/
    • NLM

      Kulesza U. Técnicas de orientação a objetos para projeto de sistemas adaptáveis [Internet]. 2000 ;[citado 2024 ago. 23 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-115742/
    • Vancouver

      Kulesza U. Técnicas de orientação a objetos para projeto de sistemas adaptáveis [Internet]. 2000 ;[citado 2024 ago. 23 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-115742/

Biblioteca Digital de Produção Intelectual da Universidade de São Paulo     2012 - 2024