Ricardo Lima

Latest

• Modular Aspect-Oriented Design Rule Enforcement with XPIDRs
• JML and Aspects: The benefits of instrumenting JML features with AspectJ
• Concurrency Control Modularization with Aspect-Oriented Programming