ReP USP - Resultado da busca

Trabalho de evento
A formal model for startups financial transactions (2023)
Stevaux, Rodrigo; Melo, Ana Cristina Vieira de
Source: Proceedings. Conference titles: 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: 27 maio 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 maio 27 ] 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 maio 27 ] Available from: https://doi.org/10.1007/978-3-031-49342-3_1
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: 27 maio 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 maio 27 ] 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 maio 27 ] 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
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: 27 maio 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 maio 27 ] 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 maio 27 ] Available from: https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?MSFP2022.7
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
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: 27 maio 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 maio 27 ] 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 maio 27 ] Available from: https://doi.org/10.1109/CBI.2017.62
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
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: 27 maio 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 maio 27 ] 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 maio 27 ] 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
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: 27 maio 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 maio 27 ] 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 maio 27 ] 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
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: 27 maio 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 maio 27 ] 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 maio 27 ] Available from: https://doi.org/10.1145/2993288.2993290
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
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: 27 maio 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 maio 27 ] 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 maio 27 ] Available from: https://doi.org/10.1007/978-3-319-15895-2_42
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
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: 27 maio 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 maio 27 ] 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 maio 27 ] 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
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: 27 maio 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 maio 27 ] 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 maio 27 ] 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
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: 27 maio 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 maio 27 ] 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 maio 27 ] 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
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: 27 maio 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 maio 27 ] 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 maio 27 ] 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
Source: Computational Science and Its Applications - ICCSA 2014, 14th International Conference, Guimarães, Portugal, June 30 - July 3, 204, Proceedings, Part I. Conference titles: International Conference on Computational Science and Its Applications. Unidade: IME
Subjects: 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: 27 maio 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 maio 27 ] 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 maio 27 ] Available from: https://doi.org/10.1007/978-3-319-09144-0_46
Trabalho de evento
Testing Java exceptions: an instrumentation technique (2014)
Martins, Alexandre Locci; Hanazumi, Simone; Melo, Ana Cristina Vieira de
Source: IEEE 38th Annual International Computers, Software and Applications Conference Workshops: proceedings. Conference titles: IEEE International Computer Software and Application Conference - COMPSAC. Unidade: IME
Subjects: ENGENHARIA DE PROGRAMAS, JAVA, QUALIDADE DE SOFTWARE, TÉCNICAS DE PROGRAMAÇÃO
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. Testing Java exceptions: an instrumentation technique. 2014, Anais.. Los Alamitos: IEEE, 2014. Disponível em: https://doi.org/10.1109/COMPSACW.2014.105. Acesso em: 27 maio 2024.
APA
Martins, A. L., Hanazumi, S., & Melo, A. C. V. de. (2014). Testing Java exceptions: an instrumentation technique. In IEEE 38th Annual International Computers, Software and Applications Conference Workshops: proceedings. Los Alamitos: IEEE. doi:10.1109/COMPSACW.2014.105
NLM
Martins AL, Hanazumi S, Melo ACV de. Testing Java exceptions: an instrumentation technique [Internet]. IEEE 38th Annual International Computers, Software and Applications Conference Workshops: proceedings. 2014 ;[citado 2024 maio 27 ] Available from: https://doi.org/10.1109/COMPSACW.2014.105
Vancouver
Martins AL, Hanazumi S, Melo ACV de. Testing Java exceptions: an instrumentation technique [Internet]. IEEE 38th Annual International Computers, Software and Applications Conference Workshops: proceedings. 2014 ;[citado 2024 maio 27 ] Available from: https://doi.org/10.1109/COMPSACW.2014.105
Trabalho de evento
Generation of Java programs properties from test purposes (2013)
Hanazumi , Simone; Melo, Ana Cristina Vieira de
Source: Proceedings. Conference titles: International Symposium on Software Testing and Analysis - ISSTA. Unidade: IME
Subjects: JAVA, ENGENHARIA 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. Generation of Java programs properties from test purposes. 2013, Anais.. New York: ACM, 2013. Disponível em: https://doi.org/10.1145/2483760.2492400. Acesso em: 27 maio 2024.
APA
Hanazumi , S., & Melo, A. C. V. de. (2013). Generation of Java programs properties from test purposes. In Proceedings. New York: ACM. doi:10.1145/2483760.2492400
NLM
Hanazumi S, Melo ACV de. Generation of Java programs properties from test purposes [Internet]. Proceedings. 2013 ;[citado 2024 maio 27 ] Available from: https://doi.org/10.1145/2483760.2492400
Vancouver
Hanazumi S, Melo ACV de. Generation of Java programs properties from test purposes [Internet]. Proceedings. 2013 ;[citado 2024 maio 27 ] Available from: https://doi.org/10.1145/2483760.2492400
Trabalho de evento
An aproach for the verification of multi-agent systems by formally guided simulations (2013)
Silva, Paulo Salem da; Melo, Ana Cristina Vieira de
Source: Proceedings. Conference titles: IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Workshops WI-IAT. Unidade: IME
Subjects: SISTEMAS MULTIAGENTES, BEHAVIORISMO, COMPORTAMENTO SOCIAL, REDES SOCIAIS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SILVA, Paulo Salem da e MELO, Ana Cristina Vieira de. An aproach for the verification of multi-agent systems by formally guided simulations. 2013, Anais.. Piscataway: IEEE, 2013. Disponível em: https://doi.org/10.1109/WI-IAT.2013.119. Acesso em: 27 maio 2024.
APA
Silva, P. S. da, & Melo, A. C. V. de. (2013). An aproach for the verification of multi-agent systems by formally guided simulations. In Proceedings. Piscataway: IEEE. doi:10.1109/WI-IAT.2013.119
NLM
Silva PS da, Melo ACV de. An aproach for the verification of multi-agent systems by formally guided simulations [Internet]. Proceedings. 2013 ;[citado 2024 maio 27 ] Available from: https://doi.org/10.1109/WI-IAT.2013.119
Vancouver
Silva PS da, Melo ACV de. An aproach for the verification of multi-agent systems by formally guided simulations [Internet]. Proceedings. 2013 ;[citado 2024 maio 27 ] Available from: https://doi.org/10.1109/WI-IAT.2013.119
Artigo de periodico
On-the-fly verification of discrete event simulations by means of simulation purposes: extended version (2013)
Silva, Paulo Salem da; Melo, Ana Cristina Vieira de
Source: Simulation. Unidade: IME
Subjects: METODOLOGIA E TÉCNICAS DE COMPUTAÇÃO, SIMULAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SILVA, Paulo Salem da e MELO, Ana Cristina Vieira de. On-the-fly verification of discrete event simulations by means of simulation purposes: extended version. Simulation, v. 89, n. 8, p. 977-1008, 2013Tradução . . Disponível em: https://doi.org/10.1177/0037549713490439. Acesso em: 27 maio 2024.
APA
Silva, P. S. da, & Melo, A. C. V. de. (2013). On-the-fly verification of discrete event simulations by means of simulation purposes: extended version. Simulation, 89( 8), 977-1008. doi:10.1177/0037549713490439
NLM
Silva PS da, Melo ACV de. On-the-fly verification of discrete event simulations by means of simulation purposes: extended version [Internet]. Simulation. 2013 ; 89( 8): 977-1008.[citado 2024 maio 27 ] Available from: https://doi.org/10.1177/0037549713490439
Vancouver
Silva PS da, Melo ACV de. On-the-fly verification of discrete event simulations by means of simulation purposes: extended version [Internet]. Simulation. 2013 ; 89( 8): 977-1008.[citado 2024 maio 27 ] Available from: https://doi.org/10.1177/0037549713490439
Trabalho de evento
Behaviorist agent architecture (2013)
Silva, Paulo Salem da; Melo, Ana Cristina Vieira de
Source: Proceedings. Conference titles: IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Workshops WI-IAT. Unidade: IME
Subjects: SISTEMAS MULTIAGENTES, INTELIGÊNCIA ARTIFICIAL, BEHAVIORISMO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SILVA, Paulo Salem da e MELO, Ana Cristina Vieira de. Behaviorist agent architecture. 2013, Anais.. Piscataway: IEEE, 2013. Disponível em: https://doi.org/10.1109/WI-IAT.2013.108. Acesso em: 27 maio 2024.
APA
Silva, P. S. da, & Melo, A. C. V. de. (2013). Behaviorist agent architecture. In Proceedings. Piscataway: IEEE. doi:10.1109/WI-IAT.2013.108
NLM
Silva PS da, Melo ACV de. Behaviorist agent architecture [Internet]. Proceedings. 2013 ;[citado 2024 maio 27 ] Available from: https://doi.org/10.1109/WI-IAT.2013.108
Vancouver
Silva PS da, Melo ACV de. Behaviorist agent architecture [Internet]. Proceedings. 2013 ;[citado 2024 maio 27 ] Available from: https://doi.org/10.1109/WI-IAT.2013.108
Trabalho de evento
Testing the adherence of enterprise web applications to transactional patterns (2012)
Nunes, Paulo Roberto de Araújo França; Melo, Ana Cristina Vieira de
Source: Proceedings. Conference titles: International Conference on the Quality of Information and Communications Technology - QUATIC. Unidade: IME
Assunto: PROCESSAMENTO DE DADOS
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 e MELO, Ana Cristina Vieira de. Testing the adherence of enterprise web applications to transactional patterns. 2012, Anais.. Piscataway: IEEE, 2012. Disponível em: https://doi.org/10.1109/QUATIC.2012.58. Acesso em: 27 maio 2024.
APA
Nunes, P. R. de A. F., & Melo, A. C. V. de. (2012). Testing the adherence of enterprise web applications to transactional patterns. In Proceedings. Piscataway: IEEE. doi:10.1109/QUATIC.2012.58
NLM
Nunes PR de AF, Melo ACV de. Testing the adherence of enterprise web applications to transactional patterns [Internet]. Proceedings. 2012 ;[citado 2024 maio 27 ] Available from: https://doi.org/10.1109/QUATIC.2012.58
Vancouver
Nunes PR de AF, Melo ACV de. Testing the adherence of enterprise web applications to transactional patterns [Internet]. Proceedings. 2012 ;[citado 2024 maio 27 ] Available from: https://doi.org/10.1109/QUATIC.2012.58
Trabalho de evento
Coordinating exceptions of Java systems: implementation and formal verification (2012)
Hanazumi , Simone; Melo, Ana Cristina Vieira de
Source: Proceedings. Conference titles: International Conference on the Quality of Information and Communications Technology - QUATIC. Unidade: IME
Subjects: JAVA, 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. Coordinating exceptions of Java systems: implementation and formal verification. 2012, Anais.. Piscataway: IEEE, 2012. Disponível em: https://doi.org/10.1109/QUATIC.2012.26. Acesso em: 27 maio 2024.
APA
Hanazumi , S., & Melo, A. C. V. de. (2012). Coordinating exceptions of Java systems: implementation and formal verification. In Proceedings. Piscataway: IEEE. doi:10.1109/QUATIC.2012.26
NLM
Hanazumi S, Melo ACV de. Coordinating exceptions of Java systems: implementation and formal verification [Internet]. Proceedings. 2012 ;[citado 2024 maio 27 ] Available from: https://doi.org/10.1109/QUATIC.2012.26
Vancouver
Hanazumi S, Melo ACV de. Coordinating exceptions of Java systems: implementation and formal verification [Internet]. Proceedings. 2012 ;[citado 2024 maio 27 ] Available from: https://doi.org/10.1109/QUATIC.2012.26

USP Schools

ReP

Filtros

Document Types

Authors

USP affiliated authors

Date published

Subjects

Source title

Publisher

Conference titles

Countries/Territories

Funding Agencies

Indexado em

Non normalized affiliation

Countries of institutions of collaboration