ReP USP - Resultado da busca

Parte de monografia/livro
Assistência de enfermagem ao paciente com lesão renal aguda (2023)
Melo, Ana Cláudia Tavares de; Fonseca, Cassiane Dezoti da; Martins, Daniel Malisani; Silva, Eloiza de Oliveira; Bastos, Maria Cecília Franca; Fuzii, Sandra Mayumi Osawa; Vattimo, Maria de Fátima Fernandes
Source: Enfermagem na saúde do adulto e idoso. Unidades: IME, HU, EE
Subjects: NEFROPATIAS, INSUFICIÊNCIA RENAL AGUDA, ASSISTÊNCIA DE ENFERMAGEM
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MELO, Ana Cláudia Tavares de et al. Assistência de enfermagem ao paciente com lesão renal aguda. Enfermagem na saúde do adulto e idoso. Tradução . Rio de Janeiro: Atheneu, 2023. v. 2. . . Acesso em: 26 set. 2023.
APA
Melo, A. C. T. de, Fonseca, C. D. da, Martins, D. M., Silva, E. de O., Bastos, M. C. F., Fuzii, S. M. O., & Vattimo, M. de F. F. (2023). Assistência de enfermagem ao paciente com lesão renal aguda. In Enfermagem na saúde do adulto e idoso (Vol. 2). Rio de Janeiro: Atheneu.
NLM
Melo ACT de, Fonseca CD da, Martins DM, Silva E de O, Bastos MCF, Fuzii SMO, Vattimo M de FF. Assistência de enfermagem ao paciente com lesão renal aguda. In: Enfermagem na saúde do adulto e idoso. Rio de Janeiro: Atheneu; 2023. [citado 2023 set. 26 ]
Vancouver
Melo ACT de, Fonseca CD da, Martins DM, Silva E de O, Bastos MCF, Fuzii SMO, Vattimo M de FF. Assistência de enfermagem ao paciente com lesão renal aguda. In: Enfermagem na saúde do adulto e idoso. Rio de Janeiro: Atheneu; 2023. [citado 2023 set. 26 ]
Parte de monografia/livro
Assistência ao paciente com problema renal (2023)
Melo, Ana Cláudia Tavares de; Fonseca, Cassiane Dezoti da; Silva, Eloiza de Oliveira; Pantalena, Fernando Marques Salvador; Bertoni, Gisele Cardoso; Vattimo, Maria de Fátima Fernandes
Source: Enfermagem na saúde do adulto e idoso. Unidades: IME, HU, EE
Subjects: NEFROPATIAS, INSUFICIÊNCIA RENAL AGUDA, INSUFICIÊNCIA RENAL CRÔNICA, ASSISTÊNCIA DE ENFERMAGEM
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MELO, Ana Cláudia Tavares de et al. Assistência ao paciente com problema renal. Enfermagem na saúde do adulto e idoso. Tradução . Rio de Janeiro: Atheneu, 2023. v. 2. . . Acesso em: 26 set. 2023.
APA
Melo, A. C. T. de, Fonseca, C. D. da, Silva, E. de O., Pantalena, F. M. S., Bertoni, G. C., & Vattimo, M. de F. F. (2023). Assistência ao paciente com problema renal. In Enfermagem na saúde do adulto e idoso (Vol. 2). Rio de Janeiro: Atheneu.
NLM
Melo ACT de, Fonseca CD da, Silva E de O, Pantalena FMS, Bertoni GC, Vattimo M de FF. Assistência ao paciente com problema renal. In: Enfermagem na saúde do adulto e idoso. Rio de Janeiro: Atheneu; 2023. [citado 2023 set. 26 ]
Vancouver
Melo ACT de, Fonseca CD da, Silva E de O, Pantalena FMS, Bertoni GC, Vattimo M de FF. Assistência ao paciente com problema renal. In: Enfermagem na saúde do adulto e idoso. Rio de Janeiro: Atheneu; 2023. [citado 2023 set. 26 ]
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: 26 set. 2023. , 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 2023 set. 26 ] 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 2023 set. 26 ] 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: 26 set. 2023. , 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 2023 set. 26 ] 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 2023 set. 26 ] 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://dx.doi.org/10.1109/CBI.2017.62. Acesso em: 26 set. 2023.
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 2023 set. 26 ] Available from: https://dx.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 2023 set. 26 ] Available from: https://dx.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://dx.doi.org/10.1016/j.jss.2016.07.033. Acesso em: 26 set. 2023.
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 2023 set. 26 ] Available from: https://dx.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 2023 set. 26 ] Available from: https://dx.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: http://dx.doi.org/10.1007/978-3-319-46750-4_10. Acesso em: 26 set. 2023.
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 2023 set. 26 ] Available from: http://dx.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 2023 set. 26 ] Available from: http://dx.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: http://dx.doi.org/10.1145/2993288.2993290. Acesso em: 26 set. 2023.
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 2023 set. 26 ] Available from: http://dx.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 2023 set. 26 ] Available from: http://dx.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: http://dx.doi.org/10.1007/978-3-319-15895-2_42. Acesso em: 26 set. 2023.
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 2023 set. 26 ] Available from: http://dx.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 2023 set. 26 ] Available from: http://dx.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: http://dx.doi.org/10.1007/978-3-319-21404-7_31. Acesso em: 26 set. 2023.
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 2023 set. 26 ] Available from: http://dx.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 2023 set. 26 ] Available from: http://dx.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: http://dx.doi.org/10.1007/978-3-319-22969-0_11. Acesso em: 26 set. 2023.
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 2023 set. 26 ] Available from: http://dx.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 2023 set. 26 ] Available from: http://dx.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: http://dx.doi.org/10.1109/CBI.2015.35. Acesso em: 26 set. 2023.
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 2023 set. 26 ] Available from: http://dx.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 2023 set. 26 ] Available from: http://dx.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: http://dx.doi.org/10.1145/2693208.2693241. Acesso em: 26 set. 2023.
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 2023 set. 26 ] Available from: http://dx.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 2023 set. 26 ] Available from: http://dx.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: 26 set. 2023.
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 2023 set. 26 ] 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 2023 set. 26 ] 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: http://dx.doi.org/10.1109/COMPSACW.2014.105. Acesso em: 26 set. 2023.
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 2023 set. 26 ] Available from: http://dx.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 2023 set. 26 ] Available from: http://dx.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: 26 set. 2023.
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 2023 set. 26 ] 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 2023 set. 26 ] 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: 26 set. 2023.
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 2023 set. 26 ] 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 2023 set. 26 ] Available from: https://doi.org/10.1109/WI-IAT.2013.119
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: 26 set. 2023.
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 2023 set. 26 ] 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 2023 set. 26 ] 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: 26 set. 2023.
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 2023 set. 26 ] 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 2023 set. 26 ] 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: 26 set. 2023.
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 2023 set. 26 ] 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 2023 set. 26 ] Available from: https://doi.org/10.1109/QUATIC.2012.26

USP Schools

ReP

Filtros

Document Types

Departament

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