ReP USP - Resultado da busca

Trabalho de evento
On the testability of properties patterns (2015)
Hanazumi, Simone; Melo, Ana Cristina Vieira de
Source: Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings. Conference titles: International Conference on Software Engineering and Formal Methods - SEFM. Unidade: IME
Subjects: VERIFICAÇÃO E VALIDAÇÃO DE SOFTWARE, TESTE E AVALIAÇÃO DE SOFTWARE, DESENVOLVIMENTO DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
HANAZUMI, Simone e MELO, Ana Cristina Vieira de. On the testability of properties patterns. 2015, Anais.. Cham: Springer, 2015. Disponível em: https://doi.org/10.1007/978-3-319-22969-0_11. Acesso em: 10 nov. 2025.
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 2025 nov. 10 ] Available from: https://doi.org/10.1007/978-3-319-22969-0_11
Vancouver
Hanazumi S, Melo ACV de. On the testability of properties patterns [Internet]. Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings. 2015 ;[citado 2025 nov. 10 ] Available from: https://doi.org/10.1007/978-3-319-22969-0_11
Trabalho de evento
Modeling and simulating interaction protocols using nested Petri nets (2014)
Fernández Venero, Mirtha Lina; Silva, Flávio Soares Corrêa da
Source: Software engineering and formal methods. Conference titles: International Conference on Software Engineering and Formal Methods - SEFM. Unidade: IME
Subjects: PROTOCOLOS DE COMUNICAÇÃO, REDES DE PETRI
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FERNÁNDEZ VENERO, Mirtha Lina e SILVA, Flávio Soares Corrêa da. Modeling and simulating interaction protocols using nested Petri nets. 2014, Anais.. Cham: Springer, 2014. Disponível em: https://doi.org/10.1007/978-3-319-05032-4_11. Acesso em: 10 nov. 2025.
APA
Fernández Venero, M. L., & Silva, F. S. C. da. (2014). Modeling and simulating interaction protocols using nested Petri nets. In Software engineering and formal methods. Cham: Springer. doi:10.1007/978-3-319-05032-4_11
NLM
Fernández Venero ML, Silva FSC da. Modeling and simulating interaction protocols using nested Petri nets [Internet]. Software engineering and formal methods. 2014 ;[citado 2025 nov. 10 ] Available from: https://doi.org/10.1007/978-3-319-05032-4_11
Vancouver
Fernández Venero ML, Silva FSC da. Modeling and simulating interaction protocols using nested Petri nets [Internet]. Software engineering and formal methods. 2014 ;[citado 2025 nov. 10 ] Available from: https://doi.org/10.1007/978-3-319-05032-4_11
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: 10 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. 10 ] 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. 10 ] Available from: https://doi.org/10.1109/SEFM.2008.31
Trabalho de evento
A strategy for the formal composition of frameworks (2005)
Mesquita, walter; Sampaio, Augusto; Melo, Ana Cristina Vieira de
Source: Proceedings. Conference titles: 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: 10 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. 10 ] 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. 10 ] Available from: https://doi.org/10.1109/SEFM.2005.5

USP Schools

ReP

Filtros

Authors

Subjects