Menu

Filtros : "IME" "Melo, Ana Cristina Vieira de" Limpar

Filtros

Refine with date range

1 - 20 (79 records)

  • Trabalho de evento

    Technical debt management in agile context: a new framework and case study in a large financial institution (2024)

    Archela, Gisela M. Q. M.; Melo, Ana Cristina Vieira de; Gava, Vagner Luiz

    Source: Proceedings. Conference titles: ACM/SIGAPP Symposium on Applied Computing - SAC. Unidade: IME

    Subjects: ENGENHARIA DE SOFTWARE, MÉTODOS ÁGEIS

    Acesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      ARCHELA, Gisela M. Q. M. e MELO, Ana Cristina Vieira de e GAVA, Vagner Luiz. Technical debt management in agile context: a new framework and case study in a large financial institution. 2024, Anais.. New York: ACM, 2024. p. 826-833. Disponível em: https://doi.org/10.1145/3605098.3635946. Acesso em: 12 maio 2025.

    • APA

      Archela, G. M. Q. M., Melo, A. C. V. de, & Gava, V. L. (2024). Technical debt management in agile context: a new framework and case study in a large financial institution. In Proceedings (p. 826-833). New York: ACM. doi:10.1145/3605098.3635946

    • NLM

      Archela GMQM, Melo ACV de, Gava VL. Technical debt management in agile context: a new framework and case study in a large financial institution [Internet]. Proceedings. 2024 ; 826-833.[citado 2025 maio 12 ] Available from: https://doi.org/10.1145/3605098.3635946

    • Vancouver

      Archela GMQM, Melo ACV de, Gava VL. Technical debt management in agile context: a new framework and case study in a large financial institution [Internet]. Proceedings. 2024 ; 826-833.[citado 2025 maio 12 ] Available from: https://doi.org/10.1145/3605098.3635946

  • Trabalho de evento

    A formal model for startups financial transactions (2024)

    Stevaux, Rodrigo; Melo, Ana Cristina Vieira de

    Source: Formal Methods: Foundations and Applications - 26th Brazilian Symposium, SBMF 2023 Proceedings. Conference titles: Brazilian Symposium on Formal Methods - SBMF. Unidade: IME

    Assunto: ENGENHARIA DE SOFTWARE

    PrivadoAcesso à fonteDOIHow to cite
    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. 2024, Anais.. Cham: Springer, 2024. p. 3–19. Disponível em: https://doi.org/10.1007/978-3-031-49342-3_1. Acesso em: 12 maio 2025.

    • APA

      Stevaux, R., & Melo, A. C. V. de. (2024). A formal model for startups financial transactions. In Formal Methods: Foundations and Applications - 26th Brazilian Symposium, SBMF 2023 Proceedings (p. 3–19). 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]. Formal Methods: Foundations and Applications - 26th Brazilian Symposium, SBMF 2023 Proceedings. 2024 ; 3–19.[citado 2025 maio 12 ] 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]. Formal Methods: Foundations and Applications - 26th Brazilian Symposium, SBMF 2023 Proceedings. 2024 ; 3–19.[citado 2025 maio 12 ] Available from: https://doi.org/10.1007/978-3-031-49342-3_1

  • 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

    Acesso à fonteAcesso à fonteDOIHow to cite
    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: 12 maio 2025.

    • 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 2025 maio 12 ] 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 2025 maio 12 ] 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

    Acesso à fonteAcesso à fonteDOIHow to cite
    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: 12 maio 2025.

    • 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 2025 maio 12 ] 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 2025 maio 12 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-03112023-152323/

  • 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

    Versão PublicadaHow to cite
    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: 12 maio 2025. , 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 2025 maio 12 ] 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 2025 maio 12 ] Available from: https://repositorio.usp.br/directbitstream/a3cf613e-8dd0-4ae2-9a56-280334cd8b72/3116637.pdf

  • Trabalho de evento-anais periodico

    On structuring functional programs with monoidal profunctors (2022)

    Oliveira, Alexandre Garcia de; Jaskelioff, Mauro; Melo, Ana Cristina Vieira de

    Source: Electronic Proceedings in Theoretical Computer Science. Conference titles: Workshop on Mathematically Structured Functional Programming - MSFP. Unidade: IME

    Assunto: ENGENHARIA DE SOFTWARE

    PrivadoAcesso à fonteHow to cite
    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: 12 maio 2025. , 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 2025 maio 12 ] 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 2025 maio 12 ] Available from: https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?MSFP2022.7

  • 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

    Acesso à fonteHow to cite
    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: 12 maio 2025.

    • 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 2025 maio 12 ] 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 2025 maio 12 ] 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

    Acesso à fonteAcesso à fonteDOIHow to cite
    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: 12 maio 2025.

    • 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 2025 maio 12 ] 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 2025 maio 12 ] 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

    Source: Proceedings. Conference titles: IEEE Conference on Business Informatics (CBI). Unidade: IME

    Assunto: DESENVOLVIMENTO DE SOFTWARE

    PrivadoAcesso à fonteDOIHow to cite
    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: 12 maio 2025.

    • 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 2025 maio 12 ] 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 2025 maio 12 ] 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

    Subjects: METODOLOGIA E TÉCNICAS DE PROGRAMAÇÃO, APRENDIZAGEM TECNOLÓGICA, COMPETÊNCIA INFORMACIONAL

    Acesso à fonteAcesso à fonteDOIHow to cite
    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: 12 maio 2025.

    • 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 2025 maio 12 ] 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 2025 maio 12 ] 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

    Source: Journal of Systems and Software. Unidade: IME

    Subjects: DESENVOLVIMENTO DE SOFTWARE, JAVA

    PrivadoAcesso à fonteDOIHow to cite
    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: 12 maio 2025.

    • 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 2025 maio 12 ] 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 2025 maio 12 ] 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

    Source: Proceedings. Conference titles: International Colloquium on Theoretical Aspects of Computing - ICTAC. Unidade: IME

    Subjects: DESENVOLVIMENTO DE SOFTWARE, TEORIA DA COMPUTAÇÃO

    Acesso à fonteDOIHow to cite
    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: 12 maio 2025.

    • 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 2025 maio 12 ] 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 2025 maio 12 ] 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

    Source: Proceedings. Conference titles: Brazilian Symposium on Systematic and Automated Software Testing - SAST. Unidade: IME

    Assunto: SOFTWARES

    Acesso à fonteDOIHow to cite
    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: 12 maio 2025.

    • 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 2025 maio 12 ] 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 2025 maio 12 ] 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

    Acesso à fonteAcesso à fonteDOIHow to cite
    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: 12 maio 2025.

    • 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 2025 maio 12 ] 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 2025 maio 12 ] 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

    Source: Business Process Management Workshops: BPM 2014 International Workshops, Eindhoven, The Netherlands, September 7-8, 2014, Revised Papers. Conference titles: Business Process Management - BPM. Unidade: IME

    Subjects: METODOLOGIA E TÉCNICAS DE PROGRAMAÇÃO, ENGENHARIA DE PROGRAMAS, GESTÃO POR PROCESSOS

    Acesso à fonteDOIHow to cite
    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: 12 maio 2025.

    • 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 2025 maio 12 ] 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 2025 maio 12 ] 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

    Subjects: ENGENHARIA DE PROGRAMAS, JAVA

    Acesso à fonteHow to cite
    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: 12 maio 2025.

    • 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 2025 maio 12 ] 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 2025 maio 12 ] 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

    Source: Computational Science and Its Applications - ICCSA 2015: 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part I. Conference titles: International Conference on Computational Science and Its Applications - ICCSA. Unidade: IME

    Subjects: VERIFICAÇÃO E VALIDAÇÃO DE SOFTWARE, TESTE E AVALIAÇÃO DE SOFTWARE, DESENVOLVIMENTO DE SOFTWARE

    Acesso à fonteDOIHow to cite
    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: 12 maio 2025.

    • 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 2025 maio 12 ] 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 2025 maio 12 ] 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

    Source: Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings. Conference titles: International Conference on Software Engineering and Formal Methods - SEFM. Unidade: IME

    Subjects: VERIFICAÇÃO E VALIDAÇÃO DE SOFTWARE, TESTE E AVALIAÇÃO DE SOFTWARE, DESENVOLVIMENTO DE SOFTWARE

    Acesso à fonteDOIHow to cite
    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: 12 maio 2025.

    • 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 2025 maio 12 ] 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 2025 maio 12 ] 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

    Source: Proceedings, v. 2. Conference titles: IEEE Conference on Business Informatics. Unidade: IME

    Subjects: ARQUITETURA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO, MIDDLEWARE, SEMÂNTICA DE PROGRAMAÇÃO

    Acesso à fonteDOIHow to cite
    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: 12 maio 2025.

    • 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 2025 maio 12 ] 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 2025 maio 12 ] 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

    Source: Software Engineering Notes. Unidade: IME

    Subjects: ENGENHARIA DE SOFTWARE, PROCESSO DE SOFTWARE

    Acesso à fonteDOIHow to cite
    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: 12 maio 2025.

    • 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 2025 maio 12 ] 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 2025 maio 12 ] Available from: https://doi.org/10.1145/2693208.2693241

1 - 20 (79 records)

Digital Library of Intellectual Production of Universidade de São Paulo     2012 - 2025