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
Assuntos: 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: 24 abr. 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 abr. 24 ] 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 abr. 24 ] 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: 24 abr. 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 abr. 24 ] 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 abr. 24 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-03112023-152323/
Trabalho de evento
A formal model for startups financial transactions (2023)
Stevaux, Rodrigo; Melo, Ana Cristina Vieira de
Fonte: Proceedings. Nome do evento: Brazilian Symposium on Formal Methods - SBMF. Unidade: IME
Assunto: ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
STEVAUX, Rodrigo e MELO, Ana Cristina Vieira de. A formal model for startups financial transactions. 2023, Anais.. Cham: Springer, 2023. Disponível em: https://doi.org/10.1007/978-3-031-49342-3_1. Acesso em: 24 abr. 2024.
APA
Stevaux, R., & Melo, A. C. V. de. (2023). A formal model for startups financial transactions. In Proceedings. Cham: Springer. doi:10.1007/978-3-031-49342-3_1
NLM
Stevaux R, Melo ACV de. A formal model for startups financial transactions [Internet]. Proceedings. 2023 ;[citado 2024 abr. 24 ] Available from: https://doi.org/10.1007/978-3-031-49342-3_1
Vancouver
Stevaux R, Melo ACV de. A formal model for startups financial transactions [Internet]. Proceedings. 2023 ;[citado 2024 abr. 24 ] Available from: https://doi.org/10.1007/978-3-031-49342-3_1
Trabalho de evento-anais periodico
On structuring functional programs with monoidal profunctors (2022)
Oliveira, Alexandre Garcia de; Jaskelioff, Mauro; Melo, Ana Cristina Vieira de
Fonte: Electronic Proceedings in Theoretical Computer Science. Nome do evento: Workshop on Mathematically Structured Functional Programming - MSFP. Unidade: IME
Assunto: ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
OLIVEIRA, Alexandre Garcia de e JASKELIOFF, Mauro e MELO, Ana Cristina Vieira de. On structuring functional programs with monoidal profunctors. Electronic Proceedings in Theoretical Computer Science. Sydney: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?MSFP2022.7. Acesso em: 24 abr. 2024. , 2022
APA
Oliveira, A. G. de, Jaskelioff, M., & Melo, A. C. V. de. (2022). On structuring functional programs with monoidal profunctors. Electronic Proceedings in Theoretical Computer Science. Sydney: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?MSFP2022.7
NLM
Oliveira AG de, Jaskelioff M, Melo ACV de. On structuring functional programs with monoidal profunctors [Internet]. Electronic Proceedings in Theoretical Computer Science. 2022 ; 360 134-150.[citado 2024 abr. 24 ] Available from: https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?MSFP2022.7
Vancouver
Oliveira AG de, Jaskelioff M, Melo ACV de. On structuring functional programs with monoidal profunctors [Internet]. Electronic Proceedings in Theoretical Computer Science. 2022 ; 360 134-150.[citado 2024 abr. 24 ] Available from: https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?MSFP2022.7
Relatorio tecnico
Relatório de análise estatística sobre o projeto “Influência das métricas de software no engajamento de contribuidores em repositórios de código aberto” (2022)
Alencar, Airlane Pereira ; Sandrim, Diego Cardozo; Melo, Ana Cristina Vieira de; Lacerda, Tereza Cristina de Oliveira; Rocha, Francisco Marcelo Monteiro da
Unidades: IME, EACH
Assunto: ESTATÍSTICA APLICADA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ALENCAR, Airlane Pereira et al. Relatório de análise estatística sobre o projeto “Influência das métricas de software no engajamento de contribuidores em repositórios de código aberto”. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/a3cf613e-8dd0-4ae2-9a56-280334cd8b72/3116637.pdf. Acesso em: 24 abr. 2024. , 2022
APA
Alencar, A. P., Sandrim, D. C., Melo, A. C. V. de, Lacerda, T. C. de O., & Rocha, F. M. M. da. (2022). Relatório de análise estatística sobre o projeto “Influência das métricas de software no engajamento de contribuidores em repositórios de código aberto”. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/a3cf613e-8dd0-4ae2-9a56-280334cd8b72/3116637.pdf
NLM
Alencar AP, Sandrim DC, Melo ACV de, Lacerda TC de O, Rocha FMM da. Relatório de análise estatística sobre o projeto “Influência das métricas de software no engajamento de contribuidores em repositórios de código aberto” [Internet]. 2022 ;[citado 2024 abr. 24 ] Available from: https://repositorio.usp.br/directbitstream/a3cf613e-8dd0-4ae2-9a56-280334cd8b72/3116637.pdf
Vancouver
Alencar AP, Sandrim DC, Melo ACV de, Lacerda TC de O, Rocha FMM da. Relatório de análise estatística sobre o projeto “Influência das métricas de software no engajamento de contribuidores em repositórios de código aberto” [Internet]. 2022 ;[citado 2024 abr. 24 ] Available from: https://repositorio.usp.br/directbitstream/a3cf613e-8dd0-4ae2-9a56-280334cd8b72/3116637.pdf
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: 24 abr. 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 abr. 24 ] 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 abr. 24 ] 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
Assuntos: 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: 24 abr. 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 abr. 24 ] 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 abr. 24 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113220/
Trabalho de evento
Technical debt and the software project characteristics: a repository-based exploratory analysis (2017)
Jesus, Jandisson Soares de; Melo, Ana Cristina Vieira de
Fonte: Proceedings. Nome do evento: IEEE Conference on Business Informatics (CBI). Unidade: IME
Assunto: DESENVOLVIMENTO DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
JESUS, Jandisson Soares de e MELO, Ana Cristina Vieira de. Technical debt and the software project characteristics: a repository-based exploratory analysis. 2017, Anais.. Piscataway: IEEE, 2017. Disponível em: https://doi.org/10.1109/CBI.2017.62. Acesso em: 24 abr. 2024.
APA
Jesus, J. S. de, & Melo, A. C. V. de. (2017). Technical debt and the software project characteristics: a repository-based exploratory analysis. In Proceedings. Piscataway: IEEE. doi:10.1109/CBI.2017.62
NLM
Jesus JS de, Melo ACV de. Technical debt and the software project characteristics: a repository-based exploratory analysis [Internet]. Proceedings. 2017 ;[citado 2024 abr. 24 ] Available from: https://doi.org/10.1109/CBI.2017.62
Vancouver
Jesus JS de, Melo ACV de. Technical debt and the software project characteristics: a repository-based exploratory analysis [Internet]. Proceedings. 2017 ;[citado 2024 abr. 24 ] Available from: https://doi.org/10.1109/CBI.2017.62
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
Assuntos: 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: 24 abr. 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 abr. 24 ] 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 abr. 24 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113158/
Artigo de periodico
A formal approach to implement java exceptions in cooperative systems (2017)
Hanazumi, Simone; Melo, Ana Cristina Vieira de
Fonte: Journal of Systems and Software. Unidade: IME
Assuntos: DESENVOLVIMENTO DE SOFTWARE, JAVA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
HANAZUMI, Simone e MELO, Ana Cristina Vieira de. A formal approach to implement java exceptions in cooperative systems. Journal of Systems and Software, v. 131, p. 475-490, 2017Tradução . . Disponível em: https://doi.org/10.1016/j.jss.2016.07.033. Acesso em: 24 abr. 2024.
APA
Hanazumi, S., & Melo, A. C. V. de. (2017). A formal approach to implement java exceptions in cooperative systems. Journal of Systems and Software, 131, 475-490. doi:10.1016/j.jss.2016.07.033
NLM
Hanazumi S, Melo ACV de. A formal approach to implement java exceptions in cooperative systems [Internet]. Journal of Systems and Software. 2017 ; 131 475-490.[citado 2024 abr. 24 ] Available from: https://doi.org/10.1016/j.jss.2016.07.033
Vancouver
Hanazumi S, Melo ACV de. A formal approach to implement java exceptions in cooperative systems [Internet]. Journal of Systems and Software. 2017 ; 131 475-490.[citado 2024 abr. 24 ] Available from: https://doi.org/10.1016/j.jss.2016.07.033
Trabalho de evento
Towards MC/DC coverage of properties specification patterns (2016)
Melo, Ana Cristina Vieira de; Pasareanu, Corina S; Hanazumi , Simone
Fonte: Proceedings. Nome do evento: International Colloquium on Theoretical Aspects of Computing - ICTAC. Unidade: IME
Assuntos: DESENVOLVIMENTO DE SOFTWARE, TEORIA DA COMPUTAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MELO, Ana Cristina Vieira de e PASAREANU, Corina S e HANAZUMI , Simone. Towards MC/DC coverage of properties specification patterns. 2016, Anais.. Cham: Springer, 2016. Disponível em: https://doi.org/10.1007/978-3-319-46750-4_10. Acesso em: 24 abr. 2024.
APA
Melo, A. C. V. de, Pasareanu, C. S., & Hanazumi , S. (2016). Towards MC/DC coverage of properties specification patterns. In Proceedings. Cham: Springer. doi:10.1007/978-3-319-46750-4_10
NLM
Melo ACV de, Pasareanu CS, Hanazumi S. Towards MC/DC coverage of properties specification patterns [Internet]. Proceedings. 2016 ;[citado 2024 abr. 24 ] Available from: https://doi.org/10.1007/978-3-319-46750-4_10
Vancouver
Melo ACV de, Pasareanu CS, Hanazumi S. Towards MC/DC coverage of properties specification patterns [Internet]. Proceedings. 2016 ;[citado 2024 abr. 24 ] Available from: https://doi.org/10.1007/978-3-319-46750-4_10
Trabalho de evento
Can you certify your software to MC/DC?: a static analysis approach to account for the number test cases (2016)
Martins, Alexandre Locci; Melo, Ana Cristina Vieira de
Fonte: Proceedings. Nome do evento: Brazilian Symposium on Systematic and Automated Software Testing - SAST. Unidade: IME
Assunto: SOFTWARES
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MARTINS, Alexandre Locci e MELO, Ana Cristina Vieira de. Can you certify your software to MC/DC?: a static analysis approach to account for the number test cases. 2016, Anais.. New York: ACM, 2016. Disponível em: https://doi.org/10.1145/2993288.2993290. Acesso em: 24 abr. 2024.
APA
Martins, A. L., & Melo, A. C. V. de. (2016). Can you certify your software to MC/DC?: a static analysis approach to account for the number test cases. In Proceedings. New York: ACM. doi:10.1145/2993288.2993290
NLM
Martins AL, Melo ACV de. Can you certify your software to MC/DC?: a static analysis approach to account for the number test cases [Internet]. Proceedings. 2016 ;[citado 2024 abr. 24 ] Available from: https://doi.org/10.1145/2993288.2993290
Vancouver
Martins AL, Melo ACV de. Can you certify your software to MC/DC?: a static analysis approach to account for the number test cases [Internet]. Proceedings. 2016 ;[citado 2024 abr. 24 ] Available from: https://doi.org/10.1145/2993288.2993290
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: 24 abr. 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 abr. 24 ] 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 abr. 24 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113032/
Trabalho de evento
Business rules: from SBVR to information systems (2015)
Jesus, Jandisson Soares de; Melo, Ana Cristina Vieira de
Fonte: Business Process Management Workshops: BPM 2014 International Workshops, Eindhoven, The Netherlands, September 7-8, 2014, Revised Papers. Nome do evento: Business Process Management - BPM. Unidade: IME
Assuntos: METODOLOGIA E TÉCNICAS DE PROGRAMAÇÃO, ENGENHARIA DE PROGRAMAS, GESTÃO POR PROCESSOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
JESUS, Jandisson Soares de e MELO, Ana Cristina Vieira de. Business rules: from SBVR to information systems. 2015, Anais.. Cham: Springer, 2015. Disponível em: https://doi.org/10.1007/978-3-319-15895-2_42. Acesso em: 24 abr. 2024.
APA
Jesus, J. S. de, & Melo, A. C. V. de. (2015). Business rules: from SBVR to information systems. In Business Process Management Workshops: BPM 2014 International Workshops, Eindhoven, The Netherlands, September 7-8, 2014, Revised Papers. Cham: Springer. doi:10.1007/978-3-319-15895-2_42
NLM
Jesus JS de, Melo ACV de. Business rules: from SBVR to information systems [Internet]. Business Process Management Workshops: BPM 2014 International Workshops, Eindhoven, The Netherlands, September 7-8, 2014, Revised Papers. 2015 ;[citado 2024 abr. 24 ] Available from: https://doi.org/10.1007/978-3-319-15895-2_42
Vancouver
Jesus JS de, Melo ACV de. Business rules: from SBVR to information systems [Internet]. Business Process Management Workshops: BPM 2014 International Workshops, Eindhoven, The Netherlands, September 7-8, 2014, Revised Papers. 2015 ;[citado 2024 abr. 24 ] Available from: https://doi.org/10.1007/978-3-319-15895-2_42
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
Assuntos: 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: 24 abr. 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 abr. 24 ] 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 abr. 24 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-23122015-094748
Trabalho de evento
A classification of test purposes based on testable properties (2015)
Hanazumi, Simone; Melo, Ana Cristina Vieira de
Fonte: Computational Science and Its Applications - ICCSA 2015: 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part I. Nome do evento: International Conference on Computational Science and Its Applications - ICCSA. Unidade: IME
Assuntos: VERIFICAÇÃO E VALIDAÇÃO DE SOFTWARE, TESTE E AVALIAÇÃO DE SOFTWARE, DESENVOLVIMENTO DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
HANAZUMI, Simone e MELO, Ana Cristina Vieira de. A classification of test purposes based on testable properties. 2015, Anais.. Cham: Springer, 2015. Disponível em: https://doi.org/10.1007/978-3-319-21404-7_31. Acesso em: 24 abr. 2024.
APA
Hanazumi, S., & Melo, A. C. V. de. (2015). A classification of test purposes based on testable properties. In Computational Science and Its Applications - ICCSA 2015: 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part I. Cham: Springer. doi:10.1007/978-3-319-21404-7_31
NLM
Hanazumi S, Melo ACV de. A classification of test purposes based on testable properties [Internet]. Computational Science and Its Applications - ICCSA 2015: 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part I. 2015 ;[citado 2024 abr. 24 ] Available from: https://doi.org/10.1007/978-3-319-21404-7_31
Vancouver
Hanazumi S, Melo ACV de. A classification of test purposes based on testable properties [Internet]. Computational Science and Its Applications - ICCSA 2015: 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part I. 2015 ;[citado 2024 abr. 24 ] Available from: https://doi.org/10.1007/978-3-319-21404-7_31
Trabalho de evento
On the testability of properties patterns (2015)
Hanazumi, Simone; Melo, Ana Cristina Vieira de
Fonte: Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings. Nome do evento: International Conference on Software Engineering and Formal Methods - SEFM. Unidade: IME
Assuntos: VERIFICAÇÃO E VALIDAÇÃO DE SOFTWARE, TESTE E AVALIAÇÃO DE SOFTWARE, DESENVOLVIMENTO DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
HANAZUMI, Simone e MELO, Ana Cristina Vieira de. On the testability of properties patterns. 2015, Anais.. Cham: Springer, 2015. Disponível em: https://doi.org/10.1007/978-3-319-22969-0_11. Acesso em: 24 abr. 2024.
APA
Hanazumi, S., & Melo, A. C. V. de. (2015). On the testability of properties patterns. In Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings. Cham: Springer. doi:10.1007/978-3-319-22969-0_11
NLM
Hanazumi S, Melo ACV de. On the testability of properties patterns [Internet]. Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings. 2015 ;[citado 2024 abr. 24 ] Available from: https://doi.org/10.1007/978-3-319-22969-0_11
Vancouver
Hanazumi S, Melo ACV de. On the testability of properties patterns [Internet]. Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings. 2015 ;[citado 2024 abr. 24 ] Available from: https://doi.org/10.1007/978-3-319-22969-0_11
Trabalho de evento
An architectural pattern to implement business rules in information systems (2015)
Jesus, Jandisson Soares de; Melo, Ana Cristina Vieira de
Fonte: Proceedings, v. 2. Nome do evento: IEEE Conference on Business Informatics. Unidade: IME
Assuntos: ARQUITETURA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO, MIDDLEWARE, SEMÂNTICA DE PROGRAMAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
JESUS, Jandisson Soares de e MELO, Ana Cristina Vieira de. An architectural pattern to implement business rules in information systems. 2015, Anais.. Los Alamitos: IEEE, 2015. Disponível em: https://doi.org/10.1109/CBI.2015.35. Acesso em: 24 abr. 2024.
APA
Jesus, J. S. de, & Melo, A. C. V. de. (2015). An architectural pattern to implement business rules in information systems. In Proceedings, v. 2. Los Alamitos: IEEE. doi:10.1109/CBI.2015.35
NLM
Jesus JS de, Melo ACV de. An architectural pattern to implement business rules in information systems [Internet]. Proceedings, v. 2. 2015 ;[citado 2024 abr. 24 ] Available from: https://doi.org/10.1109/CBI.2015.35
Vancouver
Jesus JS de, Melo ACV de. An architectural pattern to implement business rules in information systems [Internet]. Proceedings, v. 2. 2015 ;[citado 2024 abr. 24 ] Available from: https://doi.org/10.1109/CBI.2015.35
Artigo de periodico
From test purposes to formal JPF properties (2015)
Hanazumi, Simone; Melo, Ana Cristina Vieira de; Pasareanu, Corina S
Fonte: Software Engineering Notes. Unidade: IME
Assuntos: ENGENHARIA DE SOFTWARE, PROCESSO DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
HANAZUMI, Simone e MELO, Ana Cristina Vieira de e PASAREANU, Corina S. From test purposes to formal JPF properties. Software Engineering Notes, v. 40, n. ja 2015, p. [5 ], 2015Tradução . . Disponível em: https://doi.org/10.1145/2693208.2693241. Acesso em: 24 abr. 2024.
APA
Hanazumi, S., Melo, A. C. V. de, & Pasareanu, C. S. (2015). From test purposes to formal JPF properties. Software Engineering Notes, 40( ja 2015), [5 ]. doi:10.1145/2693208.2693241
NLM
Hanazumi S, Melo ACV de, Pasareanu CS. From test purposes to formal JPF properties [Internet]. Software Engineering Notes. 2015 ; 40( ja 2015): [5 ].[citado 2024 abr. 24 ] Available from: https://doi.org/10.1145/2693208.2693241
Vancouver
Hanazumi S, Melo ACV de, Pasareanu CS. From test purposes to formal JPF properties [Internet]. Software Engineering Notes. 2015 ; 40( ja 2015): [5 ].[citado 2024 abr. 24 ] Available from: https://doi.org/10.1145/2693208.2693241
Trabalho de evento
Exercising Java exceptions using Java Pathfinder and program instrumentation (2014)
Martins, Alexandre Locci; Hanazumi, Simone; Melo, Ana Cristina Vieira de
Fonte: Computational Science and Its Applications - ICCSA 2014, 14th International Conference, Guimarães, Portugal, June 30 - July 3, 204, Proceedings, Part I. Nome do evento: International Conference on Computational Science and Its Applications. Unidade: IME
Assuntos: JAVA, INTELIGÊNCIA ARTIFICIAL, ANÁLISE DE ALGORITMOS, QUALIDADE DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MARTINS, Alexandre Locci e HANAZUMI, Simone e MELO, Ana Cristina Vieira de. Exercising Java exceptions using Java Pathfinder and program instrumentation. 2014, Anais.. Cham: Springer, 2014. Disponível em: https://doi.org/10.1007/978-3-319-09144-0_46. Acesso em: 24 abr. 2024.
APA
Martins, A. L., Hanazumi, S., & Melo, A. C. V. de. (2014). Exercising Java exceptions using Java Pathfinder and program instrumentation. In Computational Science and Its Applications - ICCSA 2014, 14th International Conference, Guimarães, Portugal, June 30 - July 3, 204, Proceedings, Part I. Cham: Springer. doi:10.1007/978-3-319-09144-0_46
NLM
Martins AL, Hanazumi S, Melo ACV de. Exercising Java exceptions using Java Pathfinder and program instrumentation [Internet]. Computational Science and Its Applications - ICCSA 2014, 14th International Conference, Guimarães, Portugal, June 30 - July 3, 204, Proceedings, Part I. 2014 ;[citado 2024 abr. 24 ] Available from: https://doi.org/10.1007/978-3-319-09144-0_46
Vancouver
Martins AL, Hanazumi S, Melo ACV de. Exercising Java exceptions using Java Pathfinder and program instrumentation [Internet]. Computational Science and Its Applications - ICCSA 2014, 14th International Conference, Guimarães, Portugal, June 30 - July 3, 204, Proceedings, Part I. 2014 ;[citado 2024 abr. 24 ] Available from: https://doi.org/10.1007/978-3-319-09144-0_46

Unidades USP

ReP

Filtros

Tipo de material

Autores

Autores USP

Ano de publicação

Assuntos

Título da fonte

Editora

Nome do evento

País de publicação

Agência de fomento

Indexado em

Afiliação dos autores externos não normalizada

País das instituições de afiliação dos autores externos