ReP USP - Resultado da busca

Dissertação (Mestrado)
Teste e verificação formal do comportamento excepcional de programas Java (2014)
Martins, Alexandre Locci; Melo, Ana Cristina Vieira de (Orientador)
Unidade: IME
Assunto: ENGENHARIA DE PROGRAMAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MARTINS, Alexandre Locci. Teste e verificação formal do comportamento excepcional de programas Java. 2014. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2014. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-11082014-150106. Acesso em: 18 abr. 2024.
APA
Martins, A. L. (2014). Teste e verificação formal do comportamento excepcional de programas Java (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-11082014-150106
NLM
Martins AL. Teste e verificação formal do comportamento excepcional de programas Java [Internet]. 2014 ;[citado 2024 abr. 18 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-11082014-150106
Vancouver
Martins AL. Teste e verificação formal do comportamento excepcional de programas Java [Internet]. 2014 ;[citado 2024 abr. 18 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-11082014-150106
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: 18 abr. 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 abr. 18 ] 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 abr. 18 ] Available from: https://doi.org/10.1109/COMPSACW.2014.105
Dissertação (Mestrado)
Um método para a implementação de regras de negócio à partir da semântica SBVR (2013)
Jesus, Jandisson Soares de; Melo, Ana Cristina Vieira de (Orientador)
Unidade: IME
Subjects: ENGENHARIA DE PROGRAMAS, METODOLOGIA E TÉCNICAS DE PROGRAMAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
JESUS, Jandisson Soares de. Um método para a implementação de regras de negócio à partir da semântica SBVR. 2013. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2013. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-22012014-144303. Acesso em: 18 abr. 2024.
APA
Jesus, J. S. de. (2013). Um método para a implementação de regras de negócio à partir da semântica SBVR (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-22012014-144303
NLM
Jesus JS de. Um método para a implementação de regras de negócio à partir da semântica SBVR [Internet]. 2013 ;[citado 2024 abr. 18 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-22012014-144303
Vancouver
Jesus JS de. Um método para a implementação de regras de negócio à partir da semântica SBVR [Internet]. 2013 ;[citado 2024 abr. 18 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-22012014-144303
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: 18 abr. 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 abr. 18 ] 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 abr. 18 ] 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: 18 abr. 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 abr. 18 ] 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 abr. 18 ] 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: 18 abr. 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 abr. 18 ] 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 abr. 18 ] 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: 18 abr. 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 abr. 18 ] 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 abr. 18 ] 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: 18 abr. 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 abr. 18 ] 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 abr. 18 ] 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: 18 abr. 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 abr. 18 ] 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 abr. 18 ] 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: 18 abr. 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 abr. 18 ] 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 abr. 18 ] Available from: https://doi.org/10.1109/QUATIC.2012.41
Dissertação (Mestrado)
Validação de padrões de web services transacionais (2011)
Nunes, Paulo Roberto de Araújo França; Melo, Ana Cristina Vieira de (Orientador)
Unidade: IME
Assunto: TÉCNICAS DE PROGRAMAÇÃO
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. Validação de padrões de web services transacionais. 2011. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2011. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-21072011-134559/. Acesso em: 18 abr. 2024.
APA
Nunes, P. R. de A. F. (2011). Validação de padrões de web services transacionais (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-21072011-134559/
NLM
Nunes PR de AF. Validação de padrões de web services transacionais [Internet]. 2011 ;[citado 2024 abr. 18 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-21072011-134559/
Vancouver
Nunes PR de AF. Validação de padrões de web services transacionais [Internet]. 2011 ;[citado 2024 abr. 18 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-21072011-134559/
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: 18 abr. 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 abr. 18 ] 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 abr. 18 ] Available from: https://doi.org/10.1007/978-3-642-25032-3_6
Tese (Doutorado)
Verification of behaviourist multi-agent systems by means of formally guided simulations (2011)
Silva, Paulo Salem da; Melo, Ana Cristina Vieira de (Orientador); Gaudel, Marie-Claude (Orientador)
Unidade: IME
Subjects: TÉCNICAS DE PROGRAMAÇÃO, INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SILVA, Paulo Salem da. Verification of behaviourist multi-agent systems by means of formally guided simulations. 2011. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2011. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-10042012-100539/. Acesso em: 18 abr. 2024.
APA
Silva, P. S. da. (2011). Verification of behaviourist multi-agent systems by means of formally guided simulations (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-10042012-100539/
NLM
Silva PS da. Verification of behaviourist multi-agent systems by means of formally guided simulations [Internet]. 2011 ;[citado 2024 abr. 18 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-10042012-100539/
Vancouver
Silva PS da. Verification of behaviourist multi-agent systems by means of formally guided simulations [Internet]. 2011 ;[citado 2024 abr. 18 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-10042012-100539/
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: 18 abr. 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 abr. 18 ] 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 abr. 18 ] Available from: https://dl.acm.org/doi/10.5555/2048476.2048508
Dissertação (Mestrado)
Ambiente integrado para verificação e teste da coordenação de componentes tolerantes a falhas (2010)
Hanazumi, Simone; Melo, Ana Cristina Vieira de (Orientador)
Unidade: IME
Assunto: TÉCNICAS DE PROGRAMAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
HANAZUMI, Simone. Ambiente integrado para verificação e teste da coordenação de componentes tolerantes a falhas. 2010. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2010. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-29092010-191938/. Acesso em: 18 abr. 2024.
APA
Hanazumi, S. (2010). Ambiente integrado para verificação e teste da coordenação de componentes tolerantes a falhas (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-29092010-191938/
NLM
Hanazumi S. Ambiente integrado para verificação e teste da coordenação de componentes tolerantes a falhas [Internet]. 2010 ;[citado 2024 abr. 18 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-29092010-191938/
Vancouver
Hanazumi S. Ambiente integrado para verificação e teste da coordenação de componentes tolerantes a falhas [Internet]. 2010 ;[citado 2024 abr. 18 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-29092010-191938/
Artigo de periodico
Formalization of an architectural model for exception handling coordination based on CA action concepts (2010)
Pereira, David Paulo; Melo, Ana Cristina Vieira de
Source: Science of Computer Programming. Unidade: IME
Assunto: INTELIGÊNCIA ARTIFICIAL
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. Formalization of an architectural model for exception handling coordination based on CA action concepts. Science of Computer Programming, v. 75, n. 5, p. 333-349, 2010Tradução . . Disponível em: https://doi.org/10.1016/j.scico.2009.12.006. Acesso em: 18 abr. 2024.
APA
Pereira, D. P., & Melo, A. C. V. de. (2010). Formalization of an architectural model for exception handling coordination based on CA action concepts. Science of Computer Programming, 75( 5), 333-349. doi:10.1016/j.scico.2009.12.006
NLM
Pereira DP, Melo ACV de. Formalization of an architectural model for exception handling coordination based on CA action concepts [Internet]. Science of Computer Programming. 2010 ; 75( 5): 333-349.[citado 2024 abr. 18 ] Available from: https://doi.org/10.1016/j.scico.2009.12.006
Vancouver
Pereira DP, Melo ACV de. Formalization of an architectural model for exception handling coordination based on CA action concepts [Internet]. Science of Computer Programming. 2010 ; 75( 5): 333-349.[citado 2024 abr. 18 ] Available from: https://doi.org/10.1016/j.scico.2009.12.006
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: 18 abr. 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 abr. 18 ] 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 abr. 18 ] Available from: https://doi.org/10.1007/978-3-642-19829-8_5
Trabalho de evento-anais periodico
Model checking merged program traces (2009)
Silva, Paulo Salem da; Melo, Ana Cristina Vieira de
Source: Electronic Notes in Theoretical Computer Science. Conference titles: Brazilian Symposium on Formal Methods - SBMF. Unidade: IME
Subjects: JAVA, MODELOS DE PROCESSO 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. Model checking merged program traces. Electronic Notes in Theoretical Computer Science. Amsterdam: Elsevier. Disponível em: https://doi.org/10.1016/j.entcs.2009.05.047. Acesso em: 18 abr. 2024. , 2009
APA
Silva, P. S. da, & Melo, A. C. V. de. (2009). Model checking merged program traces. Electronic Notes in Theoretical Computer Science. Amsterdam: Elsevier. doi:10.1016/j.entcs.2009.05.047
NLM
Silva PS da, Melo ACV de. Model checking merged program traces [Internet]. Electronic Notes in Theoretical Computer Science. 2009 ; 240 97-112.[citado 2024 abr. 18 ] Available from: https://doi.org/10.1016/j.entcs.2009.05.047
Vancouver
Silva PS da, Melo ACV de. Model checking merged program traces [Internet]. Electronic Notes in Theoretical Computer Science. 2009 ; 240 97-112.[citado 2024 abr. 18 ] Available from: https://doi.org/10.1016/j.entcs.2009.05.047
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: 18 abr. 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 abr. 18 ] 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 abr. 18 ] 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: 18 abr. 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 abr. 18 ] 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 abr. 18 ] Available from: https://doi.org/10.1007/978-3-642-05031-2_17

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