ReP USP - Resultado da busca

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
Fonte: Proceedings. Nome do evento: ACM/SIGAPP Symposium on Applied Computing - SAC. Unidade: IME
Assuntos: ENGENHARIA DE SOFTWARE, MÉTODOS ÁGEIS
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: 30 nov. 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 nov. 30 ] 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 nov. 30 ] Available from: https://doi.org/10.1145/3605098.3635946
Trabalho de evento
Towards MC/DC coverage of properties specification patterns (2016)
Melo, Ana Cristina Vieira de; Pasareanu, Corina S; Hanazumi , Simone
Fonte: Proceedings. Nome do evento: International Colloquium on Theoretical Aspects of Computing - ICTAC. Unidade: IME
Assuntos: DESENVOLVIMENTO DE SOFTWARE, TEORIA DA COMPUTAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MELO, Ana Cristina Vieira de e PASAREANU, Corina S e HANAZUMI , Simone. Towards MC/DC coverage of properties specification patterns. 2016, Anais.. Cham: Springer, 2016. Disponível em: https://doi.org/10.1007/978-3-319-46750-4_10. Acesso em: 30 nov. 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 nov. 30 ] 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 nov. 30 ] Available from: https://doi.org/10.1007/978-3-319-46750-4_10
Trabalho de evento
Can you certify your software to MC/DC?: a static analysis approach to account for the number test cases (2016)
Martins, Alexandre Locci; Melo, Ana Cristina Vieira de
Fonte: Proceedings. Nome do evento: Brazilian Symposium on Systematic and Automated Software Testing - SAST. Unidade: IME
Assunto: SOFTWARES
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MARTINS, Alexandre Locci e MELO, Ana Cristina Vieira de. Can you certify your software to MC/DC?: a static analysis approach to account for the number test cases. 2016, Anais.. New York: ACM, 2016. Disponível em: https://doi.org/10.1145/2993288.2993290. Acesso em: 30 nov. 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 nov. 30 ] 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 nov. 30 ] Available from: https://doi.org/10.1145/2993288.2993290
Trabalho de evento
Generation of Java programs properties from test purposes (2013)
Hanazumi , Simone; Melo, Ana Cristina Vieira de
Fonte: Proceedings. Nome do evento: International Symposium on Software Testing and Analysis - ISSTA. Unidade: IME
Assuntos: 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: 30 nov. 2025.
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 2025 nov. 30 ] 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 2025 nov. 30 ] 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
Fonte: Proceedings. Nome do evento: IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Workshops WI-IAT. Unidade: IME
Assuntos: 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: 30 nov. 2025.
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 2025 nov. 30 ] 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 2025 nov. 30 ] 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
Fonte: Proceedings. Nome do evento: IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Workshops WI-IAT. Unidade: IME
Assuntos: 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: 30 nov. 2025.
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 2025 nov. 30 ] 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 2025 nov. 30 ] 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
Fonte: Proceedings. Nome do evento: 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: 30 nov. 2025.
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 2025 nov. 30 ] 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 2025 nov. 30 ] 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
Fonte: Proceedings. Nome do evento: International Conference on the Quality of Information and Communications Technology - QUATIC. Unidade: IME
Assuntos: 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: 30 nov. 2025.
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 2025 nov. 30 ] 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 2025 nov. 30 ] Available from: https://doi.org/10.1109/QUATIC.2012.26
Trabalho de evento
Modelling websites navigation elements according to usability aspects (2012)
Moraes Junior, Hamilton Fernandes de; Nishida, Fabia Lika; Melo, Ana Cristina Vieira de
Fonte: Proceedings. Nome do evento: International Conference on the Quality of Information and Communications Technology - QUATIC. Unidade: IME
Assuntos: INTERNET, WEB SITES, HEURÍSTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MORAES JUNIOR, Hamilton Fernandes de e NISHIDA, Fabia Lika e MELO, Ana Cristina Vieira de. Modelling websites navigation elements according to usability aspects. 2012, Anais.. Piscataway: IEEE, 2012. Disponível em: https://doi.org/10.1109/QUATIC.2012.41. Acesso em: 30 nov. 2025.
APA
Moraes Junior, H. F. de, Nishida, F. L., & Melo, A. C. V. de. (2012). Modelling websites navigation elements according to usability aspects. In Proceedings. Piscataway: IEEE. doi:10.1109/QUATIC.2012.41
NLM
Moraes Junior HF de, Nishida FL, Melo ACV de. Modelling websites navigation elements according to usability aspects [Internet]. Proceedings. 2012 ;[citado 2025 nov. 30 ] Available from: https://doi.org/10.1109/QUATIC.2012.41
Vancouver
Moraes Junior HF de, Nishida FL, Melo ACV de. Modelling websites navigation elements according to usability aspects [Internet]. Proceedings. 2012 ;[citado 2025 nov. 30 ] Available from: https://doi.org/10.1109/QUATIC.2012.41
Trabalho de evento
PiStache: implementing π-calculus in scala (2011)
Matiello, Pedro; Melo, Ana Cristina Vieira de
Fonte: Proceedings. Nome do evento: Brazilian Symposium on Formal Methods - SBMF. Unidade: IME
Assuntos: DESENVOLVIMENTO DE SOFTWARE, SEMÂNTICA DE PROGRAMAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MATIELLO, Pedro e MELO, Ana Cristina Vieira de. PiStache: implementing π-calculus in scala. 2011, Anais.. Berlin: Springer, 2011. Disponível em: https://doi.org/10.1007/978-3-642-25032-3_6. Acesso em: 30 nov. 2025.
APA
Matiello, P., & Melo, A. C. V. de. (2011). PiStache: implementing π-calculus in scala. In Proceedings. Berlin: Springer. doi:10.1007/978-3-642-25032-3_6
NLM
Matiello P, Melo ACV de. PiStache: implementing π-calculus in scala [Internet]. Proceedings. 2011 ;[citado 2025 nov. 30 ] Available from: https://doi.org/10.1007/978-3-642-25032-3_6
Vancouver
Matiello P, Melo ACV de. PiStache: implementing π-calculus in scala [Internet]. Proceedings. 2011 ;[citado 2025 nov. 30 ] Available from: https://doi.org/10.1007/978-3-642-25032-3_6
Trabalho de evento
On-the-fly verification of discrete event simulations by means of simulation purposes (2011)
Silva, Paulo Salem da; Melo, Ana Cristina Vieira de
Fonte: Proceedings. Nome do evento: Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium. Unidade: IME
Assuntos: METODOLOGIA E TÉCNICAS DE COMPUTAÇÃO, ENGENHARIA DE SOFTWARE
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. 2011, Anais.. San Diego, CA: Society for Computer Simulation International, 2011. Disponível em: https://dl.acm.org/doi/10.5555/2048476.2048508. Acesso em: 30 nov. 2025.
APA
Silva, P. S. da, & Melo, A. C. V. de. (2011). On-the-fly verification of discrete event simulations by means of simulation purposes. In Proceedings. San Diego, CA: Society for Computer Simulation International. Recuperado de https://dl.acm.org/doi/10.5555/2048476.2048508
NLM
Silva PS da, Melo ACV de. On-the-fly verification of discrete event simulations by means of simulation purposes [Internet]. Proceedings. 2011 ;[citado 2025 nov. 30 ] Available from: https://dl.acm.org/doi/10.5555/2048476.2048508
Vancouver
Silva PS da, Melo ACV de. On-the-fly verification of discrete event simulations by means of simulation purposes [Internet]. Proceedings. 2011 ;[citado 2025 nov. 30 ] Available from: https://dl.acm.org/doi/10.5555/2048476.2048508
Trabalho de evento
A formal environment model for multi-agent systems (2010)
Silva, Paulo Salem da; Melo, Ana Cristina Vieira de
Fonte: Proceedings. Nome do evento: Brazilian Symposium on Formal Methods: Foundatons and applications - SBMF. Unidade: IME
Assuntos: SISTEMAS MULTIAGENTES, SEMÂNTICA DE PROGRAMAÇÃ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. A formal environment model for multi-agent systems. 2010, Anais.. Berlin: Springer, 2010. Disponível em: https://doi.org/10.1007/978-3-642-19829-8_5. Acesso em: 30 nov. 2025.
APA
Silva, P. S. da, & Melo, A. C. V. de. (2010). A formal environment model for multi-agent systems. In Proceedings. Berlin: Springer. doi:10.1007/978-3-642-19829-8_5
NLM
Silva PS da, Melo ACV de. A formal environment model for multi-agent systems [Internet]. Proceedings. 2010 ;[citado 2025 nov. 30 ] Available from: https://doi.org/10.1007/978-3-642-19829-8_5
Vancouver
Silva PS da, Melo ACV de. A formal environment model for multi-agent systems [Internet]. Proceedings. 2010 ;[citado 2025 nov. 30 ] Available from: https://doi.org/10.1007/978-3-642-19829-8_5
Trabalho de evento
Exploring XML perturbation techniques for web services testing (2009)
Silveira, Paulo; Melo, Ana Cristina Vieira de
Fonte: Proceedings. Nome do evento: International Conference on Web Engineering - ICWE. Unidade: IME
Assuntos: TESTE E AVALIAÇÃO DE SOFTWARE, ENGENHARIA DE PROGRAMAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SILVEIRA, Paulo e MELO, Ana Cristina Vieira de. Exploring XML perturbation techniques for web services testing. 2009, Anais.. Berlin: Springer, 2009. Disponível em: https://doi.org/10.1007/978-3-642-02818-2_29. Acesso em: 30 nov. 2025.
APA
Silveira, P., & Melo, A. C. V. de. (2009). Exploring XML perturbation techniques for web services testing. In Proceedings. Berlin: Springer. doi:10.1007/978-3-642-02818-2_29
NLM
Silveira P, Melo ACV de. Exploring XML perturbation techniques for web services testing [Internet]. Proceedings. 2009 ;[citado 2025 nov. 30 ] Available from: https://doi.org/10.1007/978-3-642-02818-2_29
Vancouver
Silveira P, Melo ACV de. Exploring XML perturbation techniques for web services testing [Internet]. Proceedings. 2009 ;[citado 2025 nov. 30 ] Available from: https://doi.org/10.1007/978-3-642-02818-2_29
Trabalho de evento
OConGraX: automatically generating data-flow test cases for fault-tolerant systems (2009)
Nunes, Paulo Roberto de Araújo França; Hanazumi , Simone; Melo, Ana Cristina Vieira de
Fonte: Proceedings. Nome do evento: International Workshop on Formal Approaches to Software Testing - FATES. Unidade: IME
Assuntos: TESTE E AVALIAÇÃO DE SOFTWARE, JAVA, ENGENHARIA DE PROGRAMAS
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 HANAZUMI , Simone e MELO, Ana Cristina Vieira de. OConGraX: automatically generating data-flow test cases for fault-tolerant systems. 2009, Anais.. Berlin: Springer, 2009. Disponível em: https://doi.org/10.1007/978-3-642-05031-2_17. Acesso em: 30 nov. 2025.
APA
Nunes, P. R. de A. F., Hanazumi , S., & Melo, A. C. V. de. (2009). OConGraX: automatically generating data-flow test cases for fault-tolerant systems. In Proceedings. Berlin: Springer. doi:10.1007/978-3-642-05031-2_17
NLM
Nunes PR de AF, Hanazumi S, Melo ACV de. OConGraX: automatically generating data-flow test cases for fault-tolerant systems [Internet]. Proceedings. 2009 ;[citado 2025 nov. 30 ] Available from: https://doi.org/10.1007/978-3-642-05031-2_17
Vancouver
Nunes PR de AF, Hanazumi S, Melo ACV de. OConGraX: automatically generating data-flow test cases for fault-tolerant systems [Internet]. Proceedings. 2009 ;[citado 2025 nov. 30 ] Available from: https://doi.org/10.1007/978-3-642-05031-2_17
Trabalho de evento
Towards verification and testing of Java programs (2008)
Melo, Ana Cristina Vieira de; Nunes, Paulo Roberto de Araújo França; Xavier, Kleber da Silva
Fonte: Proceedings. Nome do evento: Symposium on Applied Computing - SAC. Unidade: IME
Assuntos: JAVA, PROGRAMAÇÃO ORIENTADA A OBJETOS, TESTE E AVALIAÇÃO DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MELO, Ana Cristina Vieira de e NUNES, Paulo Roberto de Araújo França e XAVIER, Kleber da Silva. Towards verification and testing of Java programs. 2008, Anais.. New York: ACM, 2008. Disponível em: https://doi.org/10.1145/1363686.1363858. Acesso em: 30 nov. 2025.
APA
Melo, A. C. V. de, Nunes, P. R. de A. F., & Xavier, K. da S. (2008). Towards verification and testing of Java programs. In Proceedings. New York: ACM. doi:10.1145/1363686.1363858
NLM
Melo ACV de, Nunes PR de AF, Xavier K da S. Towards verification and testing of Java programs [Internet]. Proceedings. 2008 ;[citado 2025 nov. 30 ] Available from: https://doi.org/10.1145/1363686.1363858
Vancouver
Melo ACV de, Nunes PR de AF, Xavier K da S. Towards verification and testing of Java programs [Internet]. Proceedings. 2008 ;[citado 2025 nov. 30 ] Available from: https://doi.org/10.1145/1363686.1363858
Trabalho de evento
A formal architectural model for exception handling coordination (2008)
Pereira, David Paulo; Melo, Ana Cristina Vieira de
Fonte: Proceedings. Nome do evento: Symposium on Applied Computing - SAC. Unidade: IME
Assunto: ARQUITETURA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PEREIRA, David Paulo e MELO, Ana Cristina Vieira de. A formal architectural model for exception handling coordination. 2008, Anais.. New York: ACM, 2008. Disponível em: https://doi.org/10.1145/1363686.1363716. Acesso em: 30 nov. 2025.
APA
Pereira, D. P., & Melo, A. C. V. de. (2008). A formal architectural model for exception handling coordination. In Proceedings. New York: ACM. doi:10.1145/1363686.1363716
NLM
Pereira DP, Melo ACV de. A formal architectural model for exception handling coordination [Internet]. Proceedings. 2008 ;[citado 2025 nov. 30 ] Available from: https://doi.org/10.1145/1363686.1363716
Vancouver
Pereira DP, Melo ACV de. A formal architectural model for exception handling coordination [Internet]. Proceedings. 2008 ;[citado 2025 nov. 30 ] Available from: https://doi.org/10.1145/1363686.1363716
Trabalho de evento
Using formal verification to reduce test space of fault-tolerant programs (2008)
Xavier, Kleber da Silva; Hanazumi , Simone; Melo, Ana Cristina Vieira de
Fonte: Proceedings. Nome do evento: International Conference on Software Engineering and Formal Methods - SEFM. Unidade: IME
Assuntos: PROGRAMAÇÃO ORIENTADA A OBJETOS, JAVA, TESTE E AVALIAÇÃO DE SOFTWARE, LÓGICA FORMAL, ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
XAVIER, Kleber da Silva e HANAZUMI , Simone e MELO, Ana Cristina Vieira de. Using formal verification to reduce test space of fault-tolerant programs. 2008, Anais.. Piscataway: IEEE, 2008. Disponível em: https://doi.org/10.1109/SEFM.2008.31. Acesso em: 30 nov. 2025.
APA
Xavier, K. da S., Hanazumi , S., & Melo, A. C. V. de. (2008). Using formal verification to reduce test space of fault-tolerant programs. In Proceedings. Piscataway: IEEE. doi:10.1109/SEFM.2008.31
NLM
Xavier K da S, Hanazumi S, Melo ACV de. Using formal verification to reduce test space of fault-tolerant programs [Internet]. Proceedings. 2008 ;[citado 2025 nov. 30 ] Available from: https://doi.org/10.1109/SEFM.2008.31
Vancouver
Xavier K da S, Hanazumi S, Melo ACV de. Using formal verification to reduce test space of fault-tolerant programs [Internet]. Proceedings. 2008 ;[citado 2025 nov. 30 ] Available from: https://doi.org/10.1109/SEFM.2008.31
Trabalho de evento
Reusing models in multi-agent simulation with software components (2008)
Silva, Paulo Salem da; Melo, Ana Cristina Vieira de
Fonte: Proceedings. Nome do evento: International Conference on Autonomous Agents and Multi Agent Systems - AAMAS. Unidade: IME
Assuntos: SISTEMAS MULTIAGENTES, 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. Reusing models in multi-agent simulation with software components. 2008, Anais.. New York: ACM, 2008. Disponível em: https://dl.acm.org/doi/10.5555/1402298.1402379. Acesso em: 30 nov. 2025.
APA
Silva, P. S. da, & Melo, A. C. V. de. (2008). Reusing models in multi-agent simulation with software components. In Proceedings. New York: ACM. Recuperado de https://dl.acm.org/doi/10.5555/1402298.1402379
NLM
Silva PS da, Melo ACV de. Reusing models in multi-agent simulation with software components [Internet]. Proceedings. 2008 ;[citado 2025 nov. 30 ] Available from: https://dl.acm.org/doi/10.5555/1402298.1402379
Vancouver
Silva PS da, Melo ACV de. Reusing models in multi-agent simulation with software components [Internet]. Proceedings. 2008 ;[citado 2025 nov. 30 ] Available from: https://dl.acm.org/doi/10.5555/1402298.1402379
Trabalho de evento
A simulation-oriented formalization for a psychological theory (2007)
Silva, Paulo Salem da; Melo, Ana Cristina Vieira de
Fonte: Proceedings. Nome do evento: International Conference on Fundamental Approaches to Software Engineering - FASE. Unidade: IME
Assuntos: SISTEMAS MULTIAGENTES, LÓGICA FORMAL, 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. A simulation-oriented formalization for a psychological theory. 2007, Anais.. Berlin: Springer, 2007. Disponível em: https://doi.org/10.1007/978-3-540-71289-3_5. Acesso em: 30 nov. 2025.
APA
Silva, P. S. da, & Melo, A. C. V. de. (2007). A simulation-oriented formalization for a psychological theory. In Proceedings. Berlin: Springer. doi:10.1007/978-3-540-71289-3_5
NLM
Silva PS da, Melo ACV de. A simulation-oriented formalization for a psychological theory [Internet]. Proceedings. 2007 ;[citado 2025 nov. 30 ] Available from: https://doi.org/10.1007/978-3-540-71289-3_5
Vancouver
Silva PS da, Melo ACV de. A simulation-oriented formalization for a psychological theory [Internet]. Proceedings. 2007 ;[citado 2025 nov. 30 ] Available from: https://doi.org/10.1007/978-3-540-71289-3_5
Trabalho de evento
A strategy for the formal composition of frameworks (2005)
Mesquita, walter; Sampaio, Augusto; Melo, Ana Cristina Vieira de
Fonte: Proceedings. Nome do evento: International Conference on Software Engineering and Formal Methods - SEFM. Unidade: IME
Assunto: ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MESQUITA, walter e SAMPAIO, Augusto e MELO, Ana Cristina Vieira de. A strategy for the formal composition of frameworks. 2005, Anais.. Piscataway: IEEE, 2005. Disponível em: https://doi.org/10.1109/SEFM.2005.5. Acesso em: 30 nov. 2025.
APA
Mesquita, walter, Sampaio, A., & Melo, A. C. V. de. (2005). A strategy for the formal composition of frameworks. In Proceedings. Piscataway: IEEE. doi:10.1109/SEFM.2005.5
NLM
Mesquita walter, Sampaio A, Melo ACV de. A strategy for the formal composition of frameworks [Internet]. Proceedings. 2005 ;[citado 2025 nov. 30 ] Available from: https://doi.org/10.1109/SEFM.2005.5
Vancouver
Mesquita walter, Sampaio A, Melo ACV de. A strategy for the formal composition of frameworks [Internet]. Proceedings. 2005 ;[citado 2025 nov. 30 ] Available from: https://doi.org/10.1109/SEFM.2005.5

Unidades USP

ReP

Filtros

Autores

Autores USP

Ano de publicação

Assuntos

Nome do evento

Agência de fomento

Afiliação dos autores externos não normalizada