Buscar recursos académicos

Celsius Imago is a scalable software, currently in development, that already counts with some of the tools necessary to solve the previously announced issues: is capable to improve the characteristics of existing documen...

"Having the expected behavior of software specified in a formal language can greatly improve the automation of software verification activities, since these need to contrast the intended behavior with the actual software...

"Program repair techniques attempt to fix programs by looking for patches within a search space of fix candidates. These techniques require a specification of the program to be repaired, used as an acceptance criterion f...

One of the main intents of all digital libraries is to provide wide access to academic resources. Several tools and techniques are available to achieve this goal, some of them focus on harvest and storage of resources wh...

Hodrick-Prescott filter has been the favourite empirical technique among researchers studying "cycles". Software facilities and the optimality criterion, from which the filter can be derived, can explain its wide use. Ho...