|
|
INVITED
TALKS
- Henrique Rebêlo
An Aspect-Oriented Approach to implement JML Features. Invited Talk in EECS Seminar Series at University of Central Florida (UCF), School of Electrical Engineering & Computer Science,
November 17, 2008, Florida, USA.
[.pdf]
PRESENTATION SLIDES
- Henrique Rebêlo
Optimizing JML Feature Compilation in Ajmlc using Aspect-Oriented Refactorings. XIII Brazilian Symposium on Programming Languages,
August, 2009, Gramado, Rio Grande do Sul, Brazil.
[.pdf]
- Henrique Rebêlo
JML and Aspects: The Benefits of Instrumenting JML Features with AspectJ. 7th International Workshop on Specification and Verification of Component-Based Systems, 16th ACM SIGSOFT International Symposium on the Foundations of Software Engineering,
November 2008, Atlanta, USA.
[.pdf]
- Henrique Rebêlo
A JML compiler based on AspectJ. 1st International Conference on Software Testing, Verification and Validation, April 2008, Lillehammer, Norway.
[.pdf]
- Henrique Rebêlo
Implementing Java Modeling Language Contracts with AspectJ. 23rd ACM Symposium on Applied Computing, March 2008, Fortaleza, Brazil.
[.pdf]
|
