ReP USP - Resultado da busca

Tese (Doutorado)
Geração de testes a partir de máquinas de estados finitos estendidas extraídas de diagramas de sequência UML (2020)
Rocha, Mauricio Rêgo Mota da; Simão, Adenilso da Silva (Orientador) ; Sousa, Thiago Carvalho de (Orientador)
Unidade: ICMC
Subjects: SOFTWARES, ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ROCHA, Mauricio Rêgo Mota da. Geração de testes a partir de máquinas de estados finitos estendidas extraídas de diagramas de sequência UML. 2020. Tese (Doutorado) – Universidade de São Paulo, São Carlos, 2020. Disponível em: https://www.teses.usp.br/teses/disponiveis/55/55134/tde-16022021-145429/. Acesso em: 12 jun. 2024.
APA
Rocha, M. R. M. da. (2020). Geração de testes a partir de máquinas de estados finitos estendidas extraídas de diagramas de sequência UML (Tese (Doutorado). Universidade de São Paulo, São Carlos. Recuperado de https://www.teses.usp.br/teses/disponiveis/55/55134/tde-16022021-145429/
NLM
Rocha MRM da. Geração de testes a partir de máquinas de estados finitos estendidas extraídas de diagramas de sequência UML [Internet]. 2020 ;[citado 2024 jun. 12 ] Available from: https://www.teses.usp.br/teses/disponiveis/55/55134/tde-16022021-145429/
Vancouver
Rocha MRM da. Geração de testes a partir de máquinas de estados finitos estendidas extraídas de diagramas de sequência UML [Internet]. 2020 ;[citado 2024 jun. 12 ] Available from: https://www.teses.usp.br/teses/disponiveis/55/55134/tde-16022021-145429/
Trabalho de evento
Test case generation by EFSM extracted from UML sequence diagrams (2019)
Rocha, Mauricio; Simão, Adenilso da Silva ; Sousa, Thiago Carvalho de; Batista, Marcelo
Source: Proceedings. Conference titles: International Conference on Software Engineering and Knowledge Engineering - SEKE. Unidade: ICMC
Subjects: TESTE E AVALIAÇÃO DE SOFTWARE, MODELAGEM DE DADOS, UML
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ROCHA, Mauricio et al. Test case generation by EFSM extracted from UML sequence diagrams. 2019, Anais.. Pittsburgh: KSI Research Inc. and Knowledge Systems Institute Graduate School, 2019. Disponível em: https://doi.org/10.18293/SEKE2019-133. Acesso em: 12 jun. 2024.
APA
Rocha, M., Simão, A. da S., Sousa, T. C. de, & Batista, M. (2019). Test case generation by EFSM extracted from UML sequence diagrams. In Proceedings. Pittsburgh: KSI Research Inc. and Knowledge Systems Institute Graduate School. doi:10.18293/SEKE2019-133
NLM
Rocha M, Simão A da S, Sousa TC de, Batista M. Test case generation by EFSM extracted from UML sequence diagrams [Internet]. Proceedings. 2019 ;[citado 2024 jun. 12 ] Available from: https://doi.org/10.18293/SEKE2019-133
Vancouver
Rocha M, Simão A da S, Sousa TC de, Batista M. Test case generation by EFSM extracted from UML sequence diagrams [Internet]. Proceedings. 2019 ;[citado 2024 jun. 12 ] Available from: https://doi.org/10.18293/SEKE2019-133
Tese (Doutorado)
Um processo de desenvolvimento orientado a objetos com suporte à verificação formal de inconsistências (2013)
Sousa, Thiago Carvalho de; Silva, Paulo Sérgio Muniz (Orientador)
Unidade: EP
Subjects: DESENVOLVIMENTO DE SOFTWARE, UML
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SOUSA, Thiago Carvalho de. Um processo de desenvolvimento orientado a objetos com suporte à verificação formal de inconsistências. 2013. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2013. Disponível em: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-21102014-113929/. Acesso em: 12 jun. 2024.
APA
Sousa, T. C. de. (2013). Um processo de desenvolvimento orientado a objetos com suporte à verificação formal de inconsistências (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3141/tde-21102014-113929/
NLM
Sousa TC de. Um processo de desenvolvimento orientado a objetos com suporte à verificação formal de inconsistências [Internet]. 2013 ;[citado 2024 jun. 12 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-21102014-113929/
Vancouver
Sousa TC de. Um processo de desenvolvimento orientado a objetos com suporte à verificação formal de inconsistências [Internet]. 2013 ;[citado 2024 jun. 12 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-21102014-113929/
Artigo de periodico
Automatic analysis of requirements consistency with the B method (2010)
Sousa, Thiago Carvalho de; Almeida Junior, Jorge Rady de ; Viana, Sidney; Pavón, Judith
Source: Software engineering notes. Unidade: EP
Assunto: ANÁLISE DE REQUISITOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SOUSA, Thiago Carvalho de et al. Automatic analysis of requirements consistency with the B method. Software engineering notes, v. 35, n. 2, p. 1-4, 2010Tradução . . Disponível em: https://doi.org/10.1145/1734103.1734114. Acesso em: 12 jun. 2024.
APA
Sousa, T. C. de, Almeida Junior, J. R. de, Viana, S., & Pavón, J. (2010). Automatic analysis of requirements consistency with the B method. Software engineering notes, 35( 2), 1-4. doi:10.1145/1734103.1734114
NLM
Sousa TC de, Almeida Junior JR de, Viana S, Pavón J. Automatic analysis of requirements consistency with the B method [Internet]. Software engineering notes. 2010 ;35( 2): 1-4.[citado 2024 jun. 12 ] Available from: https://doi.org/10.1145/1734103.1734114
Vancouver
Sousa TC de, Almeida Junior JR de, Viana S, Pavón J. Automatic analysis of requirements consistency with the B method [Internet]. Software engineering notes. 2010 ;35( 2): 1-4.[citado 2024 jun. 12 ] Available from: https://doi.org/10.1145/1734103.1734114
Dissertação (Mestrado)
Revisão de modelos formais de sistemas de estados finitos (2007)
Sousa, Thiago Carvalho de; Wassermann, Renata (Orientador)
Unidade: IME
Subjects: ENGENHARIA DE PROGRAMAS, ESPECIFICAÇÃO DE SISTEMAS E PROGRAMAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SOUSA, Thiago Carvalho de. Revisão de modelos formais de sistemas de estados finitos. 2007. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2007. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-06032014-080953/. Acesso em: 12 jun. 2024.
APA
Sousa, T. C. de. (2007). Revisão de modelos formais de sistemas de estados finitos (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-06032014-080953/
NLM
Sousa TC de. Revisão de modelos formais de sistemas de estados finitos [Internet]. 2007 ;[citado 2024 jun. 12 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-06032014-080953/
Vancouver
Sousa TC de. Revisão de modelos formais de sistemas de estados finitos [Internet]. 2007 ;[citado 2024 jun. 12 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-06032014-080953/

USP Schools

ReP

Filtros

Authors

Subjects