ReP USP - Resultado da busca

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
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://www.teses.usp.br/teses/disponiveis/45/45134/tde-05042024-151358/. Acesso em: 23 maio 2024.
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://www.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 2024 maio 23 ] Available from: https://www.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 2024 maio 23 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-05042024-151358/
Tese (Doutorado)
Programming with monoidal profunctors and semiarrows (2023)
Oliveira, Alexandre Garcia de; Jaskelioff, Mauro Javier (coorient); Melo, Ana Cristina Vieira de (Orientador)
Unidade: IME
Assunto: PROGRAMAÇÃO FUNCIONAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
OLIVEIRA, Alexandre Garcia de. Programming with monoidal profunctors and semiarrows. 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-03112023-152323/. Acesso em: 23 maio 2024.
APA
Oliveira, A. G. de. (2023). Programming with monoidal profunctors and semiarrows (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/45/45134/tde-03112023-152323/
NLM
Oliveira AG de. Programming with monoidal profunctors and semiarrows [Internet]. 2023 ;[citado 2024 maio 23 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-03112023-152323/
Vancouver
Oliveira AG de. Programming with monoidal profunctors and semiarrows [Internet]. 2023 ;[citado 2024 maio 23 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-03112023-152323/
Tese (Doutorado)
Um modelo para a estimação da dívida técnica baseado em produtividade (2019)
Jesus, Jandisson Soares de; Melo, Ana Cristina Vieira de (Orientador)
Unidade: IME
Assunto: CIENCIA DA COMPUTACAO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
JESUS, Jandisson Soares de. Um modelo para a estimação da dívida técnica baseado em produtividade. 2019. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2019. Disponível em: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-23012020-154212/. Acesso em: 23 maio 2024.
APA
Jesus, J. S. de. (2019). Um modelo para a estimação da dívida técnica baseado em produtividade (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/45/45134/tde-23012020-154212/
NLM
Jesus JS de. Um modelo para a estimação da dívida técnica baseado em produtividade [Internet]. 2019 ;[citado 2024 maio 23 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-23012020-154212/
Vancouver
Jesus JS de. Um modelo para a estimação da dívida técnica baseado em produtividade [Internet]. 2019 ;[citado 2024 maio 23 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-23012020-154212/
Dissertação (Mestrado)
Análise da modernização de sistemas monolíticos legados para micro-serviços à luz da dívida técnica: um estudo de caso corporativo (2018)
Loureiro, Caio Henrique Bos; Melo, Ana Cristina Vieira de (Orientador)
Unidade: IME
Subjects: ARQUITETURA E ORGANIZAÇÃO DE COMPUTADORES, SOFTWARES, METODOLOGIA E TÉCNICAS DE COMPUTAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
LOUREIRO, Caio Henrique Bos. Análise da modernização de sistemas monolíticos legados para micro-serviços à luz da dívida técnica: um estudo de caso corporativo. 2018. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2018. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113220/. Acesso em: 23 maio 2024.
APA
Loureiro, C. H. B. (2018). Análise da modernização de sistemas monolíticos legados para micro-serviços à luz da dívida técnica: um estudo de caso corporativo (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113220/
NLM
Loureiro CHB. Análise da modernização de sistemas monolíticos legados para micro-serviços à luz da dívida técnica: um estudo de caso corporativo [Internet]. 2018 ;[citado 2024 maio 23 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113220/
Vancouver
Loureiro CHB. Análise da modernização de sistemas monolíticos legados para micro-serviços à luz da dívida técnica: um estudo de caso corporativo [Internet]. 2018 ;[citado 2024 maio 23 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113220/
Dissertação (Mestrado)
Tree bark framework: competences and mindset rearrangements for Digital and Technology Literacy in times of exponential rate of changes (2017)
Achutti, Camila Fernandez; Melo, Ana Cristina Vieira de (Orientador)
Unidade: IME
Subjects: METODOLOGIA E TÉCNICAS DE PROGRAMAÇÃO, APRENDIZAGEM TECNOLÓGICA, COMPETÊNCIA INFORMACIONAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ACHUTTI, Camila Fernandez. Tree bark framework: competences and mindset rearrangements for Digital and Technology Literacy in times of exponential rate of changes. 2017. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2017. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113158/. Acesso em: 23 maio 2024.
APA
Achutti, C. F. (2017). Tree bark framework: competences and mindset rearrangements for Digital and Technology Literacy in times of exponential rate of changes (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113158/
NLM
Achutti CF. Tree bark framework: competences and mindset rearrangements for Digital and Technology Literacy in times of exponential rate of changes [Internet]. 2017 ;[citado 2024 maio 23 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113158/
Vancouver
Achutti CF. Tree bark framework: competences and mindset rearrangements for Digital and Technology Literacy in times of exponential rate of changes [Internet]. 2017 ;[citado 2024 maio 23 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113158/
Dissertação (Mestrado)
Utilização de mineração de especificação na identificação de fluxos inválidos em software (2016)
Silva, Luciano Kelvin; Melo, Ana Cristina Vieira de (Orientador)
Unidade: IME
Assunto: ENGENHARIA DE PROGRAMAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SILVA, Luciano Kelvin. Utilização de mineração de especificação na identificação de fluxos inválidos em software. 2016. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2016. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113032/. Acesso em: 23 maio 2024.
APA
Silva, L. K. (2016). Utilização de mineração de especificação na identificação de fluxos inválidos em software (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113032/
NLM
Silva LK. Utilização de mineração de especificação na identificação de fluxos inválidos em software [Internet]. 2016 ;[citado 2024 maio 23 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113032/
Vancouver
Silva LK. Utilização de mineração de especificação na identificação de fluxos inválidos em software [Internet]. 2016 ;[citado 2024 maio 23 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113032/
Tese (Doutorado)
Geração de propriedades sobre programas Java a partir de objetivos de teste (2015)
Hanazumi, Simone; Melo, Ana Cristina Vieira de (Orientador)
Unidade: IME
Subjects: ENGENHARIA DE PROGRAMAS, JAVA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
HANAZUMI, Simone. Geração de propriedades sobre programas Java a partir de objetivos de teste. 2015. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2015. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-23122015-094748. Acesso em: 23 maio 2024.
APA
Hanazumi, S. (2015). Geração de propriedades sobre programas Java a partir de objetivos de teste (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-23122015-094748
NLM
Hanazumi S. Geração de propriedades sobre programas Java a partir de objetivos de teste [Internet]. 2015 ;[citado 2024 maio 23 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-23122015-094748
Vancouver
Hanazumi S. Geração de propriedades sobre programas Java a partir de objetivos de teste [Internet]. 2015 ;[citado 2024 maio 23 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-23122015-094748
Dissertação (Mestrado)
Teste e verificação formal do comportamento excepcional de programas Java (2014)
Martins, Alexandre Locci; Melo, Ana Cristina Vieira de (Orientador)
Unidade: IME
Assunto: ENGENHARIA DE PROGRAMAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MARTINS, Alexandre Locci. Teste e verificação formal do comportamento excepcional de programas Java. 2014. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2014. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-11082014-150106. Acesso em: 23 maio 2024.
APA
Martins, A. L. (2014). Teste e verificação formal do comportamento excepcional de programas Java (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-11082014-150106
NLM
Martins AL. Teste e verificação formal do comportamento excepcional de programas Java [Internet]. 2014 ;[citado 2024 maio 23 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-11082014-150106
Vancouver
Martins AL. Teste e verificação formal do comportamento excepcional de programas Java [Internet]. 2014 ;[citado 2024 maio 23 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-11082014-150106
Dissertação (Mestrado)
Um método para a implementação de regras de negócio à partir da semântica SBVR (2013)
Jesus, Jandisson Soares de; Melo, Ana Cristina Vieira de (Orientador)
Unidade: IME
Subjects: ENGENHARIA DE PROGRAMAS, METODOLOGIA E TÉCNICAS DE PROGRAMAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
JESUS, Jandisson Soares de. Um método para a implementação de regras de negócio à partir da semântica SBVR. 2013. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2013. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-22012014-144303. Acesso em: 23 maio 2024.
APA
Jesus, J. S. de. (2013). Um método para a implementação de regras de negócio à partir da semântica SBVR (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-22012014-144303
NLM
Jesus JS de. Um método para a implementação de regras de negócio à partir da semântica SBVR [Internet]. 2013 ;[citado 2024 maio 23 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-22012014-144303
Vancouver
Jesus JS de. Um método para a implementação de regras de negócio à partir da semântica SBVR [Internet]. 2013 ;[citado 2024 maio 23 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-22012014-144303
Dissertação (Mestrado)
Validação de padrões de web services transacionais (2011)
Nunes, Paulo Roberto de Araújo França; Melo, Ana Cristina Vieira de (Orientador)
Unidade: IME
Assunto: TÉCNICAS DE PROGRAMAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
NUNES, Paulo Roberto de Araújo França. Validação de padrões de web services transacionais. 2011. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2011. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-21072011-134559/. Acesso em: 23 maio 2024.
APA
Nunes, P. R. de A. F. (2011). Validação de padrões de web services transacionais (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-21072011-134559/
NLM
Nunes PR de AF. Validação de padrões de web services transacionais [Internet]. 2011 ;[citado 2024 maio 23 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-21072011-134559/
Vancouver
Nunes PR de AF. Validação de padrões de web services transacionais [Internet]. 2011 ;[citado 2024 maio 23 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-21072011-134559/
Tese (Doutorado)
Verification of behaviourist multi-agent systems by means of formally guided simulations (2011)
Silva, Paulo Salem da; Melo, Ana Cristina Vieira de (Orientador); Gaudel, Marie-Claude (Orientador)
Unidade: IME
Subjects: TÉCNICAS DE PROGRAMAÇÃO, INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SILVA, Paulo Salem da. Verification of behaviourist multi-agent systems by means of formally guided simulations. 2011. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2011. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-10042012-100539/. Acesso em: 23 maio 2024.
APA
Silva, P. S. da. (2011). Verification of behaviourist multi-agent systems by means of formally guided simulations (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-10042012-100539/
NLM
Silva PS da. Verification of behaviourist multi-agent systems by means of formally guided simulations [Internet]. 2011 ;[citado 2024 maio 23 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-10042012-100539/
Vancouver
Silva PS da. Verification of behaviourist multi-agent systems by means of formally guided simulations [Internet]. 2011 ;[citado 2024 maio 23 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-10042012-100539/
Dissertação (Mestrado)
Ambiente integrado para verificação e teste da coordenação de componentes tolerantes a falhas (2010)
Hanazumi, Simone; Melo, Ana Cristina Vieira de (Orientador)
Unidade: IME
Assunto: TÉCNICAS DE PROGRAMAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
HANAZUMI, Simone. Ambiente integrado para verificação e teste da coordenação de componentes tolerantes a falhas. 2010. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2010. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-29092010-191938/. Acesso em: 23 maio 2024.
APA
Hanazumi, S. (2010). Ambiente integrado para verificação e teste da coordenação de componentes tolerantes a falhas (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-29092010-191938/
NLM
Hanazumi S. Ambiente integrado para verificação e teste da coordenação de componentes tolerantes a falhas [Internet]. 2010 ;[citado 2024 maio 23 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-29092010-191938/
Vancouver
Hanazumi S. Ambiente integrado para verificação e teste da coordenação de componentes tolerantes a falhas [Internet]. 2010 ;[citado 2024 maio 23 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-29092010-191938/
Dissertação (Mestrado)
Geração automática de casos de testes para web services (2008)
Silveira, Paulo; Melo, Ana Cristina Vieira de (Orientador)
Unidade: IME
Assunto: ENGENHARIA DE PROGRAMAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SILVEIRA, Paulo. Geração automática de casos de testes para web services. 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-20220712-122615/. Acesso em: 23 maio 2024.
APA
Silveira, P. (2008). Geração automática de casos de testes para web services (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20220712-122615/
NLM
Silveira P. Geração automática de casos de testes para web services [Internet]. 2008 ;[citado 2024 maio 23 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20220712-122615/
Vancouver
Silveira P. Geração automática de casos de testes para web services [Internet]. 2008 ;[citado 2024 maio 23 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20220712-122615/
Dissertação (Mestrado)
Ambiente de testes utilizando verificação de componentes java com tratamento de exceções (2008)
Xavier, Kleber da Silva; Melo, Ana Cristina Vieira de (Orientador)
Unidade: IME
Assunto: ENGENHARIA DE PRODUÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
XAVIER, Kleber da Silva. Ambiente de testes utilizando verificação de componentes java com tratamento de exceções. 2008. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2008. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-11082008-134008/. Acesso em: 23 maio 2024.
APA
Xavier, K. da S. (2008). Ambiente de testes utilizando verificação de componentes java com tratamento de exceções (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-11082008-134008/
NLM
Xavier K da S. Ambiente de testes utilizando verificação de componentes java com tratamento de exceções [Internet]. 2008 ;[citado 2024 maio 23 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-11082008-134008/
Vancouver
Xavier K da S. Ambiente de testes utilizando verificação de componentes java com tratamento de exceções [Internet]. 2008 ;[citado 2024 maio 23 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-11082008-134008/
Dissertação (Mestrado)
Geração parcial de código Java a partir de especificações formais Z (2008)
Miyazawa, Alvaro Heiji; Melo, Ana Cristina Vieira de (Orientador)
Unidade: IME
Subjects: TÉCNICAS DE PROGRAMAÇÃO, TRANSFORMAÇÃO DE PROGRAMAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MIYAZAWA, Alvaro Heiji. Geração parcial de código Java a partir de especificações formais Z. 2008. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2008. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-02112008-224245/. Acesso em: 23 maio 2024.
APA
Miyazawa, A. H. (2008). Geração parcial de código Java a partir de especificações formais Z (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-02112008-224245/
NLM
Miyazawa AH. Geração parcial de código Java a partir de especificações formais Z [Internet]. 2008 ;[citado 2024 maio 23 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-02112008-224245/
Vancouver
Miyazawa AH. Geração parcial de código Java a partir de especificações formais Z [Internet]. 2008 ;[citado 2024 maio 23 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-02112008-224245/
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
Subjects: SOFTWARES, JAVA, ENGENHARIA DE SOFTWARE
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 maio 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 maio 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 maio 23 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113721/
Dissertação (Mestrado)
Integração de verificadores formais para agentes móveis (2007)
Andrade, André Gustavo; Melo, Ana Cristina Vieira de (Orientador)
Unidade: IME
Subjects: INTELIGÊNCIA ARTIFICIAL, SISTEMAS MULTIAGENTES
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ANDRADE, André Gustavo. Integração de verificadores formais para agentes móveis. 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-20210729-151145/. Acesso em: 23 maio 2024.
APA
Andrade, A. G. (2007). Integração de verificadores formais para agentes móveis (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-151145/
NLM
Andrade AG. Integração de verificadores formais para agentes móveis [Internet]. 2007 ;[citado 2024 maio 23 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-151145/
Vancouver
Andrade AG. Integração de verificadores formais para agentes móveis [Internet]. 2007 ;[citado 2024 maio 23 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-151145/
Dissertação (Mestrado)
Um framework para coordenação do tratamento de exceções em sistemas tolerantes a falhas (2007)
Pereira, David Paulo; Melo, Ana Cristina Vieira de (Orientador)
Unidade: IME
Subjects: TÉCNICAS DE PROGRAMAÇÃO, CORREÇÃO DE PROGRAMAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PEREIRA, David Paulo. Um framework para coordenação do tratamento de exceções em sistemas tolerantes a falhas. 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-08052007-130443/. Acesso em: 23 maio 2024.
APA
Pereira, D. P. (2007). Um framework para coordenação do tratamento de exceções em sistemas tolerantes a falhas (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-08052007-130443/
NLM
Pereira DP. Um framework para coordenação do tratamento de exceções em sistemas tolerantes a falhas [Internet]. 2007 ;[citado 2024 maio 23 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-08052007-130443/
Vancouver
Pereira DP. Um framework para coordenação do tratamento de exceções em sistemas tolerantes a falhas [Internet]. 2007 ;[citado 2024 maio 23 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-08052007-130443/
Dissertação (Mestrado)
Classificação semi-automática de componentes Java (2006)
Melo, Claudia de Oliveira; Melo, Ana Cristina Vieira de (Orientador)
Unidade: IME
Assunto: ENGENHARIA DE PROGRAMAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MELO, Claudia de Oliveira. Classificação semi-automática de componentes Java. 2006. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2006. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-06042009-214829/. Acesso em: 23 maio 2024.
APA
Melo, C. de O. (2006). Classificação semi-automática de componentes Java (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-06042009-214829/
NLM
Melo C de O. Classificação semi-automática de componentes Java [Internet]. 2006 ;[citado 2024 maio 23 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-06042009-214829/
Vancouver
Melo C de O. Classificação semi-automática de componentes Java [Internet]. 2006 ;[citado 2024 maio 23 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-06042009-214829/
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
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 maio 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 maio 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 maio 23 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20220712-121325/

USP Schools

ReP

Filtros

Authors

USP affiliated authors

Date published

Subjects