Urmăriți
Antônio Carvalho Jr.
Antônio Carvalho Jr.
Tribunal de Contas da União
Adresă de e-mail confirmată pe tcu.gov.br
Titlu
Citat de
Citat de
Anul
C-3PR: A bot for fixing static analysis violations via pull requests
A Carvalho, W Luz, D Marcilio, R Bonifácio, G Pinto, ED Canedo
2020 IEEE 27th International conference on software analysis, evolution and …, 2020
272020
Reconciling the past and the present: An empirical study on the application of source code transformations to automatically rejuvenate java programs
R Dantas, A Carvalho, D Marcilio, L Fantin, U Silva, W Lucas, R Bonifácio
2018 IEEE 25th international conference on software analysis, evolution and …, 2018
182018
Using CafeOBJ to mechanise refactoring proofs and application
AC Júnior, L Silva, M Cornélio
Electronic Notes in Theoretical Computer Science 184, 39-61, 2007
162007
Formalização de Refatorações Usando o Sistema de Reescrita CafeOBJ
AC Júnior, L Silva
Sistemul nu poate realiza operația în acest moment. Încercați din nou mai târziu.
Articole 1–4