Přednáška 7 - Design by Contract, Aspect Oriented Programming, Inversion of Control.