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: 06 nov. 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 nov. 06 ] 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 nov. 06 ] Available from: https://doi.org/10.1007/978-3-031-49342-3_1
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: 06 nov. 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 nov. 06 ] 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 nov. 06 ] Available from: https://doi.org/10.1109/CBI.2017.62
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: 06 nov. 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 nov. 06 ] 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 nov. 06 ] 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: 06 nov. 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 nov. 06 ] 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 nov. 06 ] 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
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: 06 nov. 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 nov. 06 ] 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 nov. 06 ] 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: 06 nov. 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 nov. 06 ] 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 nov. 06 ] 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: 06 nov. 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 nov. 06 ] 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 nov. 06 ] 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: 06 nov. 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 nov. 06 ] 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 nov. 06 ] 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: 06 nov. 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 nov. 06 ] 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 nov. 06 ] 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
Source: Proceedings. Conference titles: International Conference on the Quality of Information and Communications Technology - QUATIC. Unidade: IME
Subjects: 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: 06 nov. 2024.
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 2024 nov. 06 ] 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 2024 nov. 06 ] 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
Source: Proceedings. Conference titles: Brazilian Symposium on Formal Methods - SBMF. Unidade: IME
Subjects: 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: 06 nov. 2024.
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 2024 nov. 06 ] 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 2024 nov. 06 ] 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
Source: Proceedings. Conference titles: Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium. Unidade: IME
Subjects: 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: 06 nov. 2024.
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 2024 nov. 06 ] 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 2024 nov. 06 ] 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
Source: Proceedings. Conference titles: Brazilian Symposium on Formal Methods: Foundatons and applications - SBMF. Unidade: IME
Subjects: 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: 06 nov. 2024.
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 2024 nov. 06 ] 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 2024 nov. 06 ] 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
Source: Proceedings. Conference titles: International Conference on Web Engineering - ICWE. Unidade: IME
Subjects: 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: 06 nov. 2024.
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 2024 nov. 06 ] 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 2024 nov. 06 ] 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
Source: Proceedings. Conference titles: International Workshop on Formal Approaches to Software Testing - FATES. Unidade: IME
Subjects: 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: 06 nov. 2024.
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 2024 nov. 06 ] 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 2024 nov. 06 ] 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
Source: Proceedings. Conference titles: Symposium on Applied Computing - SAC. Unidade: IME
Subjects: 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: 06 nov. 2024.
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 2024 nov. 06 ] 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 2024 nov. 06 ] 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
Source: Proceedings. Conference titles: 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: 06 nov. 2024.
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 2024 nov. 06 ] 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 2024 nov. 06 ] 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
Source: Proceedings. Conference titles: International Conference on Software Engineering and Formal Methods - SEFM. Unidade: IME
Subjects: 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: 06 nov. 2024.
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 2024 nov. 06 ] 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 2024 nov. 06 ] 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
Source: Proceedings. Conference titles: International Conference on Autonomous Agents and Multi Agent Systems - AAMAS. Unidade: IME
Subjects: 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: 06 nov. 2024.
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 2024 nov. 06 ] 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 2024 nov. 06 ] 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
Source: Proceedings. Conference titles: International Conference on Fundamental Approaches to Software Engineering - FASE. Unidade: IME
Subjects: 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: 06 nov. 2024.
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 2024 nov. 06 ] 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 2024 nov. 06 ] Available from: https://doi.org/10.1007/978-3-540-71289-3_5

USP Schools

ReP

Filtros

Authors

USP affiliated authors

Date published

Subjects

Conference titles

Funding Agencies

Non normalized affiliation