2008
- 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)
|