Menu

Filtros : "MAC" "ENGENHARIA DE SOFTWARE" Removidos: "PCC" "gd" "INTER:ICMC-UFSCAR" Limpar

Filtros

Limitar por data

1 - 20 (23 registros)

  • Dissertação (Mestrado)

    Using natural language processing techniques for automated code refactoring (2023)

    Barzilay, Alan ; Finger, Marcelo (Orientador)

    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/

  • Tese (Doutorado)

    Mob Programming for writing code with high complexity and remote work (2023)

    Kattan, Herez Moise; Silva, Flávio Soares Corrêa da (Orientador)

    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/

  • Tese (Doutorado)

    A grounded theory of organizational structures for development and infrastructure professionals in software-producing organizations (2022)

    Leite, Leonardo Alexandre Ferreira ; Meirelles, Paulo Roberto Miranda (Orientador); Kon, Fábio (coorient)

    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/

  • Dissertação (Mestrado)

    Linux kernel device driver testing (2022)

    Schmitt, Marcelo; Meirelles, Paulo Roberto Miranda (Orientador)

    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/

  • Tese (Doutorado)

    Perception of software bots on pull requests on social coding environments (2021)

    Wessel, Mairieli Santos; Gerosa, Marco Aurélio (Orientador)

    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/

  • Dissertação (Mestrado)

    GAVEL: a sanction-based regulation mechanism for normative multiagent systems (2019)

    Lima, Igor Conrado Alves de; Nardin, Luis Gustavo (Orientador); Sichman, Jaime S. (Orientador)

    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/

  • Dissertação (Mestrado)

    Ranking source code static analysis warnings for continuous monitoring of free/libre/open source software repositories (2018)

    Ribeiro, Athos Coimbra; Kon, Fábio (Orientador)

    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/

  • Tese (Doutorado)

    On the link between structural dependencies and software changes (2017)

    Oliva, Gustavo Ansaldi; Gerosa, Marco Aurélio (Orientador)

    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/

  • Tese (Doutorado)

    Context-based code quality assessment (2016)

    Aniche, Mauricio Finavaro ; Gerosa, Marco Aurélio (Orientador)

    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/

  • Dissertação (Mestrado)

    Desambiguação de autoria em listas de discussão de projetos de software livre (2015)

    Silva, José Teodoro da; Gerosa, Marco Aurélio (Orientador)

    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/

  • Tese (Doutorado)

    Monitoramento de métricas de código-fonte em projetos de software livre (2013)

    Meirelles, Paulo Roberto Miranda; Kon, Fabio (Orientador)

    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

  • Dissertação (Mestrado)

    Classificação e busca de componentes com tratamento de exceções (2008)

    Tsai, Luciana Setsuko Gakiya; Melo, Ana Cristina Vieira de (Orientador)

    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/

  • Dissertação (Mestrado)

    Reflexões sobre o ensino de metodologias ágeis na academia, na indústria e no governo (2007)

    Silva, Alexandre Freire da; Kon, Fabio (Orientador)

    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/

  • Dissertação (Mestrado)

    Interfaces prestativas baseadas em visão computacional e informação de contexto (2005)

    Barcelos, Thiago Schumacher; Morimoto, Carlos Hitoshi (Orientador)

    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/

  • Dissertação (Mestrado)

    O impacto de elementos de realidade virtual em usuários de interfaces gráficas tridimensionais (2004)

    Hemerly, Gilberto da Silva; Fabris, Antonio Elias (Orientador)

    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/

  • Dissertação (Mestrado)

    Um estudo sobre teste versus verificação formal de programas Java (2004)

    Prudente, Leandro César; Melo, Ana Cristina Vieira de (Orientador)

    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

      PRUDENTE, Leandro César. Um estudo sobre teste versus verificação formal de programas Java. 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-20220712-121325/. Acesso em: 23 ago. 2024.

    • APA

      Prudente, L. C. (2004). Um estudo sobre teste versus verificação formal de programas Java (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20220712-121325/

    • NLM

      Prudente LC. Um estudo sobre teste versus verificação formal de programas Java [Internet]. 2004 ;[citado 2024 ago. 23 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20220712-121325/

    • Vancouver

      Prudente LC. Um estudo sobre teste versus verificação formal de programas Java [Internet]. 2004 ;[citado 2024 ago. 23 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20220712-121325/

  • Dissertação (Mestrado)

    Uso de redes bayesianas no gerenciamento de manutenção de software (2003)

    Sanchez, Adilson de Jesus; Melo, Ana Cristina Vieira de (Orientador)

    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/

  • Dissertação (Mestrado)

    Uma técnica de verificação para `pi´-calculus baseada em bi-simulação up-to e algoritmos de particionamento (2003)

    Amorim, Marcelo de Moura; Melo, Ana Cristina Vieira de (Orientador)

    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/

  • Dissertação (Mestrado)

    Um estudo de um protocolo de comunicação para dispositivos móveis usando Distributed Join-Calculus (2002)

    Tabuti, Lucy Mari; Melo, Ana Cristina Vieira de (Orientador)

    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

      TABUTI, Lucy Mari. Um estudo de um protocolo de comunicação para dispositivos móveis usando Distributed Join-Calculus. 2002. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2002. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-131131/. Acesso em: 23 ago. 2024.

    • APA

      Tabuti, L. M. (2002). Um estudo de um protocolo de comunicação para dispositivos móveis usando Distributed Join-Calculus (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-131131/

    • NLM

      Tabuti LM. Um estudo de um protocolo de comunicação para dispositivos móveis usando Distributed Join-Calculus [Internet]. 2002 ;[citado 2024 ago. 23 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-131131/

    • Vancouver

      Tabuti LM. Um estudo de um protocolo de comunicação para dispositivos móveis usando Distributed Join-Calculus [Internet]. 2002 ;[citado 2024 ago. 23 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-131131/

  • Dissertação (Mestrado)

    Uma taxonomia da pesquisa na área de engenharia de software (2002)

    Lopes, Paulo Sérgio Naddeo Dias; Astudillo Rojas, Hernán Enrique (Orientador)

    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

      LOPES, Paulo Sérgio Naddeo Dias. Uma taxonomia da pesquisa na área de engenharia de software. 2002. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2002. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-125603/. Acesso em: 23 ago. 2024.

    • APA

      Lopes, P. S. N. D. (2002). Uma taxonomia da pesquisa na área de engenharia de software (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-125603/

    • NLM

      Lopes PSND. Uma taxonomia da pesquisa na área de engenharia de software [Internet]. 2002 ;[citado 2024 ago. 23 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-125603/

    • Vancouver

      Lopes PSND. Uma taxonomia da pesquisa na área de engenharia de software [Internet]. 2002 ;[citado 2024 ago. 23 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-125603/

1 - 20 (23 registros)

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