Taming Obliviousness in Aspects with Data-flow Analysis and Design by Contract Tim Molderez and Dirk Janssens Ansymo Antwerp Systems and Software Modelling.
Taming Obliviousness in Aspects with Data-flow Analysis and Design by Contract