Подписаться
Antônio Carvalho Jr.
Antônio Carvalho Jr.
Tribunal de Contas da União
Подтвержден адрес электронной почты в домене tcu.gov.br
Название
Процитировано
Процитировано
Год
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
342020
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
172007
Formalização de Refatorações Usando o Sistema de Reescrita CafeOBJ
AC Júnior, L Silva
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–4