Talks

Home

Papers

Talks

Projects

CV

 

 

My Talks


  INVITED TALKS

  • Henrique Rebêlo
    Assessing the Impact of Aspects on Design By Contract Effort. Invited Talk in EECS Seminar Series at University of Central Florida (UCF), School of Electrical Engineering & Computer Science, July 14, 2011, Florida, USA. [.pdf]
  • Henrique Rebêlo
    AOP Framed!. Invited Talk in EECS Seminar Series at University of Central Florida (UCF), School of Electrical Engineering & Computer Science, November 3, 2009, Florida, USA. [.pdf]
  • 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]

 

  LIGHTNING TALKS

 

 PRESENTATION SLIDES

  • Henrique Rebêlo
    Modular Contracts with Procedures, Annotations, Pointcuts and Advice. XV Brazilian Symposium on Programming Languages, September, 2011, Sao Paulo, Brazil.
  • Henrique Rebêlo
    Assessing the Impact of Aspects on Design By Contract Effort: A Quantitative Study. 23rd International Conference on Software Engineering and Knowledge Engineering, SEKE 2011, July 2011, Miami Beach, USA.
  • Henrique Rebêlo
    The Contract Enforcement Aspect Pattern. 8th Latin American Conference on Pattern Languages of Programming, SugarLoafPLoP 2010, September 23-26, 2010, Salvador, Brazil.
  • Henrique Rebêlo
    Modularizing Variabilities with CaesarJ Collaboration Interfaces. III Workshop on Assessment of Contemporary Modularization Techniques, ACoM´2009, OOPSLA 2009, October 2009, Orlando, USA.
  • Henrique Rebêlo
    Guiding the use of AspectJ Advice: An Initial Assessment. III Latin American Workshop on Aspect-Oriented Software Development, LA-WASP´2009, SBES 2009, October 2009, Fortaleza, Ceará – Brazil.
  • 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.
  • 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.
  • Henrique Rebêlo
    A JML compiler based on AspectJ. 1st International Conference on Software Testing, Verification and Validation, April 2008, Lillehammer, Norway.
  • Henrique Rebêlo
    Implementing Java Modeling Language Contracts with AspectJ. 23rd ACM Symposium on Applied Computing, March 2008, Fortaleza, Brazil.

 

 


Last update:
10/10/2011 by Henrique Rebêlo