Publications

• Henrique Rebęlo, Ricardo Lima, Márcio Cornélio, Gary T. Leavens, Alexandre Mota, and César Oliveira. Optimizing JML Feature Compilation in Ajmlc using Aspect-Oriented Refactorings. In XIII Brazilian Symposium on Programming Languages (SBLP 2009), Gramado, Rio Grande do Sul, Brazil, August, 2009.

• Henrique Rebęlo, Sérgio Soares, Ricardo Lima, Paulo Borba, and Márcio Cornélio. JML and Aspects: The Benefits of Instrumenting JML Features with AspectJ. In 7th International Workshop on Specification and Verification of Component-Based Systems (SAVCBS'2008), 16th ACM SIGSOFT International Symposium on the Foundations of Software Engineering, FSE'2008, Atlanta, USA, 9th-14th November 2008.


• Henrique Rebęlo, Ricardo Lima, Márcio Cornélio, and Sérgio Soares. A JML compiler based on AspectJ. In 1st Internacional Conference on Software Testing, Verification, and Validation, ICST'2008, pages 541-544, Lillehammer, Norway, 9th-11th April 2008.


• Henrique Rebęlo, Ricardo Lima, Márcio Cornélio, Sérgio Soares, and Leopoldo Ferreira. Implementing Java Modeling Language Contracts using AspectJ. In 23rd Annual ACM Symposium on Applied Computing, SAC'2008, pages 228-233, Fortaleza, Brazil, 16th-20th March 2008. (Preprint)