Forward Chaining in HALO
API Abstraction and API Chaining in Grails
Dependence flow graph for analysis
ModularityCheck - A Tool for Assessing Modularity using Co-Change Clusters
ASPECT ORIENTED SOFTWARE DEVELOPMENT Prepared By: Ebru Doğan.
Aspect-Oriented Software Design
Aspect-Oriented Programming with Model Checking