2010. Aspect-oriented programming for Design-by-Contract technology support. Computer Tools in Education. 4 (Aug. 2010).