ReP USP - Resultado da busca

Dissertação (Mestrado)
A formalization of a startup finance transaction model using Alloy (2023)
Stevaux, Rodrigo Ehrlich; Melo, Ana Cristina Vieira de (Orientador)
Unidade: IME
Subjects: MÉTODOS DE DESENVOLVIMENTO DE SOFTWARE, VERIFICAÇÃO E VALIDAÇÃO DE SOFTWARE, CAPITAL DE RISCO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
STEVAUX, Rodrigo Ehrlich. A formalization of a startup finance transaction model using Alloy. 2023. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2023. Disponível em: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-05042024-151358/. Acesso em: 28 fev. 2026.
APA
Stevaux, R. E. (2023). A formalization of a startup finance transaction model using Alloy (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/45/45134/tde-05042024-151358/
NLM
Stevaux RE. A formalization of a startup finance transaction model using Alloy [Internet]. 2023 ;[citado 2026 fev. 28 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-05042024-151358/
Vancouver
Stevaux RE. A formalization of a startup finance transaction model using Alloy [Internet]. 2023 ;[citado 2026 fev. 28 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-05042024-151358/
Tese (Doutorado)
Formal mutation testing in Circus process algebra (2018)
Alberto, Alex D. B; Gauldel, Marie-Caude Antoinette Renée (coorient); Simão, Adenilso da Silva (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
ALBERTO, Alex D. B. Formal mutation testing in Circus process algebra. 2018. Tese (Doutorado) – Universidade de São Paulo, São Carlos, 2018. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-04012019-112931/. Acesso em: 28 fev. 2026.
APA
Alberto, A. D. B. (2018). Formal mutation testing in Circus process algebra (Tese (Doutorado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-04012019-112931/
NLM
Alberto ADB. Formal mutation testing in Circus process algebra [Internet]. 2018 ;[citado 2026 fev. 28 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-04012019-112931/
Vancouver
Alberto ADB. Formal mutation testing in Circus process algebra [Internet]. 2018 ;[citado 2026 fev. 28 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-04012019-112931/
Artigo de periodico
Formal mutation testing for Circus (2017)
Alberto, Alex; Cavalcanti, Ana; Gaudel, Marie-Claude; Simão, Adenilso da Silva
Source: Information and Software Technology. Unidade: ICMC
Subjects: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ALBERTO, Alex et al. Formal mutation testing for Circus. Information and Software Technology, v. 81, n. Ja 2017, p. 131-153, 2017Tradução . . Disponível em: https://doi.org/10.1016/j.infsof.2016.04.003. Acesso em: 28 fev. 2026.
APA
Alberto, A., Cavalcanti, A., Gaudel, M. -C., & Simão, A. da S. (2017). Formal mutation testing for Circus. Information and Software Technology, 81( Ja 2017), 131-153. doi:10.1016/j.infsof.2016.04.003
NLM
Alberto A, Cavalcanti A, Gaudel M-C, Simão A da S. Formal mutation testing for Circus [Internet]. Information and Software Technology. 2017 ; 81( Ja 2017): 131-153.[citado 2026 fev. 28 ] Available from: https://doi.org/10.1016/j.infsof.2016.04.003
Vancouver
Alberto A, Cavalcanti A, Gaudel M-C, Simão A da S. Formal mutation testing for Circus [Internet]. Information and Software Technology. 2017 ; 81( Ja 2017): 131-153.[citado 2026 fev. 28 ] Available from: https://doi.org/10.1016/j.infsof.2016.04.003

USP Schools

ReP

Filtros

Authors

Subjects