Quality Improvement in Annotated Code. - Diego A. A. Correia; Eduardo Martins Guerra; Fábio F. Silveira; Clovis Torres Fernandes (CLEI Electron. J., 2010)