ReP USP - Resultado da busca

Trabalho de evento-resumo
Previsão de consumo de medicamentos durante a pandemia de COVID-19 utilizando técnicas de bootstrap (2022)
Simão, Adenilso da Silva ; Silva, Flaviane Louzeiro da; Santos, Maristela Oliveira dos ; Carrasco, Fabio Ricardo ; Campos Junior, João Soares; Soares, Kleber José Maximiano; Russo, Thiago Luiz de ; Vanelli, Renata Pedrolongo Basso ; Russo, Cibele Maria
Source: Livro de Resumos. Conference titles: Simpósio Nacional de Probabilidade e Estatística - SINAPE. Unidade: ICMC
Subjects: SIMULAÇÃO, DEMANDA, TOMADA DE DECISÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SIMÃO, Adenilso da Silva et al. Previsão de consumo de medicamentos durante a pandemia de COVID-19 utilizando técnicas de bootstrap. 2022, Anais.. ABE: São Paulo, 2022. Disponível em: https://sinape2022.eventize.com.br. Acesso em: 05 out. 2024.
APA
Simão, A. da S., Silva, F. L. da, Santos, M. O. dos, Carrasco, F. R., Campos Junior, J. S., Soares, K. J. M., et al. (2022). Previsão de consumo de medicamentos durante a pandemia de COVID-19 utilizando técnicas de bootstrap. In Livro de Resumos. ABE: São Paulo. Recuperado de https://sinape2022.eventize.com.br
NLM
Simão A da S, Silva FL da, Santos MO dos, Carrasco FR, Campos Junior JS, Soares KJM, Russo TL de, Vanelli RPB, Russo CM. Previsão de consumo de medicamentos durante a pandemia de COVID-19 utilizando técnicas de bootstrap [Internet]. Livro de Resumos. 2022 ;[citado 2024 out. 05 ] Available from: https://sinape2022.eventize.com.br
Vancouver
Simão A da S, Silva FL da, Santos MO dos, Carrasco FR, Campos Junior JS, Soares KJM, Russo TL de, Vanelli RPB, Russo CM. Previsão de consumo de medicamentos durante a pandemia de COVID-19 utilizando técnicas de bootstrap [Internet]. Livro de Resumos. 2022 ;[citado 2024 out. 05 ] Available from: https://sinape2022.eventize.com.br
Trabalho de evento
Abordagens computacionais para a descoberta de genes significativos para o câncer (2022)
Cutigi, Jorge Francisco ; Evangelista, Adriane Feijó ; Simão, Adenilso da Silva
Source: Anais Estendidos. Conference titles: Simpósio Brasileiro de Computação Aplicada à Saúde - SBCAS. Unidade: ICMC
Subjects: NEOPLASIAS, MUTAÇÃO GENÉTICA, APRENDIZADO COMPUTACIONAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
CUTIGI, Jorge Francisco e EVANGELISTA, Adriane Feijó e SIMÃO, Adenilso da Silva. Abordagens computacionais para a descoberta de genes significativos para o câncer. 2022, Anais.. Porto Alegre: SBC, 2022. Disponível em: https://doi.org/10.5753/sbcas_estendido.2022.222427. Acesso em: 05 out. 2024.
APA
Cutigi, J. F., Evangelista, A. F., & Simão, A. da S. (2022). Abordagens computacionais para a descoberta de genes significativos para o câncer. In Anais Estendidos. Porto Alegre: SBC. doi:10.5753/sbcas_estendido.2022.222427
NLM
Cutigi JF, Evangelista AF, Simão A da S. Abordagens computacionais para a descoberta de genes significativos para o câncer [Internet]. Anais Estendidos. 2022 ;[citado 2024 out. 05 ] Available from: https://doi.org/10.5753/sbcas_estendido.2022.222427
Vancouver
Cutigi JF, Evangelista AF, Simão A da S. Abordagens computacionais para a descoberta de genes significativos para o câncer [Internet]. Anais Estendidos. 2022 ;[citado 2024 out. 05 ] Available from: https://doi.org/10.5753/sbcas_estendido.2022.222427
Trabalho de evento
Aplicação de simulated annealing para descobrir mutações drivers (2022)
Ribeiro, Paulo Henrique; Cutigi, Jorge Francisco ; Evangelista, Adriane Feijó ; Simão, Adenilso da Silva
Source: Anais. Conference titles: Simpósio Brasileiro de Computação Aplicada à Saúde - SBCAS. Unidade: ICMC
Subjects: NEOPLASIAS, MUTAÇÃO GENÉTICA, METODOLOGIA E TÉCNICAS DE COMPUTAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
RIBEIRO, Paulo Henrique et al. Aplicação de simulated annealing para descobrir mutações drivers. 2022, Anais.. Porto Alegre: SBC, 2022. Disponível em: https://doi.org/10.5753/sbcas.2022.222451. Acesso em: 05 out. 2024.
APA
Ribeiro, P. H., Cutigi, J. F., Evangelista, A. F., & Simão, A. da S. (2022). Aplicação de simulated annealing para descobrir mutações drivers. In Anais. Porto Alegre: SBC. doi:10.5753/sbcas.2022.222451
NLM
Ribeiro PH, Cutigi JF, Evangelista AF, Simão A da S. Aplicação de simulated annealing para descobrir mutações drivers [Internet]. Anais. 2022 ;[citado 2024 out. 05 ] Available from: https://doi.org/10.5753/sbcas.2022.222451
Vancouver
Ribeiro PH, Cutigi JF, Evangelista AF, Simão A da S. Aplicação de simulated annealing para descobrir mutações drivers [Internet]. Anais. 2022 ;[citado 2024 out. 05 ] Available from: https://doi.org/10.5753/sbcas.2022.222451
Tese (Doutorado)
Geração de testes a partir de máquinas de estados finitos estendidas extraídas de diagramas de sequência UML (2020)
Rocha, Mauricio Rêgo Mota da; Simão, Adenilso da Silva (Orientador) ; Sousa, Thiago Carvalho de (Orientador)
Unidade: ICMC
Subjects: SOFTWARES, ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ROCHA, Mauricio Rêgo Mota da. Geração de testes a partir de máquinas de estados finitos estendidas extraídas de diagramas de sequência UML. 2020. Tese (Doutorado) – Universidade de São Paulo, São Carlos, 2020. Disponível em: https://www.teses.usp.br/teses/disponiveis/55/55134/tde-16022021-145429/. Acesso em: 05 out. 2024.
APA
Rocha, M. R. M. da. (2020). Geração de testes a partir de máquinas de estados finitos estendidas extraídas de diagramas de sequência UML (Tese (Doutorado). Universidade de São Paulo, São Carlos. Recuperado de https://www.teses.usp.br/teses/disponiveis/55/55134/tde-16022021-145429/
NLM
Rocha MRM da. Geração de testes a partir de máquinas de estados finitos estendidas extraídas de diagramas de sequência UML [Internet]. 2020 ;[citado 2024 out. 05 ] Available from: https://www.teses.usp.br/teses/disponiveis/55/55134/tde-16022021-145429/
Vancouver
Rocha MRM da. Geração de testes a partir de máquinas de estados finitos estendidas extraídas de diagramas de sequência UML [Internet]. 2020 ;[citado 2024 out. 05 ] Available from: https://www.teses.usp.br/teses/disponiveis/55/55134/tde-16022021-145429/
Trabalho de evento
A proposal of a graph-based computational method for ranking significant set of related genes in cancer (2019)
Cutigi, Jorge Francisco; Evangelista, Adriane Feijó; Simão, Adenilso da Silva
Source: Anais. Conference titles: Simpósio Brasileiro de Computação Aplicada à Saúde. Unidade: ICMC
Subjects: NEOPLASIAS, COMPUTAÇÃO APLICADA, IDENTIFICAÇÃO, MUTAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
CUTIGI, Jorge Francisco e EVANGELISTA, Adriane Feijó e SIMÃO, Adenilso da Silva. A proposal of a graph-based computational method for ranking significant set of related genes in cancer. 2019, Anais.. Porto Alegre: SBC, 2019. Disponível em: https://sol.sbc.org.br/index.php/sbcas/article/view/6266/6164. Acesso em: 05 out. 2024.
APA
Cutigi, J. F., Evangelista, A. F., & Simão, A. da S. (2019). A proposal of a graph-based computational method for ranking significant set of related genes in cancer. In Anais. Porto Alegre: SBC. Recuperado de https://sol.sbc.org.br/index.php/sbcas/article/view/6266/6164
NLM
Cutigi JF, Evangelista AF, Simão A da S. A proposal of a graph-based computational method for ranking significant set of related genes in cancer [Internet]. Anais. 2019 ;[citado 2024 out. 05 ] Available from: https://sol.sbc.org.br/index.php/sbcas/article/view/6266/6164
Vancouver
Cutigi JF, Evangelista AF, Simão A da S. A proposal of a graph-based computational method for ranking significant set of related genes in cancer [Internet]. Anais. 2019 ;[citado 2024 out. 05 ] Available from: https://sol.sbc.org.br/index.php/sbcas/article/view/6266/6164
Tese (Doutorado)
Avaliação da portabilidade entre fornecedores de teste como serviço na computação em nuvem (2017)
Oliveira, Ricardo Ramos de; Simão, Adenilso da Silva (Orientador)
Unidade: ICMC
Subjects: COMPUTAÇÃO EM NUVEM, SOFTWARES, ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
OLIVEIRA, Ricardo Ramos de. Avaliação da portabilidade entre fornecedores de teste como serviço na computação em nuvem. 2017. Tese (Doutorado) – Universidade de São Paulo, São Carlos, 2017. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-16072018-170853/. Acesso em: 05 out. 2024.
APA
Oliveira, R. R. de. (2017). Avaliação da portabilidade entre fornecedores de teste como serviço na computação em nuvem (Tese (Doutorado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-16072018-170853/
NLM
Oliveira RR de. Avaliação da portabilidade entre fornecedores de teste como serviço na computação em nuvem [Internet]. 2017 ;[citado 2024 out. 05 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-16072018-170853/
Vancouver
Oliveira RR de. Avaliação da portabilidade entre fornecedores de teste como serviço na computação em nuvem [Internet]. 2017 ;[citado 2024 out. 05 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-16072018-170853/
Dissertação (Mestrado)
Sistema para testes de stress em uma carteira de opções de moedas (2017)
Mello, Moreno Siqueira e; Simão, Adenilso da Silva (Orientador)
Unidade: ICMC
Subjects: CÂMBIO (ECONOMIA), TEMPO-REAL, CARTEIRA DE CÂMBIO, SOFTWARES
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MELLO, Moreno Siqueira e. Sistema para testes de stress em uma carteira de opções de moedas. 2017. Dissertação (Mestrado) – Universidade de São Paulo, São Carlos, 2017. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55137/tde-06022018-090735/. Acesso em: 05 out. 2024.
APA
Mello, M. S. e. (2017). Sistema para testes de stress em uma carteira de opções de moedas (Dissertação (Mestrado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55137/tde-06022018-090735/
NLM
Mello MS e. Sistema para testes de stress em uma carteira de opções de moedas [Internet]. 2017 ;[citado 2024 out. 05 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55137/tde-06022018-090735/
Vancouver
Mello MS e. Sistema para testes de stress em uma carteira de opções de moedas [Internet]. 2017 ;[citado 2024 out. 05 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55137/tde-06022018-090735/
Dissertação (Mestrado)
Precificação de opções exóticas utilizando CUDA (2017)
Calderaro, Felipe Boteon; Simão, Adenilso da Silva (Orientador)
Unidade: ICMC
Subjects: NÚMEROS ALGÉBRICOS, MÉTODO DE MONTE CARLO, PROGRAMAÇÃO PARALELA, POLÍTICA DE PREÇO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
CALDERARO, Felipe Boteon. Precificação de opções exóticas utilizando CUDA. 2017. Dissertação (Mestrado) – Universidade de São Paulo, São Carlos, 2017. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55137/tde-31012018-110102/. Acesso em: 05 out. 2024.
APA
Calderaro, F. B. (2017). Precificação de opções exóticas utilizando CUDA (Dissertação (Mestrado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55137/tde-31012018-110102/
NLM
Calderaro FB. Precificação de opções exóticas utilizando CUDA [Internet]. 2017 ;[citado 2024 out. 05 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55137/tde-31012018-110102/
Vancouver
Calderaro FB. Precificação de opções exóticas utilizando CUDA [Internet]. 2017 ;[citado 2024 out. 05 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55137/tde-31012018-110102/
Trabalho de evento-resumo
Um algoritmo paralelo para priorização de testes baseada em similaridade usando OpenMPI (2017)
Damasceno, Carlos Diego Nascimento; Souza, Paulo Sérgio Lopes de ; Simão, Adenilso da Silva
Source: Anais. Conference titles: Escola Regional de Alto Desempenho de São Paulo - ERAD-SP. Unidade: ICMC
Subjects: SISTEMAS DE INFORMAÇÃO, ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
DAMASCENO, Carlos Diego Nascimento e SOUZA, Paulo Sérgio Lopes de e SIMÃO, Adenilso da Silva. Um algoritmo paralelo para priorização de testes baseada em similaridade usando OpenMPI. 2017, Anais.. Porto Alegre, RS: SBC, 2017. Disponível em: http://www.lbd.dcc.ufmg.br/colecoes/erad-sp/2017/017.pdf. Acesso em: 05 out. 2024.
APA
Damasceno, C. D. N., Souza, P. S. L. de, & Simão, A. da S. (2017). Um algoritmo paralelo para priorização de testes baseada em similaridade usando OpenMPI. In Anais. Porto Alegre, RS: SBC. Recuperado de http://www.lbd.dcc.ufmg.br/colecoes/erad-sp/2017/017.pdf
NLM
Damasceno CDN, Souza PSL de, Simão A da S. Um algoritmo paralelo para priorização de testes baseada em similaridade usando OpenMPI [Internet]. Anais. 2017 ;[citado 2024 out. 05 ] Available from: http://www.lbd.dcc.ufmg.br/colecoes/erad-sp/2017/017.pdf
Vancouver
Damasceno CDN, Souza PSL de, Simão A da S. Um algoritmo paralelo para priorização de testes baseada em similaridade usando OpenMPI [Internet]. Anais. 2017 ;[citado 2024 out. 05 ] Available from: http://www.lbd.dcc.ufmg.br/colecoes/erad-sp/2017/017.pdf
Tese (Doutorado)
Aplicação de modelos de defeitos na geração de conjuntos de teste completos a partir de Sistemas de Transição com Entrada/Saída (2016)
Paiva, Sofia Larissa da Costa; Simão, Adenilso da Silva (Orientador)
Unidade: ICMC
Subjects: SOFTWARES, ENGENHARIA DE SOFTWARE, LINGUAGEM DE PROGRAMAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PAIVA, Sofia Larissa da Costa. Aplicação de modelos de defeitos na geração de conjuntos de teste completos a partir de Sistemas de Transição com Entrada/Saída. 2016. Tese (Doutorado) – Universidade de São Paulo, São Carlos, 2016. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-11072016-172020/. Acesso em: 05 out. 2024.
APA
Paiva, S. L. da C. (2016). Aplicação de modelos de defeitos na geração de conjuntos de teste completos a partir de Sistemas de Transição com Entrada/Saída (Tese (Doutorado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-11072016-172020/
NLM
Paiva SL da C. Aplicação de modelos de defeitos na geração de conjuntos de teste completos a partir de Sistemas de Transição com Entrada/Saída [Internet]. 2016 ;[citado 2024 out. 05 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-11072016-172020/
Vancouver
Paiva SL da C. Aplicação de modelos de defeitos na geração de conjuntos de teste completos a partir de Sistemas de Transição com Entrada/Saída [Internet]. 2016 ;[citado 2024 out. 05 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-11072016-172020/
Dissertação (Mestrado)
Avaliação de atributos de testabilidade para sistemas de suporte à decisão (2016)
Geromini, Marcos Fernando; Simão, Adenilso da Silva (Orientador)
Unidade: ICMC
Subjects: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO, SOFTWARES
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
GEROMINI, Marcos Fernando. Avaliação de atributos de testabilidade para sistemas de suporte à decisão. 2016. Dissertação (Mestrado) – Universidade de São Paulo, São Carlos, 2016. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-07102016-163820/. Acesso em: 05 out. 2024.
APA
Geromini, M. F. (2016). Avaliação de atributos de testabilidade para sistemas de suporte à decisão (Dissertação (Mestrado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-07102016-163820/
NLM
Geromini MF. Avaliação de atributos de testabilidade para sistemas de suporte à decisão [Internet]. 2016 ;[citado 2024 out. 05 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-07102016-163820/
Vancouver
Geromini MF. Avaliação de atributos de testabilidade para sistemas de suporte à decisão [Internet]. 2016 ;[citado 2024 out. 05 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-07102016-163820/
Dissertação (Mestrado)
Teste baseado em modelos para serviços RESTful usando máquinas de estados de protocolos UML (2014)
Pinheiro, Pedro Victor Pontes; Simão, Adenilso da Silva (Orientador)
Unidade: ICMC
Subjects: TESTE E AVALIAÇÃO DE SOFTWARE, ARQUITETURA ORIENTADA A SERVIÇOS, UML, ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PINHEIRO, Pedro Victor Pontes. Teste baseado em modelos para serviços RESTful usando máquinas de estados de protocolos UML. 2014. Dissertação (Mestrado) – Universidade de São Paulo, São Carlos, 2014. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-14072014-165410/. Acesso em: 05 out. 2024.
APA
Pinheiro, P. V. P. (2014). Teste baseado em modelos para serviços RESTful usando máquinas de estados de protocolos UML (Dissertação (Mestrado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-14072014-165410/
NLM
Pinheiro PVP. Teste baseado em modelos para serviços RESTful usando máquinas de estados de protocolos UML [Internet]. 2014 ;[citado 2024 out. 05 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-14072014-165410/
Vancouver
Pinheiro PVP. Teste baseado em modelos para serviços RESTful usando máquinas de estados de protocolos UML [Internet]. 2014 ;[citado 2024 out. 05 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-14072014-165410/
Relatorio tecnico
Um mapeamento sistemático sobre a geração de casos de teste para sistemas de transição com entrada e saída (2014)
Paiva, Sofia Larissa da Costa; Simão, Adenilso da Silva
Unidade: ICMC
Subjects: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PAIVA, Sofia Larissa da Costa e SIMÃO, Adenilso da Silva. Um mapeamento sistemático sobre a geração de casos de teste para sistemas de transição com entrada e saída. . São Carlos: ICMC-USP. Disponível em: https://repositorio.usp.br/directbitstream/d5e48b1f-93a6-40af-b239-d83e1689535f/Relat%C3%B3rios%20T%C3%A9cnicos%20396_2014.pdf. Acesso em: 05 out. 2024. , 2014
APA
Paiva, S. L. da C., & Simão, A. da S. (2014). Um mapeamento sistemático sobre a geração de casos de teste para sistemas de transição com entrada e saída. São Carlos: ICMC-USP. Recuperado de https://repositorio.usp.br/directbitstream/d5e48b1f-93a6-40af-b239-d83e1689535f/Relat%C3%B3rios%20T%C3%A9cnicos%20396_2014.pdf
NLM
Paiva SL da C, Simão A da S. Um mapeamento sistemático sobre a geração de casos de teste para sistemas de transição com entrada e saída [Internet]. 2014 ;[citado 2024 out. 05 ] Available from: https://repositorio.usp.br/directbitstream/d5e48b1f-93a6-40af-b239-d83e1689535f/Relat%C3%B3rios%20T%C3%A9cnicos%20396_2014.pdf
Vancouver
Paiva SL da C, Simão A da S. Um mapeamento sistemático sobre a geração de casos de teste para sistemas de transição com entrada e saída [Internet]. 2014 ;[citado 2024 out. 05 ] Available from: https://repositorio.usp.br/directbitstream/d5e48b1f-93a6-40af-b239-d83e1689535f/Relat%C3%B3rios%20T%C3%A9cnicos%20396_2014.pdf
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
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: 05 out. 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 out. 05 ] 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 out. 05 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-10072013-164922/
Trabalho de evento
Model-based testing of RESTful Web Services using UML protocol state machines (2013)
Pinheiro, Pedro Victor Pontes; Endo, André Takeshi; Simão, Adenilso da Silva
Source: Anais. Conference titles: Congresso Brasileiro de Software: Teoria e Prática - CBSoft 2013. Unidade: ICMC
Subjects: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PINHEIRO, Pedro Victor Pontes e ENDO, André Takeshi e SIMÃO, Adenilso da Silva. Model-based testing of RESTful Web Services using UML protocol state machines. 2013, Anais.. Porto Alegre, RS: SBC, 2013. . Acesso em: 05 out. 2024.
APA
Pinheiro, P. V. P., Endo, A. T., & Simão, A. da S. (2013). Model-based testing of RESTful Web Services using UML protocol state machines. In Anais. Porto Alegre, RS: SBC.
NLM
Pinheiro PVP, Endo AT, Simão A da S. Model-based testing of RESTful Web Services using UML protocol state machines. Anais. 2013 ;[citado 2024 out. 05 ]
Vancouver
Pinheiro PVP, Endo AT, Simão A da S. Model-based testing of RESTful Web Services using UML protocol state machines. Anais. 2013 ;[citado 2024 out. 05 ]
Dissertação (Mestrado)
Subsídios para a aplicação de métodos de geração de casos de testes baseados em máquinas de estados (2012)
Pinheiro, Arineiza Cristina; Simão, Adenilso da Silva (Orientador)
Unidade: ICMC
Subjects: ENGENHARIA DE SOFTWARE, LINGUAGEM DE PROGRAMAÇÃO, TESTE E AVALIAÇÃO DE SOFTWARE, SISTEMAS EMBUTIDOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PINHEIRO, Arineiza Cristina. Subsídios para a aplicação de métodos de geração de casos de testes baseados em máquinas de estados. 2012. Dissertação (Mestrado) – Universidade de São Paulo, São Carlos, 2012. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-10092012-100529/. Acesso em: 05 out. 2024.
APA
Pinheiro, A. C. (2012). Subsídios para a aplicação de métodos de geração de casos de testes baseados em máquinas de estados (Dissertação (Mestrado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-10092012-100529/
NLM
Pinheiro AC. Subsídios para a aplicação de métodos de geração de casos de testes baseados em máquinas de estados [Internet]. 2012 ;[citado 2024 out. 05 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-10092012-100529/
Vancouver
Pinheiro AC. Subsídios para a aplicação de métodos de geração de casos de testes baseados em máquinas de estados [Internet]. 2012 ;[citado 2024 out. 05 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-10092012-100529/
Relatorio tecnico
JPlavisFSM: manual de instruções (2012)
Pinheiro, Arineiza Cristina; Simão, Adenilso da Silva
Unidade: ICMC
Subjects: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PINHEIRO, Arineiza Cristina e SIMÃO, Adenilso da Silva. JPlavisFSM: manual de instruções. . São Carlos: ICMC-USP. Disponível em: https://repositorio.usp.br/directbitstream/2028c6cf-55ef-48d6-9a84-bac02a795aa1/Relat%C3%B3rios%20T%C3%A9cnicos_379_2012.pdf. Acesso em: 05 out. 2024. , 2012
APA
Pinheiro, A. C., & Simão, A. da S. (2012). JPlavisFSM: manual de instruções. São Carlos: ICMC-USP. Recuperado de https://repositorio.usp.br/directbitstream/2028c6cf-55ef-48d6-9a84-bac02a795aa1/Relat%C3%B3rios%20T%C3%A9cnicos_379_2012.pdf
NLM
Pinheiro AC, Simão A da S. JPlavisFSM: manual de instruções [Internet]. 2012 ;[citado 2024 out. 05 ] Available from: https://repositorio.usp.br/directbitstream/2028c6cf-55ef-48d6-9a84-bac02a795aa1/Relat%C3%B3rios%20T%C3%A9cnicos_379_2012.pdf
Vancouver
Pinheiro AC, Simão A da S. JPlavisFSM: manual de instruções [Internet]. 2012 ;[citado 2024 out. 05 ] Available from: https://repositorio.usp.br/directbitstream/2028c6cf-55ef-48d6-9a84-bac02a795aa1/Relat%C3%B3rios%20T%C3%A9cnicos_379_2012.pdf
Relatorio tecnico
An experimental study on test suite characteristics, cost, and effectiveness of fsm-based testing methods (2012)
Endo, André Takeshi; Simão, Adenilso da Silva
Unidade: ICMC
Subjects: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ENDO, André Takeshi e SIMÃO, Adenilso da Silva. An experimental study on test suite characteristics, cost, and effectiveness of fsm-based testing methods. . São Carlos: ICMC-USP. Disponível em: https://repositorio.usp.br/directbitstream/42295613-9677-4afc-a38c-67c298543dfa/Relat%C3%B3rios%20T%C3%A9cnicos_378_2012.pdf. Acesso em: 05 out. 2024. , 2012
APA
Endo, A. T., & Simão, A. da S. (2012). An experimental study on test suite characteristics, cost, and effectiveness of fsm-based testing methods. São Carlos: ICMC-USP. Recuperado de https://repositorio.usp.br/directbitstream/42295613-9677-4afc-a38c-67c298543dfa/Relat%C3%B3rios%20T%C3%A9cnicos_378_2012.pdf
NLM
Endo AT, Simão A da S. An experimental study on test suite characteristics, cost, and effectiveness of fsm-based testing methods [Internet]. 2012 ;[citado 2024 out. 05 ] Available from: https://repositorio.usp.br/directbitstream/42295613-9677-4afc-a38c-67c298543dfa/Relat%C3%B3rios%20T%C3%A9cnicos_378_2012.pdf
Vancouver
Endo AT, Simão A da S. An experimental study on test suite characteristics, cost, and effectiveness of fsm-based testing methods [Internet]. 2012 ;[citado 2024 out. 05 ] Available from: https://repositorio.usp.br/directbitstream/42295613-9677-4afc-a38c-67c298543dfa/Relat%C3%B3rios%20T%C3%A9cnicos_378_2012.pdf
Trabalho de evento-resumo
Subsídios para a aplicação de métodos de geração de casos de teste baseados em máquinas de estados no contexto de sistemas embarcados (2011)
Pinheiro, Arineiza Cristina; Simão, Adenilso da Silva
Source: Anais. Conference titles: Congresso Brasileiro de Software: Teoria e Prática - CBSoft 2011. Unidade: ICMC
Subjects: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PINHEIRO, Arineiza Cristina e SIMÃO, Adenilso da Silva. Subsídios para a aplicação de métodos de geração de casos de teste baseados em máquinas de estados no contexto de sistemas embarcados. 2011, Anais.. Porto Alegre: SBC, 2011. . Acesso em: 05 out. 2024.
APA
Pinheiro, A. C., & Simão, A. da S. (2011). Subsídios para a aplicação de métodos de geração de casos de teste baseados em máquinas de estados no contexto de sistemas embarcados. In Anais. Porto Alegre: SBC.
NLM
Pinheiro AC, Simão A da S. Subsídios para a aplicação de métodos de geração de casos de teste baseados em máquinas de estados no contexto de sistemas embarcados. Anais. 2011 ;[citado 2024 out. 05 ]
Vancouver
Pinheiro AC, Simão A da S. Subsídios para a aplicação de métodos de geração de casos de teste baseados em máquinas de estados no contexto de sistemas embarcados. Anais. 2011 ;[citado 2024 out. 05 ]
Tese (Livre Docência)
Contribuições para o teste de software (2011)
Simão, Adenilso da Silva
Unidade: ICMC
Subjects: ENGENHARIA DE SOFTWARE, LINGUAGEM DE PROGRAMAÇÃO, TESTE E AVALIAÇÃO DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SIMÃO, Adenilso da Silva. Contribuições para o teste de software. 2011. Tese (Livre Docência) – Universidade de São Paulo, São Carlos, 2011. . Acesso em: 05 out. 2024.
APA
Simão, A. da S. (2011). Contribuições para o teste de software (Tese (Livre Docência). Universidade de São Paulo, São Carlos.
NLM
Simão A da S. Contribuições para o teste de software. 2011 ;[citado 2024 out. 05 ]
Vancouver
Simão A da S. Contribuições para o teste de software. 2011 ;[citado 2024 out. 05 ]

USP Schools

ReP

Filtros

Authors

USP affiliated authors

Date published

Subjects

Source title

Publisher

Conference titles