Moreover, they have not analyzed the scalability of AO for implementing design
by contract concern in the presence of widely-scoped design changes. Hence, the
understanding of the e®ects of AO decompositions to implement DbC concern on
key maintainability-related software attributes are still deep challenges to software
engineers.