Return to Issue Details Aspect-oriented programming for Design-by-Contract technology support Download Download PDF