Using Aspect Oriented Programming to Support Disciplined Software Construction
This talk presents research agenda that attempts to improve the quality of software by proposing techniques and tools that are based, among other things, on Design By Contract as a way to integrate parts of the specification within the code so that they can be validated, on Refactoring as a technique to evolve software design and code, and on Aspect Oriented Programming as a programming paradigm that can help write tools to support the approach.
I will present these building blocks of the approach, outline some research results, and discuss work in progress and future work.